Keijo Heljanko

Cited by

	All	Since 2019
Citations	4137	1401
h-index	35	19
i10-index	75	35

320

160

240

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202427 45 60 63 67 79 94 112 152 141 148 173 183 216 252 216 187 223 206 199 249 306 250 240 157

Public access

View all

36 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
Siert WieringaVerified email at siert.nl
Hernan Ponce de LeonHuawei Dresden Research CenterVerified email at huawei.com
Eija KorpelainenCSC - IT Centre for ScienceVerified email at csc.fi
Jussi LahtinenHuld OyVerified email at huld.io
Jussi RintanenAalto UniversityVerified email at aalto.fi
Kary FrämlingProfessor of Data Science at Umeå University, Adj.Prof. of Computer Science at Aalto UniversityVerified email at cs.umu.se
Roland MeyerProfessor of Theoretical Computer ScienceVerified email at tu-bs.de
Iiro HarjunkoskiHitachi Energy ResearchVerified email at hitachienergy.com
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 PiredduSenior Researcher, CRS4Verified email at crs4.it
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Teemu IkonenData Scientist, BetolarVerified email at betolar.com
Antti SiirtolaUniversity of OuluVerified email at oulu.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	325	2008
Planning as satisfiability: parallel plans and algorithms for plan search J Rintanen, K Heljanko, I Niemelä Artificial Intelligence 170 (12), 1031-1080, 2006	312	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	245	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	189	2012
AIGER 1.9 and beyond A Biere, K Heljanko, S Wieringa	126*	2011
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	126	1999
Simple bounded LTL model checking T Latvala, A Biere, K Heljanko, T Junttila Formal Methods in Computer-Aided Design (FMCAD 2004), 186-200, 2004	124	2004
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	121	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	114	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
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	94	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	82	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	82	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	67	2008
Hardware model checking competition 2017 A Biere, T Van Dijk, K Heljanko 2017 Formal Methods in Computer Aided Design (FMCAD), 9-9, 2017	66	2017
IoTEF: A federated edge-cloud architecture for fault-tolerant IoT applications A Javed, J Robert, K Heljanko, K Främling Journal of Grid Computing 18 (1), 57-80, 2020	61	2020
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	60	2002
A New Unfolding Approach to LTL Model Checking J Esparza, K Heljanko International Colloquium on Automata, Languages and Programming (ICALP'2000 …, 2000	60	2000

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