Marcus Nilsson

Publication Activity (10 Years)

Years Active: 1999-2013
Publications (10 Years): 0

Top Topics

Deeper Understanding

Computer Vision

Top Venues

Publications

Marcus Nilsson, Alexander Yngling, Kristina Groth, Folke Hammarqvist, Christoffer Jernling
Remote supported trauma care: Understanding the situation from afar. CBMS (2013)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
Regular model checking for LTL(MSO). Int. J. Softw. Tools Technol. Transf. 14 (2) (2012)
Oscar Frykholm, Marcus Nilsson, Kristina Groth, Alexander Yngling
Interaction design in a complex context: medical multi-disciplinary team meetings. NordiCHI (2012)
Marcus Nilsson
Computational Aspects of Monomial Dynamical Systems. Comput. J. 53 (4) (2010)
Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson
Minimization of Non-deterministic Automata with Large Alphabets. CIAA (2005)
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)
Mikael Drugge, Marcus Nilsson, Roland Parviainen, Peter Parnes
Experiences of using wearable computers for ambient telepresence and remote interaction. ETP@MM (2004)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
Regular Model Checking for LTL(MSO). CAV (2004)
Mikael Drugge, Marcus Nilsson, Urban Liljedahl, Kåre Synnes, Peter Parnes
Methods for Interrupting a Wearable Computer User. ISWC (2004)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena
A Survey of Regular Model Checking. CONCUR (2004)
Mikael Drugge, Marcus Nilsson, Kåre Synnes, Peter Parnes
Eventcasting with a Wearable Computer. ICDCS Workshops (2004)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
Algorithmic Improvements in Regular Model Checking. CAV (2003)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso
Regular Model Checking Made Simple and Efficient. CONCUR (2002)
Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili
Regular Model Checking. CAV (2000)
Bengt Jonsson, Marcus Nilsson
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. TACAS (2000)
Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson
Handling Global Conditions in Parameterized System Verification. CAV (1999)