Marcus Nilsson

17 papers A* 5A 1B 3C 1Misc 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2014 — —
Mediated and Mobile Communication for Experts.
Marcus Nilsson
2013 B conf
Remote supported trauma care: Understanding the situation from afar.
CBMS
Marcus Nilsson, Alexander Yngling, Kristina Groth, Folke Hammarqvist, Christoffer Jernling
2012 Misc conf
Interaction design in a complex context: medical multi-disciplinary team meetings.
NordiCHI
Oscar Frykholm, Marcus Nilsson, Kristina Groth, Alexander Yngling
2012 J jnl
Regular model checking for LTL(MSO).
Int. J. Softw. Tools Technol. Transf.
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
2010 J jnl
Computational Aspects of Monomial Dynamical Systems.
Comput. J.
Marcus Nilsson
2005 A* conf
A Study on Users' Preference on Interruption When Using Wearable Computers and Head Mounted Displays.
PerCom
Marcus Nilsson, Mikael Drugge, Urban Liljedahl, Kåre Synnes, Peter Parnes
2005 C conf
Minimization of Non-deterministic Automata with Large Alphabets.
CIAA
Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson
2004 B conf
A Survey of Regular Model Checking.
CONCUR
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena
2004 — conf
Eventcasting with a Wearable Computer.
ICDCS Workshops
Mikael Drugge, Marcus Nilsson, Kåre Synnes, Peter Parnes
2004 — conf
Experiences of using wearable computers for ambient telepresence and remote interaction.
ETP@MM
Mikael Drugge, Marcus Nilsson, Roland Parviainen, Peter Parnes
2004 Misc conf
Methods for Interrupting a Wearable Computer User.
ISWC
Mikael Drugge, Marcus Nilsson, Urban Liljedahl, Kåre Synnes, Peter Parnes
2004 A* conf
Regular Model Checking for LTL(MSO).
CAV
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
2003 A* conf
Algorithmic Improvements in Regular Model Checking.
CAV
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
2002 B conf
Regular Model Checking Made Simple and Efficient.
CONCUR
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
2000 A* conf
Regular Model Checking.
CAV
Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili
2000 A conf
Transitive Closures of Regular Relations for Verifying Infinite-State Systems.
TACAS
Bengt Jonsson, Marcus Nilsson
1999 A* conf
Handling Global Conditions in Parameterized System Verification.
CAV
Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson