Marcus Nilsson

According to our database, Marcus Nilsson authored at least 16 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Mediated and Mobile Communication for Experts.

Marcus Nilsson

PhD thesis, 2014

2013

Remote supported trauma care: Understanding the situation from afar.

Marcus Nilsson, Alexander Yngling, Kristina Groth, Folke Hammarqvist, Christoffer Jernling

Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012

Regular model checking for LTL(MSO).

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena

Int. J. Softw. Tools Technol. Transf., 2012

Interaction design in a complex context: medical multi-disciplinary team meetings.

Oscar Frykholm, Marcus Nilsson, Kristina Groth, Alexander Yngling

Proceedings of the Nordic Conference on Human-Computer Interaction, 2012

2010

Computational Aspects of Monomial Dynamical Systems.

Marcus Nilsson

Comput. J., 2010

2005

Minimization of Non-deterministic Automata with Large Alphabets.

Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, Marcus Nilsson

Proceedings of the Implementation and Application of Automata, 2005

A Study on Users' Preference on Interruption When Using Wearable Computers and Head Mounted Displays.

Marcus Nilsson, Mikael Drugge, Urban Liljedahl, Kåre Synnes, Peter Parnes

Proceedings of the 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 2005

2004

Experiences of using wearable computers for ambient telepresence and remote interaction.

Mikael Drugge, Marcus Nilsson, Roland Parviainen, Peter Parnes

Proceedings of the 2004 ACM SIGMM Workshop on Effective Telepresence, 2004

Methods for Interrupting a Wearable Computer User.

Mikael Drugge, Marcus Nilsson, Urban Liljedahl, Kåre Synnes, Peter Parnes

Proceedings of the 8th International Symposium on Wearable Computers (ISWC 2004), 31 October, 2004

Eventcasting with a Wearable Computer.

Mikael Drugge, Marcus Nilsson, Kåre Synnes, Peter Parnes

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

A Survey of Regular Model Checking.

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Algorithmic Improvements in Regular Model Checking.

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Regular Model Checking Made Simple and Efficient.

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso

Proceedings of the CONCUR 2002, 2002

2000

Transitive Closures of Regular Relations for Verifying Infinite-State Systems.

Bengt Jonsson, Marcus Nilsson

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Regular Model Checking.

Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Tayssir Touili

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Handling Global Conditions in Parameterized System Verification.

Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson

Proceedings of the Computer Aided Verification, 11th International Conference, 1999