Concepedia

Keijo Heljanko

KH

Statistics

Publications

43

Citations

1.7K

H-Index

21

Active since

1996

Affiliations

Aalto University(Current)

University of Helsinki

Helsinki Institute for Information Technology

Helsinki Institute of Physics

Johannes Kepler University of Linz

Keijo Heljanko is an author at Aalto University specializing in computing, computer science, and formal methods.

Publications per year

1996–2024

43

Publications

43

Linear Encodings of Bounded LTL Model Checking

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

Computing, Computer Science, Algorithms +8

Planning as satisfiability: parallel plans and algorithms for plan search

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

Computing, Computer Science, Algorithms +8

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

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

Life Sciences, Bioinformatics, Cloud Computing +17

Bounded LTL model checking with stable models

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

Computing, Computer Engineering, Computer Science +17

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

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

Computing, Bioinformatics, Computer Science +17

1–5 of 43