Keijo Heljanko

Cited by

	All	Since 2020
Citations	4184	1264
h-index	35	17
i10-index	74	33

300

150

225

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 27 45 57 69 72 75 101 111 152 134 147 172 180 218 248 215 183 221 210 184 250 296 241 228 208 41

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
Aleksi KallioDirector, LUMI AI Factory Services, CSC - IT Center for ScienceVerified email at csc.fi
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
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
Martin LangeProfessor of Computer Science, University of KasselVerified email at uni-kassel.de
Gianluigi ZanettiDirector, CRS4 Data-intensive ComputingVerified email at crs4.it
Luca PiredduSenior Researcher, CRS4Verified email at crs4.it
Teemu IkonenSenior Data Scientist, BetolarVerified email at betolar.com

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	334	2008
Planning as satisfiability: parallel plans and algorithms for plan search J Rintanen, K Heljanko, I Niemelä Artificial Intelligence 170 (12), 1031-1080, 2006	314	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	250	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	188	2012
AIGER 1.9 and beyond A Biere, K Heljanko, S Wieringa	137*	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	125	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	123	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	108	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	98	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	91	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	85	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	69	2008
Bounded reachability checking with process semantics K Heljanko International Conference on Concurrency Theory (CONCUR 2001), 218-232, 2001	69	2001
BMC for weak memory models: Relation analysis for compact SMT encodings N Gavrilenko, H Ponce-de-León, F Furbach, K Heljanko, R Meyer International Conference on Computer Aided Verification, 355-365, 2019	68	2019
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	67	2020
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	63	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	61	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

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