Marcus Nilsson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
1999–2013
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | CBMS | Remote supported trauma care: Understanding the situation from afar. | Marcus Nilsson, Alexander Yngling, Kristina Groth, Folke Hammarqvist, Christoffer Jernling |
| 2012 | NordiCHI | Interaction design in a complex context: medical multi-disciplinary team meetings. | Oscar Frykholm, Marcus Nilsson, Kristina Groth, Alexander Yngling |
| 2005 | PERCOM | A Study on Users' Preference on Interruption When Using Wearable Computers and Head Mounted Displays. | Marcus Nilsson, Mikael Drugge, Urban Liljedahl, Kre Synnes, Peter Parnes |
| 2004 | CAV | Regular Model Checking for LTL(MSO). | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
| 2004 | CONCUR | A Survey of Regular Model Checking. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena |
| 2004 | ISWC | Methods for Interrupting a Wearable Computer User. | Mikael Drugge, Marcus Nilsson, Urban Liljedahl, Kre Synnes, Peter Parnes |
| 2003 | CAV | Algorithmic Improvements in Regular Model Checking. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
| 2002 | CONCUR | Regular Model Checking Made Simple and Efficient. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso |
| 2000 | CAV | Regular Model Checking. | Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili |
| 2000 | TACAS | Transitive Closures of Regular Relations for Verifying Infinite-State Systems. | Bengt Jonsson, Marcus Nilsson |
| 1999 | CAV | Handling Global Conditions in Parameterized System Verification. | Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson |