Follow
Marcus Nilsson
Title
Cited by
Cited by
Year
Regular model checking
A Bouajjani, B Jonsson, M Nilsson, T Touili
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
3912000
Positioning with bluetooth
J Hallberg, M Nilsson, K Synnes
10th International Conference on Telecommunications, 2003. ICT 2003. 2, 954-958, 2003
2952003
A survey of regular model checking
PA Abdulla, B Jonsson, M Nilsson, M Saksena
International Conference on Concurrency Theory, 35-48, 2004
1822004
Transitive closures of regular relations for verifying infinite-state systems
B Jonsson, M Nilsson
International Conference on Tools and Algorithms for the Construction and …, 2000
1472000
Handling global conditions in parametrized system verification
PA Abdulla, A Bouajjani, B Jonsson, M Nilsson
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
1231999
Regular Model Checking Made Simple and Effcient*
PA Abdulla, B Jonsson, M Nilsson, J d'Orso
International Conference on Concurrency Theory, 116-131, 2002
742002
Algorithmic improvements in regular model checking
PA Abdulla, B Jonsson, M Nilsson, J d’Orso
International Conference on Computer Aided Verification, 236-248, 2003
592003
Regular model checking
M Nilsson
Uppsala University, 2000
582000
Positioning with Bluetooth, IR and RFID
M Nilsson, J Hallberg
Master’s Thesis, Luleå University of Technology, 2002
50*2002
Regular model checking for LTL (MSO)
PA Abdulla, B Jonsson, M Nilsson, J d’Orso, M Saksena
International Conference on Computer Aided Verification, 348-360, 2004
472004
A study on users' preference on interruption when using wearable computers and head mounted displays
M Nilsson, M Drugge, U Liljedahl, K Synnes, P Parnes
Third IEEE International Conference on Pervasive Computing and …, 2005
302005
Bluetooth positioning
J Hallberg, M Nilsson, K Synnes
The Third Annual Symposium on Computer Science and Electrical Engineering …, 2002
302002
Photospallation of51V at intermediate energies
B Bülow, B Johnsson, M Nilsson, B Forkman
Zeitschrift für Physik A Atoms and Nuclei 278, 89-95, 1976
241976
Mediation and Violence: Searching for third party intervention that matters
M Croicu, E Melander, M Nilsson, P Wallensteen
the 48th Annual Meeting of the International Studies Association, April 3-6 …, 2013
222013
Regular model checking for LTL (MSO)
PA Abdulla, B Jonsson, M Nilsson, J d’Orso, M Saksena
International Journal on Software Tools for Technology Transfer 14 (2), 223-241, 2012
222012
Positioning with bluetooth
M Nilsson, J Hallberg, K Synnes
Telecommunications, 2003. ICT 2003.: 10th International Conference on …, 2003
222003
Reaping what was sown: Conflict outcome and post-civil war democratization
M Nilsson
Cooperation and Conflict 47 (3), 350-367, 2012
212012
Methods for interrupting a wearable computer user
M Drugge, M Nilsson, U Liljedahl, K Synnes, P Parnes
Eighth International Symposium on Wearable Computers 1, 150-157, 2004
212004
Experiences of using wearable computers for ambient telepresence and remote interaction
M Drugge, M Nilsson, R Parviainen, P Parnes
Proceedings of the 2004 ACM SIGMM workshop on Effective telepresence, 2-11, 2004
212004
Sharing experience and knowledge with wearable computers
M Nilsson, M Drugge, P Parnes
International conference on pervasive computing: Workshop 3: Memory and …, 2004
162004
The system can't perform the operation now. Try again later.
Articles 1–20