![]() |
| 2008 | ||
|---|---|---|
| 2 | EE | Pekka Ruusuvuori, Jenni Seppälä, Timo Erkkilä, Antti Lehmussola, Jaakko A. Puhakka, Olli Yli-Harja: Efficient automated method for image-based classification of microbial cells. ICPR 2008: 1-4 |
| 2004 | ||
| 1 | EE | Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä: Tampere Verification Tool. TACAS 2004: 153-157 |
| 1 | Henri Hansen | [1] |
| 2 | Antti Lehmussola | [2] |
| 3 | Juha Nieminen | [1] |
| 4 | Jaakko A. Puhakka | [2] |
| 5 | Pekka Ruusuvuori | [2] |
| 6 | Jenni Seppälä | [2] |
| 7 | Antti Valmari | [1] |
| 8 | Heikki Virtanen | [1] |
| 9 | Olli Yli-Harja | [2] |