Keijo Heljanko

Citata da

	Tutte	Dal 2016
Citazioni	3124	1050
Indice H	29	16
i10-index	62	29

260

130

195

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020218 23 44 52 63 75 83 100 109 147 133 159 164 173 208 247 207 177 228 190 191 226 37

Coautori

Tommi JunttilaAalto UniversityEmail verificata su aalto.fi
Armin BiereJohannes Kepler University LinzEmail verificata su jku.at
Olli SaarikiviMicrosoft ResearchEmail verificata su microsoft.com
Javier EsparzaProfessor of Computer Science, Technical University of MunichEmail verificata su in.tum.de
Eija KorpelainenCSC - IT Centre for ScienceEmail verificata su csc.fi
Hernan Ponce de LeonBundeswehr University MunichEmail verificata su unibw.de
Siert WieringaEmail verificata su siert.nl
Jussi LahtinenFortum Power and Heat OyjEmail verificata su fortum.com
Jussi RintanenAalto UniversityEmail verificata su aalto.fi
Gianluigi ZanettiDirector, CRS4 Data-intensive ComputingEmail verificata su crs4.it
Luca PiredduResearcher, CRS4Email verificata su crs4.it
Martin LangeProfessor of Computer Science, University of KasselEmail verificata su uni-kassel.de
Teemu LehtoAalto University, FinlandEmail verificata su qpr.com
Markku HinkkaPhD studentEmail verificata su aalto.fi
Kary FrämlingProfessor of Data Science at Umeå University, Adjunct professor in Computer Science, AaltoEmail verificata su aalto.fi
Antti SiirtolaUniversity of OuluEmail verificata su oulu.fi
Roland MeyerProfessor of Theoretical Computer ScienceEmail verificata su tu-bs.de
Asad JavedPhD Student, Department of Computer Science, Aalto UniversityEmail verificata su aalto.fi
Robin E BloomfieldCity University and Adelard LLPEmail verificata su csr.city.ac.uk
Tom van DijkUniversity of TwenteEmail verificata su utwente.nl

Keijo Heljanko

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

Email verificata su helsinki.fi - Home page

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


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Unfoldings: A partial-order approach to model checking J Esparza, K Heljanko Springer, 2008	265	2008
Planning as satisfiability: parallel plans and algorithms for plan search J Rintanen, K Heljanko, I Niemelä Artificial Intelligence 170 (12), 1031-1080, 2006	247	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	189	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	158	2012
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	114	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	111	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	107	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	103	2003
Incremental and complete bounded model checking for full PLTL K Heljanko, T Junttila, T Latvala Computer Aided Verification (CAV 2005), 517-527, 2005	95	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	78	2012
Implementing LTL model checking with net unfoldings J Esparza, K Heljanko International SPIN Workshop on Model Checking of Software (SPIN'2001), 37-56, 2001	73	2001
Bounded reachability checking with process semantics K Heljanko International Conference on Concurrency Theory (CONCUR 2001), 218-232, 2001	66	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	58	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	58	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	58	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	55	2002
AIGER 1.9 and beyond A Biere, K Heljanko, S Wieringa Available at fmv. jku. at/hwmcc11/beyond1. pdf, 2011	53*	2011
Prod 3.2 An advanced tool for efficient reachability analysis K Varpaaniemi, K Heljanko, J Lilius Computer Aided Verification (CAV 1997), 472-475, 1997	53	1997
Coping with strong fairness T Latvala, K Heljanko Fundamenta Informaticae 43 (1), 175-193, 2000	49	2000
A New Unfolding Approach to LTL Model Checking J Esparza, K Heljanko International Colloquium on Automata, Languages and Programming (ICALP'2000 …, 2000	49	2000

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Carica PDF

Segui questo autore

Citata da

Coautori