| |
| 2004 | ||
|---|---|---|
| 3 | EE | Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä: Tampere Verification Tool. TACAS 2004: 153-157 |
| 2003 | ||
| 2 | EE | Henri Hansen, Heikki Virtanen, Antti Valmari: Merging State-Based and Action-Based Verification. ACSD 2003: 150-156 |
| 2002 | ||
| 1 | EE | Antti Valmari, Heikki Virtanen, Antti Puhakka: Context-Sensitive Visibility. Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
| 1 | Timo Erkkilä | [3] |
| 2 | Henri Hansen | [2] [3] |
| 3 | Juha Nieminen | [3] |
| 4 | Antti Puhakka | [1] |
| 5 | Antti Valmari | [1] [2] [3] |