Keijo Heljanko

Linear Encodings of Bounded LTL Model Checking

Armin Biere, Keijo Heljanko, Tommi Junttila et al. · Logical Methods in Computer Science · 2006 · 223 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Planning as satisfiability: parallel plans and algorithms for plan search

Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä · Artificial Intelligence · 2006 · 200 citations

Artificial Intelligence, Engineering, Ai Planning +9

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

Matti Niemenmaa, Aleksi Kallio, André Schumacher et al. · Bioinformatics · 2012 · 131 citations · Full text

Cluster Computing, Engineering, Bam Records +24

Bounded LTL model checking with stable models

Keijo Heljanko, Ilkka Niemelä · Theory and Practice of Logic Programming · 2003 · 93 citations

Petri Net, Engineering, Ltl Model +17

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

André Schumacher, Luca Pireddu, Matti Niemenmaa et al. · Bioinformatics · 2013 · 92 citations · Full text