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

por Ponce-de-León, Hernán, Furbach, Florian, Heljanko, Keijo, Meyer, Roland
Publicado 2020

Distributed hybrid-indexing of compressed pan-genomes for scalable and fast sequence alignment

por Maarala, Altti Ilari, Arasalo, Ossi, Valenzuela, Daniel, Mäkinen, Veli, Heljanko, Keijo
Publicado 2021

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