Mikko Tiusanen

Publication Activity (10 Years)

Years Active: 1988-2017
Publications (10 Years): 2

Top Topics

Empirical Software Engineering

Qualitative And Quantitative

Requirements Elicitation

Development Processes

Top Venues

Nord. J. Comput.

Publications

Antti Jääskeläinen, Hannu-Matti Järvinen, Mikko Tiusanen
Concurrent execution system for action languages. MEMOCODE (2017)
Tero Ahtee, Mikko Tiusanen
Towards an ideal software engineering project course. Koli Calling (2015)
Mikko Tiusanen, Antti Valmari
Good to Know about the Efficiency of State Space Methods. Nord. J. Comput. 15 (1) (2013)
Mikko Tiusanen, Riikka Lahtinen
Maze: Moodle module for games of exercises. Koli Calling (2011)
Petri Mikkilä, Mikko Tiusanen
Comparing protocol stacks using stochastic Petri nets. SMC (5) (2004)
Jari Malinen, Hannu H. Kari, Mikko Tiusanen
Scenario-driven design considerations for MANET protocols (short paper). DAIS (1999)
Mikko Tiusanen
Symbolic, Symmetry, and Stubborn Set Searches. Application and Theory of Petri Nets (1994)
Mikko Tiusanen
Some unsolved problems in modelling self-timed circuits using Petri nets. Bull. EATCS 36 (1988)