 | 2005 |
|---|
| 11 |       | Parosh Aziz Abdulla,
Johann Deneux,
Lisa Kaati,
Marcus Nilsson:
Minimization of Non-deterministic Automata with Large Alphabets.
CIAA 2005: 31-42 |
| 10 | | Marcus Nilsson,
Mikael Drugge,
Urban Liljedahl,
Kåre Synnes,
Peter Parnes:
A Study on Users' Preference on Interruption When Using Wearable Computers and Head Mounted Displays.
PerCom 2005: 149-158 |
| 2004 |
|---|
| 9 | | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso,
Mayank Saksena:
Regular Model Checking for LTL(MSO).
CAV 2004: 348-360 |
| 8 | | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Mayank Saksena:
A Survey of Regular Model Checking.
CONCUR 2004: 35-48 |
| 7 | | Mikael Drugge,
Marcus Nilsson,
Kåre Synnes,
Peter Parnes:
Eventcasting with a Wearable Computer.
ICDCS Workshops 2004: 408-413 |
| 6 | | Mikael Drugge,
Marcus Nilsson,
Urban Liljedahl,
Kåre Synnes,
Peter Parnes:
Methods for Interrupting a Wearable Computer User.
ISWC 2004: 150-157 |
| 2003 |
|---|
| 5 | | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso:
Algorithmic Improvements in Regular Model Checking.
CAV 2003: 236-248 |
| 2002 |
|---|
| 4 | | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso:
Regular Model Checking Made Simple and Efficient.
CONCUR 2002: 116-130 |
| 2000 |
|---|
| 3 |  | Ahmed Bouajjani,
Bengt Jonsson,
Marcus Nilsson,
Tayssir Touili:
Regular Model Checking.
CAV 2000: 403-418 |
| 2 | | Bengt Jonsson,
Marcus Nilsson:
Transitive Closures of Regular Relations for Verifying Infinite-State Systems.
TACAS 2000: 220-234 |
| 1999 |
|---|
| 1 | | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Bengt Jonsson,
Marcus Nilsson:
Handling Global Conditions in Parameterized System Verification.
CAV 1999: 134-145 |
