Marcus Nilsson

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Mediated and Mobile Communication for Experts.
PhD thesis, 2014

2013
Remote supported trauma care: Understanding the situation from afar.
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013

2012
Regular model checking for LTL(MSO).
Int. J. Softw. Tools Technol. Transf., 2012

Interaction design in a complex context: medical multi-disciplinary team meetings.
Proceedings of the Nordic Conference on Human-Computer Interaction, 2012

2010
Computational Aspects of Monomial Dynamical Systems.
Comput. J., 2010

2005
Minimization of Non-deterministic Automata with Large Alphabets.
Proceedings of the Implementation and Application of Automata, 2005

A Study on Users' Preference on Interruption When Using Wearable Computers and Head Mounted Displays.
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.
Proceedings of the 2004 ACM SIGMM Workshop on Effective Telepresence, 2004

Methods for Interrupting a Wearable Computer User.
Proceedings of the 8th International Symposium on Wearable Computers (ISWC 2004), 31 October, 2004

Eventcasting with a Wearable Computer.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

A Survey of Regular Model Checking.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Algorithmic Improvements in Regular Model Checking.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
Regular Model Checking Made Simple and Efficient.
Proceedings of the CONCUR 2002, 2002

2000
Transitive Closures of Regular Relations for Verifying Infinite-State Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Regular Model Checking.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Handling Global Conditions in Parameterized System Verification.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999


  Loading...