Jiri Srba

Cited by

	All	Since 2016
Citations	2504	1002
h-index	28	15
i10-index	58	28

240

120

180

2002200320042005200620072008200920102011201220132014201520162017201820192020202138 33 46 37 52 41 63 118 94 106 226 182 211 184 149 178 224 235 176 34

Co-authors

Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Peter Gjøl JensenAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Mikael Harkjær MøllerPh.D. Fellow, Computer Science, Aalborg UniversityVerified email at mikael.hm
Kenneth Yrke JørgensenDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Lom HillahLaboratoire d'informatique de Paris 6Verified email at lip6.fr
Jeroen MeijerEijsinkVerified email at eijsink.nl
Marco MuñizAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Uli FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Yann Thierry-MiegLaboratoire d'Informatique de Paris 6Verified email at lip6.fr
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Loïg JezequelUniversité de Nantes, LS2NVerified email at ls2n.fr
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Stefan SchmidProfessor, Computer Science, University of ViennaVerified email at univie.ac.at
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Karsten WolfProfessor für Informatik, Universität RostockVerified email at informatik.uni-rostock.de

Jiri Srba

Professor of Computer Science, Aalborg University

Verified email at cs.aau.dk - Homepage

theoretical computer science verification modelling Petri nets automata theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007	347	2007
Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba International Conference on Formal Modeling and Analysis of Timed Systems, 33-47, 2008	202	2008
Energy games in multiweighted automata U Fahrenberg, L Juhl, KG Larsen, J Srba International Colloquium on Theoretical Aspects of Computing, 95-115, 2011	74	2011
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard J Srba Annual Symposium on Theoretical Aspects of Computer Science, 535-546, 2002	67	2002
TAPAAL 2.0: Integrated development environment for timed-arc Petri nets A David, L Jacobsen, M Jacobsen, KY Jørgensen, MH Møller, J Srba International Conference on Tools and Algorithms for the Construction and …, 2012	56	2012
Comparing the expressiveness of timed automata and timed extensions of Petri nets J Srba International Conference on Formal Modeling and Analysis of Timed Systems, 15-32, 2008	56	2008
Roadmap of infinite results J Srba	53	2008
Language emptiness of continuous-time parametric timed automata N Beneš, P Bezděk, KG Larsen, J Srba International Colloquium on Automata, Languages, and Programming, 69-81, 2015	50	2015
On determinism in modal transition systems N Beneš, J Křetínský, KG Larsen, J Srba Theoretical Computer Science 410 (41), 4026-4043, 2009	50	2009
Timed-arc Petri nets vs. networks of timed automata J Srba International Conference on Application and Theory of Petri Nets, 385-402, 2005	49	2005
Height-deterministic pushdown automata D Nowotka, J Srba International Symposium on Mathematical Foundations of Computer Science, 125-134, 2007	48	2007
Complete Results for the 2016 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, G Chiardo, A Hamez, ...	46	2016
Verification of timed-arc Petri nets L Jacobsen, M Jacobsen, MH Møller, J Srba International Conference on Current Trends in Theory and Practice of …, 2011	45	2011
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard J Srba International Colloquium on Automata, Languages, and Programming, 716-727, 2002	45	2002
Roadmap of infinite results J Srba Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004	42	2004
Undecidability of bisimilarity by defender's forcing P Jančar, J Srba Journal of the ACM (JACM) 55 (1), 1-26, 2008	40	2008
TAPAAL: Editor, simulator and verifier of timed-arc Petri nets J Byg, KY Jørgensen, J Srba International Symposium on Automated Technology for Verification and …, 2009	38	2009
Checking thorough refinement on modal transition systems is EXPTIME-complete N Beneš, J Křetínský, KG Larsen, J Srba International Colloquium on Theoretical Aspects of Computing, 112-126, 2009	38	2009
Online and compositional learning of controllers with application to floor heating KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist International Conference on Tools and Algorithms for the Construction and …, 2016	37	2016
Parametric modal transition systems N Beneš, J Křetínský, KG Larsen, MH Møller, J Srba International Symposium on Automated Technology for Verification and …, 2011	37	2011

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

Upload PDF

Follow this author

Cited by

Co-authors