Jiri Srba

Cited by

	All	Since 2018
Citations	3059	1272
h-index	31	17
i10-index	73	40

260

130

195

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202333 37 42 44 55 42 60 112 91 107 211 183 207 187 139 179 223 231 184 221 254 157

Public access

View all

46 articles

1 article

available

not available

Based on funding mandates

Co-authors

Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Peter Gjøl JensenAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Stefan SchmidProfessor, Computer Science, TU Berlin & Weizenbaum Institute & Fraunhofer SITVerified email at tu-berlin.de
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
Kenneth Yrke JørgensenDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Mikael Harkjær MøllerPh.D. Fellow, Computer Science, Aalborg UniversityVerified email at mikael.hm
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Marco MuñizAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Jan KřetínskýTechnical University of MunichVerified email at fi.muni.cz
Lom HillahLaboratoire d'informatique de Paris 6Verified email at lip6.fr
Jeroen MeijerEijsinkVerified email at eijsink.nl
Loïg JezequelUniversité de Nantes, LS2NVerified email at ls2n.fr
Yann Thierry-MiegLaboratoire d'Informatique de Paris 6Verified email at lip6.fr
Uli FahrenbergLaboratoire de recherche de l'EPITA (LRE)Verified email at polytechnique.edu
Frederik Meyer BønnelandPhD at Aalborg UniversityVerified email at cs.aau.dk
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
Karsten WolfProfessor für Informatik, Universität RostockVerified email at uni-rostock.de
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Patricia BouyerLMF, Université Paris-Saclay, CNRS, ENS Paris-SaclayVerified email at lsv.fr

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	401	2007
Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	243	2008
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 Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012	89	2012
Energy games in multiweighted automata U Fahrenberg, L Juhl, KG Larsen, J Srba Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011	88	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	70	2002
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	62	2015
Online and compositional learning of controllers with application to floor heating KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016	61	2016
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	59	2008
Verification of timed-arc Petri nets L Jacobsen, M Jacobsen, MH Møller, J Srba SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on …, 2011	57	2011
Roadmap of infinite results J Srba	52	2008
TAPAAL: Editor, simulator and verifier of timed-arc Petri nets J Byg, KY Jørgensen, J Srba Automated Technology for Verification and Analysis: 7th International …, 2009	51	2009
Timed-arc Petri nets vs. networks of timed automata J Srba International Conference on Application and Theory of Petri Nets, 385-402, 2005	51	2005
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
Height-deterministic pushdown automata D Nowotka, J Srba International Symposium on Mathematical Foundations of Computer Science, 125-134, 2007	49	2007
Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ... URL http://mcc. lip6. fr/2015/results. php, 2015	48	2015
The algorithmics of bisimilarity. L Aceto, A Ingolfsdottir, J Srba Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012	47	2012
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard J Srba, BRICS International Colloquium on Automata, Languages, and Programming, 716-727, 2002	45	2002
Undecidability of bisimilarity by defender's forcing P Jančar, J Srba Journal of the ACM (JACM) 55 (1), 1-26, 2008	43	2008
Roadmap of infinite results J Srba Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004	43	2004
Modelling and verification of web services business activity protocol AP Ravn, J Srba, S Vighio Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011	41	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

Follow

Cited by

Co-authors