| Regular model checking A Bouajjani, B Jonsson, M Nilsson, T Touili Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 394 | 2000 |
| Positioning with bluetooth J Hallberg, M Nilsson, K Synnes 10th International Conference on Telecommunications, 2003. ICT 2003. 2, 954-958, 2003 | 297 | 2003 |
| A survey of regular model checking PA Abdulla, B Jonsson, M Nilsson, M Saksena International Conference on Concurrency Theory, 35-48, 2004 | 189 | 2004 |
| 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 | 149 | 2000 |
| 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 | 124 | 1999 |
| Regular Model Checking Made Simple and Effcient* PA Abdulla, B Jonsson, M Nilsson, J d'Orso International Conference on Concurrency Theory, 116-131, 2002 | 78 | 2002 |
| Regular model checking M Nilsson Uppsala University, 2000 | 61 | 2000 |
| Algorithmic improvements in regular model checking PA Abdulla, B Jonsson, M Nilsson, J d’Orso International Conference on Computer Aided Verification, 236-248, 2003 | 60 | 2003 |
| 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 | 48 | 2004 |
| 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 | 30 | 2005 |
| Bluetooth positioning J Hallberg, M Nilsson, K Synnes The Third Annual Symposium on Computer Science and Electrical Engineering …, 2002 | 30 | 2002 |
| 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 | 24 | 1976 |
| 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 | 23 | 2013 |
| Positioning with bluetooth M Nilsson, J Hallberg, K Synnes Telecommunications, 2003. ICT 2003.: 10th International Conference on …, 2003 | 23 | 2003 |
| Reaping what was sown: Conflict outcome and post-civil war democratization M Nilsson Cooperation and Conflict 47 (3), 350-367, 2012 | 21 | 2012 |
| 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 | 21 | 2012 |
| 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 | 21 | 2004 |
| 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 | 21 | 2004 |
| Sharing experience and knowledge with wearable computers M Nilsson, M Drugge, P Parnes International conference on pervasive computing: Workshop 3: Memory and …, 2004 | 16 | 2004 |
Josef HallbergLuleå University of Technology在 ltu.se 的电子邮件经过验证
