Keijo Heljanko

Cited by

	All	Since 2018
Citations	3892	1363
h-index	34	19
i10-index	70	34

300

150

225

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202325 46 58 62 70 83 103 110 144 149 148 168 183 211 250 215 188 224 206 196 242 291 240 186

Public access

View all

31 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Armin BiereProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Tommi JunttilaAalto UniversityVerified email at aalto.fi
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Olli SaarikiviMicrosoft ResearchVerified email at microsoft.com
Hernan Ponce de LeonHuawei Dresden Research CenterVerified email at huawei.com
Eija KorpelainenCSC - IT Centre for ScienceVerified email at csc.fi
Siert WieringaVerified email at siert.nl
Jussi LahtinenHuld OyVerified email at huld.io
Jussi RintanenAalto UniversityVerified email at aalto.fi
Roland MeyerProfessor of Theoretical Computer ScienceVerified email at tu-bs.de
Kary FrämlingProfessor of Data Science at Umeå University, Adj.Prof. of Computer Science at Aalto UniversityVerified email at cs.umu.se
Teemu LehtoAalto University, FinlandVerified email at qpr.com
Markku HinkkaQPR Software Plc, D.Sc. (Tech.)Verified email at qpr.com
Asad JavedPhD, Department of Computer Science, Aalto UniversityVerified email at aalto.fi
Gianluigi ZanettiDirector, CRS4 Data-intensive ComputingVerified email at crs4.it
Luca PiredduResearcher, CRS4Verified email at crs4.it
Iiro HarjunkoskiHitachi Energy ResearchVerified email at hitachienergy.com
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Antti SiirtolaUniversity of OuluVerified email at oulu.fi
Johan LiliusÅbo Akademi UniversityVerified email at abo.fi

Keijo Heljanko

Professor of Computer Science, Department of Computer Science, University of Helsinki

Verified email at helsinki.fi - Homepage

Parallel and Distributed Systems Big Data Data Science Model Checking #UnivHelsinkiCS


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Unfoldings: A partial-order approach to model checking J Esparza, K Heljanko Springer, 2008	305	2008
Planning as satisfiability: parallel plans and algorithms for plan search J Rintanen, K Heljanko, I Niemelä Artificial Intelligence 170 (12), 1031-1080, 2006	299	2006
Linear encodings of bounded LTL model checking A Biere, K Heljanko, T Junttila, T Latvala, V Schuppan Logical Methods in Computer Science 2 (5:5), 1-64, 2006	239	2006
Hadoop-BAM: directly manipulating next generation sequencing data in the cloud M Niemenmaa, A Kallio, A Schumacher, P Klemelä, E Korpelainen, ... Bioinformatics 28 (6), 876-877, 2012	183	2012
Simple bounded LTL model checking T Latvala, A Biere, K Heljanko, T Junttila Formal Methods in Computer-Aided Design (FMCAD 2004), 186-200, 2004	125	2004
Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets K Heljanko Fundamenta Informaticae 37 (3), 247-268, 1999	123	1999
SeqPig: simple and scalable scripting for large sequencing data sets in Hadoop A Schumacher, L Pireddu, M Niemenmaa, A Kallio, E Korpelainen, ... Bioinformatics 30 (1), 119-120, 2014	122	2014
Bounded LTL model checking with stable models K Heljanko, I Niemelä Theory and Practice of Logic Programming (TPLP) 3 (4&5), 519-550, 2003	115	2003
Incremental and complete bounded model checking for full PLTL K Heljanko, T Junttila, T Latvala Computer Aided Verification (CAV 2005), 517-527, 2005	107	2005
AIGER 1.9 and beyond A Biere, K Heljanko, S Wieringa	99	2011
Model checking of safety-critical software in the nuclear engineering domain J Lahtinen, J Valkonen, K Björkman, J Frits, I Niemelä, K Heljanko Reliability Engineering & System Safety 105, 104-113, 2012	92	2012
CEFIoT: A fault-tolerant IoT architecture for edge and cloud A Javed, K Heljanko, A Buda, K Främling 2018 IEEE 4th world forum on internet of things (WF-IoT), 813-818, 2018	79	2018
Implementing LTL model checking with net unfoldings J Esparza, K Heljanko International SPIN Workshop on Model Checking of Software (SPIN'2001), 37-56, 2001	79	2001
Bounded reachability checking with process semantics K Heljanko International Conference on Concurrency Theory (CONCUR 2001), 218-232, 2001	71	2001
Analyzing context-free grammars using an incremental SAT solver R Axelsson, K Heljanko, M Lange International Colloquium on Automata, Languages, and Programming (ICALP'08 …, 2008	66	2008
Simple is better: Efficient bounded model checking for past LTL T Latvala, A Biere, K Heljanko, T Junttila Verification, Model Checking, and Abstract Interpretation (VMCAI 2005), 380-395, 2005	62	2005
Parallelisation of the Petri net unfolding algorithm K Heljanko, V Khomenko, M Koutny Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2002	61	2002
Testing LTL formula translation into Büchi automata H Tauriainen, K Heljanko International Journal on Software Tools for Technology Transfer 4 (1), 57-70, 2002	59	2002
A New Unfolding Approach to LTL Model Checking J Esparza, K Heljanko International Colloquium on Automata, Languages and Programming (ICALP'2000 …, 2000	56	2000
Prod 3.2 An advanced tool for efficient reachability analysis K Varpaaniemi, K Heljanko, J Lilius Computer Aided Verification (CAV 1997), 472-475, 1997	56	1997

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors