2012
- AUTHORS:
- Niemenmaa Matti,
- Kallio Aleksi,
- Schumacher André,
- Klemelä Petri,
- Korpelainen Eija,
- Heljanko Keijo
- JOURNAL:
- Bioinformatics
- VOLUME:
- 28
- PAGES:
- 876-877
![[URL]](http://research.ics.aalto.fi/publications/bibdb2012/url_icon.png){kind=icon}
![[PUBURL]](http://research.ics.aalto.fi/publications/bibdb2012/info_icon.png){kind=icon}
2011
- AUTHORS:
- Niemenmaa Matti,
- Schumacher André,
- Heljanko Keijo,
- Kallio Aleksi,
- Klemelä Petri,
- Hupponen Taavi,
- Korpelainen Eija
- BOOKTITLE:
- Proceedings of the 12th Annual Bioinformatics Open Source Conference (BOSC 2011)
- PAGES:
- 1
- AUTHORS:
- Niemenmaa Matti
![[PDF]](http://research.ics.aalto.fi/publications/bibdb2012/pdf_icon.gif){kind=icon}
2009
- AUTHORS:
- Wieringa Siert,
- Niemenmaa Matti,
- Heljanko Keijo
- BOOKTITLE:
- Proceedings of the 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09)
- SERIES:
- Electronic Proceedings in Theoretical Computer Science (EPTCS)
- VOLUME:
- 14
- PAGES:
- 62--76