Keijo Heljanko

Keijo Heljanko

University of Helsinki - Helsinki / Finland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1657683
Helsingin yliopisto
person_outline Keijo Heljanko's MOST POPULAR ARTICLES
1-) Unfoldings: A partial-order approach to model checkingJ Esparza, K HeljankoSpringer, 20082982008
2-) Planning as satisfiability: parallel plans and algorithms for plan searchJ Rintanen, K Heljanko, I NiemeläArtificial Intelligence 170 (12), 1031-1080, 20062972006
3-) Linear encodings of bounded LTL model checkingA Biere, K Heljanko, T Junttila, T Latvala, V SchuppanLogical Methods in Computer Science 2 (5:5), 1-64, 20062242006
4-) Hadoop-BAM: directly manipulating next generation sequencing data in the cloudM Niemenmaa, A Kallio, A Schumacher, P Klemelä, E Korpelainen, ...Bioinformatics 28 (6), 876-877, 20121892012
5-) AIGER 1.9 and beyondA Biere, K Heljanko, S Wieringa127*2011