| Distributing Mobility Agents Hierarchically under Frequent Location Updates D Forsberg, JK Malinen, JT Malinen, T Weckström, M Tiusanen IEEE International Workshop on Mobile Multimedia Communications 1999, MoMuC …, 1999 | 80 | 1999 |
| Symbolic, symmetry, and stubborn set searches M Tiusanen International Conference on Application and Theory of Petri Nets, 511-530, 1994 | 24 | 1994 |
| PROD-A Pr/T-net reachability analysis tool P Grönberg, M Tiusanen, K Varpaaniemi | 22 | 1993 |
| A Graph Model for E cient Reachability Analysis of Description Languages A Valmari, M Tiusanen Proceedings of the 8th European Workshop on Application and Theory of Petri …, 1987 | 13 | 1987 |
| Some unsolved problems in modelling self-timed circuits using Petri nets M Tiusanen Bulletin of the EATCS 36, 152-160, 1988 | 11 | 1988 |
| Convit, a tool for learning concurrent programming HM Järvinen, M Tiusanen, A Virtanen E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare …, 2003 | 9 | 2003 |
| Static Analysis of Ada Tasking Programs: Models and Algorithms M Tiusanen University of Illinois at Chicago, 1993 | 6 | 1993 |
| Wireless Networks and Their Impact on Network-Based Learning Content JT Malinen, HH Kari, M Tiusanen Enabling Network-based Learning 1999 (ENABLE'99), 154-160, 1999 | 5* | 1999 |
| Maze: Moodle module for games of exercises M Tiusanen, R Lahtinen Koli Calling '11, 11th Koli Calling International Conference on Computing …, 2011 | 3 | 2011 |
| Petri net based Analysis Environment Supporting Software Production R Kujansuu, M Lindqvist, L Ojala, M Tiusanen International Symposium on Circuits and Systems 1985 (ISCAS'85), 727-730, 1985 | 3 | 1985 |
| Graph models for static analysis of ada tasking programs M Tiusanen, T Murata 情報処理学会研究報告ソフトウェア工学 (SE) 1992 (59 (1992-SE-086)), 141-150, 1992 | 2 | 1992 |
| A Graph Model for Efficient Reachability Analysis of Description Languages M Tiusanen, A Valmari Helsinki University of Technology, 1986 | 2 | 1986 |
| A Design Support System for Concurrent Programs J Kuussaari, S Saukkonen, R Kujansuu, M Lindqvist, M Tiusanen Euromicro 85, 3-6, 1985 | 2 | 1985 |
| Towards an ideal software engineering project course T Ahtee, M Tiusanen 15th Koli Calling Conference on Computing Education Research (Koli Calling …, 2015 | 1 | 2015 |
| States and Transformations for Software Engineering Theory HM Järvinen, M Tiusanen Proceedings of the Semat Workshop on a General Theory of Software …, 2012 | 1 | 2012 |
| Good to know about the efficiency of state space methods M Tiusanen, A Valmari SPLST'09 & NW-MODE'09, Proceedings of 11th Symposium on Programming …, 2009 | 1 | 2009 |
| On Models for Static Analysis of Ada Tasking Programs M Tiusanen Concurrency, Specification & Programming Workshop 1992 (CS&P'92), 1993 | 1 | 1993 |
| Specification of a Net Description Language Compiler M Tiusanen Helsinki University of Technology, Digital Systems Laboratory, 1987 | 1 | 1987 |
| Concurrent execution system for action languages A Jääskeläinen, HM Järvinen, M Tiusanen Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | | 2017 |
| Scenario-Driven Design Considerations for MANET Protocols JT Malinen, HH Kari, M Tiusanen IFIP TC6 WG6.1 Second International Working Conference on Distributed …, 2013 | | 2013 |
