Keijo Heljanko

Citado por

	Total	Desde 2019
Citas	4138	1402
Índice h	35	19
Índice i10	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 158

Acceso público

Ver todo

36 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Armin BiereProfessor of Computer Science, University of FreiburgDirección de correo verificada de informatik.uni-freiburg.de
Tommi JunttilaAalto UniversityDirección de correo verificada de aalto.fi
Javier EsparzaProfessor of Computer Science, Technical University of MunichDirección de correo verificada de in.tum.de
Olli SaarikiviMicrosoft ResearchDirección de correo verificada de microsoft.com
Siert WieringaDirección de correo verificada de siert.nl
Hernan Ponce de LeonHuawei Dresden Research CenterDirección de correo verificada de huawei.com
Eija KorpelainenCSC - IT Centre for ScienceDirección de correo verificada de csc.fi
Jussi LahtinenHuld OyDirección de correo verificada de huld.io
Jussi RintanenAalto UniversityDirección de correo verificada de aalto.fi
Kary FrämlingProfessor of Data Science at Umeå University, Adj.Prof. of Computer Science at Aalto UniversityDirección de correo verificada de cs.umu.se
Roland MeyerProfessor of Theoretical Computer ScienceDirección de correo verificada de tu-bs.de
Iiro HarjunkoskiHitachi Energy ResearchDirección de correo verificada de hitachienergy.com
Teemu LehtoAalto University, FinlandDirección de correo verificada de qpr.com
Markku HinkkaQPR Software Plc, D.Sc. (Tech.)Dirección de correo verificada de qpr.com
Asad JavedPhD, Department of Computer Science, Aalto UniversityDirección de correo verificada de aalto.fi
Gianluigi ZanettiDirector, CRS4 Data-intensive ComputingDirección de correo verificada de crs4.it
Luca PiredduSenior Researcher, CRS4Dirección de correo verificada de crs4.it
Martin LangeProfessor of Computer Science, University of KasselDirección de correo verificada de uni-kassel.de
Teemu IkonenData Scientist, BetolarDirección de correo verificada de betolar.com
Antti SiirtolaUniversity of OuluDirección de correo verificada de oulu.fi

Seguir

Keijo Heljanko

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

Dirección de correo verificada de helsinki.fi - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	83	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores