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] |