Mikko Tiusanen

According to our database, Mikko Tiusanen authored at least 8 papers between 1988 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Concurrent execution system for action languages.

Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2015

Towards an ideal software engineering project course.

Tero Ahtee, Mikko Tiusanen

Proceedings of the 15th Koli Calling Conference on Computing Education Research, 2015

2013

Good to Know about the Efficiency of State Space Methods.

Mikko Tiusanen, Antti Valmari

Nord. J. Comput., 2013

2011

Maze: Moodle module for games of exercises.

Mikko Tiusanen, Riikka Lahtinen

Proceedings of the 11th Koli Calling International Conference on Computing Education Research, 2011

2004

Comparing protocol stacks using stochastic Petri nets.

Petri Mikkilä, Mikko Tiusanen

Proceedings of the IEEE International Conference on Systems, 2004

1999

Scenario-driven design considerations for MANET protocols (short paper).

Jari Malinen, Hannu H. Kari, Mikko Tiusanen

Proceedings of the Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28, 1999

1994

Symbolic, Symmetry, and Stubborn Set Searches.

Mikko Tiusanen

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1988

Some unsolved problems in modelling self-timed circuits using Petri nets.

Mikko Tiusanen

Bull. EATCS, 1988