| |
| 2004 | ||
|---|---|---|
| 4 | EE | Petri Mikkilä, Mikko Tiusanen: Comparing protocol stacks using stochastic Petri nets. SMC (5) 2004: 4855-4860 |
| 1999 | ||
| 3 | Jari Malinen, Hannu Kari, Mikko Tiusanen: Scenario-driven design considerations for MANET protocols (short paper). DAIS 1999: 205-212 | |
| 1994 | ||
| 2 | Mikko Tiusanen: Symbolic, Symmetry, and Stubborn Set Searches. Application and Theory of Petri Nets 1994: 511-530 | |
| 1988 | ||
| 1 | Mikko Tiusanen: Some unsolved problems in modelling self-timed circuits using Petri nets. Bulletin of the EATCS 36: 152-160 (1988) | |
| 1 | Hannu Kari | [3] |
| 2 | Jari Malinen | [3] |
| 3 | Petri Mikkilä | [4] |