Unfoldings a partial-order approach to model checking /

Por Esparza, Javier., Heljanko, Keijo.
Publicado em 2008

Dartagnan: Bounded Model Checking for Weak Memory Models (Competition Contribution)

Por Ponce-de-León, Hernán, Furbach, Florian, Heljanko, Keijo, Meyer, Roland
Publicado no Tools and Algorithms for the Construction and Analysis of Systems (2020)

Hadoop-BAM: directly manipulating next generation sequencing data in the cloud

Por Niemenmaa, Matti, Kallio, Aleksi, Schumacher, André, Klemelä, Petri, Korpelainen, Eija, Heljanko, Keijo
Publicado em 2012

SeqPig: simple and scalable scripting for large sequencing data sets in Hadoop

Por Schumacher, André, Pireddu, Luca, Niemenmaa, Matti, Kallio, Aleksi, Korpelainen, Eija, Zanetti, Gianluigi, Heljanko, Keijo
Publicado em 2014