Searching for authors named "Marcus Nilsson" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Regular Model Checking
- …IT Licentiate theses 2000-008 Regular Model Checking MARCUS NILSSON UPPSALA UNIVERSITY Department…
- Cited by 7 (0 self) – Add To MetaCart
-
Dissertation for the degree of Licentiate of Philosofy in Computer Systems
- …IT Licentiate theses 2000-008 Regular Model Checking MARCUS NILSSON UPPSALA UNIVERSITY Department…
- Add To MetaCart
-
Abstract Positioning with Bluetooth
- …Abstract Positioning with Bluetooth Josef Hallberg, Marcus Nilsson, K˚are Synnes Lule˚a University…
- Add To MetaCart
-
Transitive Closures of Regular Relations for Verifying Infinite-State Systems
- … and Marcus Nilsson Dept. of Computer Systems, P.O. Box 325, S-751 05 Uppsala, Sweden fbengt, marcusng…
- Cited by 37 (3 self) – Add To MetaCart
-
In the Borderland Between Wearable Computers and Pervasive
- …In the Borderland Between Wearable Computers and Pervasive Computing Marcus Nilsson, Mikael Drugge…
- Cited by 2 (1 self) – Add To MetaCart
-
Methods for interrupting a wearable computer user
- …Methods for Interrupting a Wearable Computer User Mikael Drugge 1 , Marcus Nilsson 1 , Urban…
- Cited by 7 (5 self) – Add To MetaCart
-
Regular Model Checking
- …Regular Model Checking Ahmed Bouajjani 1 , Bengt Jonsson 2 , Marcus Nilsson ?2 , and Tayssir…
- Cited by 78 (17 self) – Add To MetaCart
-
A Study on Users’ Preference on Interruption When Using Wearable Computers and Head Mounted Displays
- … Displays Marcus Nilsson 1 , Mikael Drugge 1 , Urban Liljedahl 2 , Kre Synnes 1 , Peter Parnes 1 Lule…
- Cited by 5 (2 self) – Add To MetaCart
-
Handling Global Conditions in Parameterized System Verification
- … Bouajjani 2 , Bengt Jonsson 1 , and Marcus Nilsson 1 1 Dept. of Computer Systems, P.O. Box 325, S-751…
- Cited by 36 (12 self) – Add To MetaCart
-
Handling Global Conditions in Parametrized System Verification
- … Systems P.O. Box 325 S-751 05 Uppsala, Sweden bengt@(email omitted); Marcus Nilsson Dept. of Computer Systems…
- Cited by 14 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
