Some unsolved problems in modelling self-timed circuits using Petri nets. - Mikko Tiusanen (Bull. EATCS, 1988)

Symbolic, Symmetry, and Stubborn Set Searches. - Mikko Tiusanen (Application and Theory of Petri Nets, 1994)

Scenario-driven design considerations for MANET protocols (short paper). - Jari Malinen; Hannu H. Kari; Mikko Tiusanen (DAIS, 1999)

Comparing protocol stacks using stochastic Petri nets. - Petri Mikkilä; Mikko Tiusanen (SMC (5), 2004)

Maze: Moodle module for games of exercises. - Mikko Tiusanen; Riikka Lahtinen (Koli Calling, 2011)

Good to Know about the Efficiency of State Space Methods. - Mikko Tiusanen; Antti Valmari (Nord. J. Comput., 2013)

Towards an ideal software engineering project course. - Tero Ahtee; Mikko Tiusanen (Koli Calling, 2015)

Concurrent execution system for action languages. - Antti Jääskeläinen; Hannu-Matti Järvinen; Mikko Tiusanen (MEMOCODE, 2017)