Jiri Srba

Cited by

	All	Since 2018
Citations	3029	1207
h-index	31	17
i10-index	72	40

260

130

195

200220032004200520062007200820092010201120122013201420152016201720182019202020212022202332 41 41 38 48 44 65 115 98 102 207 203 217 185 146 186 228 237 191 224 246 81

Public access

View all

43 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 JensenAssistant Professor at 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
Stefan SchmidProfessor, Computer Science, TU Berlin & Weizenbaum Institute & Fraunhofer SITVerified email at tu-berlin.de
Nikola BenešAssistant Professor, Faculty of Informatics, Masaryk UniversityVerified email at fi.muni.cz
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
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 FahrenbergÉcole polytechnique, Laboratoire d'informatique (LIX)Verified email at polytechnique.edu
Frederik Meyer BønnelandPhD at Aalborg UniversityVerified email at cs.aau.dk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.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

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	396	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	238	2008
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
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	84	2012
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard J Srba STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science …, 2002	67	2002
Language emptiness of continuous-time parametric timed automata N Beneš, P Bezděk, KG Larsen, J Srba Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015	63	2015
Comparing the expressiveness of timed automata and timed extensions of Petri nets J Srba Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008	60	2008
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	56	2016
Roadmap of infinite results J Srba	53	2008
Verification of Timed-Arc Petri Nets. L Jacobsen, M Jacobsen, MH Møller, J Srba SOFSEM 11, 46-72, 2011	51	2011
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
Height-deterministic pushdown automata D Nowotka, J Srba Mathematical Foundations of Computer Science 2007: 32nd International …, 2007	51	2007
Timed-arc Petri nets vs. networks of timed automata J Srba Applications and Theory of Petri Nets 2005: 26th International Conference …, 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
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	47	2015
Roadmap of infinite results J Srba Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004	46	2004
The algorithmics of bisimilarity. L Aceto, A Ingolfsdottir, J Srba Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012	45	2012
Undecidability of bisimilarity by defender's forcing P Jančar, J Srba Journal of the ACM (JACM) 55 (1), 1-26, 2008	43	2008
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard J Srba, BRICS Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002	43	2002
Towards a formal framework for computational trust V Sassone, K Krukow, M Nielsen Formal Methods for Components and Objects, 175-184, 2007	41	2007

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