Jiri Srba

Cited by

	All	Since 2019
Citations	3306	1287
h-index	30	17
i10-index	77	39

260

130

195

2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202429 37 42 45 54 42 63 114 91 111 212 182 206 184 143 182 224 234 194 225 252 238 144

Public access

View all

50 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Peter Gjøl JensenAssociate 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
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
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
Marco MuñizAssociate Professor at Aalborg UniversityVerified email at cs.aau.dk
Jan KřetínskýMasaryk University Brno; 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
Morten Konggaard SchouPostdoc, Aalborg UniversityVerified email at cs.aau.dk
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk

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	427	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	258	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	102	2012
Energy games in multiweighted automata U Fahrenberg, L Juhl, KG Larsen, J Srba Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011	93	2011
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	70	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	69	2016
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard J Srba Annual Symposium on Theoretical Aspects of Computer Science, 535-546, 2002	69	2002
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	61	2011
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	61	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	55	2009
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	53	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	53	2009
Height-deterministic pushdown automata D Nowotka, J Srba International Symposium on Mathematical Foundations of Computer Science, 125-134, 2007	53	2007
Roadmap of infinite results J Srba	52	2008
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
Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019	49	2019
The algorithmics of bisimilarity. L Aceto, A Ingólfsdóttir, 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	46	2002
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	43	2011
Undecidability of bisimilarity by defender's forcing P Jančar, J Srba Journal of the ACM (JACM) 55 (1), 1-26, 2008	43	2008

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