Keijo Heljanko

Cited by

	All	Since 2019
Citations	4204	1459
h-index	35	19
i10-index	75	37

320

160

240

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202427 45 60 63 67 79 94 112 152 141 148 173 183 216 251 217 189 221 213 196 250 306 249 244 210

Public access

View all

35 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
Kary FrämlingProfessor of Data Science at Umeå University, Adj.Prof. of Computer Science at Aalto UniversityVerified email at cs.umu.se
Jussi RintanenAalto UniversityVerified email at aalto.fi
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 IkonenSenior Data 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	329	2008
Planning as satisfiability: parallel plans and algorithms for plan search J Rintanen, K Heljanko, I Niemelä Artificial Intelligence 170 (12), 1031-1080, 2006	315	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	249	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	190	2012
AIGER 1.9 and beyond A Biere, K Heljanko, S Wieringa	130*	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	125	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	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	109	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	95	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	87	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	83	2001
Bounded reachability checking with process semantics K Heljanko International Conference on Concurrency Theory (CONCUR 2001), 218-232, 2001	71	2001
Hardware Model Checking Competition 2024 A Biere, N Froleyks, M Preiner # PLACEHOLDER_PARENT_METADATA_VALUE#, 7-7, 2024	69	2024
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
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	63	2020
BMC for weak memory models: Relation analysis for compact SMT encodings N Gavrilenko, H Ponce-de-León, F Furbach, K Heljanko, R Meyer Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	62	2019
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
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	60	2005

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