Ranko Lazic

Cited by

	All	Since 2016
Citations	1818	774
h-index	22	15
i10-index	35	23

180

135

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202114 27 26 12 36 39 37 35 48 59 80 105 94 108 80 105 77 147 113 127 176 151 59

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bill Roscoe (A.W. Roscoe)Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceVerified email at warwick.ac.uk
Sylvain SchmitzUniversité de ParisVerified email at irif.fr
Filip MazowieckiMax Planck Institute for Software SystemsVerified email at mpi-sws.org
James WorrellProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Slawomir LasotaUniversity of Warsaw, prof. of computer scienceVerified email at mimuw.edu.pl
Aleksandar S. DimovskiMother Teresa University, SkopjeVerified email at unt.edu.mk
Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Wojciech CzerwinskiUniversity of WarsawVerified email at mimuw.edu.pl
Laure DaviaudCity, University of LondonVerified email at city.ac.uk
Patrick TotzkeUniversity of LiverpoolVerified email at liverpool.ac.uk
Dan R. GhicaReader in Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
Arnaud SangnierMaître de conférences (Assistant Professor), IRIF, Université de ParisVerified email at irif.fr
Oded LachishBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Paweł ParysUniwersytet WarszawskiVerified email at mimuw.edu.pl
Piotrek HofmanUniversity of WarsawVerified email at mimuw.edu.pl
Matthias EnglertUniversity of WarwickVerified email at warwick.ac.uk
Guillermo A. PérezAssistant Professor, University of AntwerpVerified email at uantwerpen.be
Lorenzo ClementeUniversity of WarsawVerified email at mimuw.edu.pl

Ranko Lazic

Department of Computer Science, University of Warwick

Verified email at warwick.ac.uk - Homepage

logic automata formal verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
LTL with the freeze quantifier and register automata S Demri, R Lazić ACM Transactions on Computational Logic (TOCL) 10 (3), 1-30, 2009	320	2009
A semantic study of data independence with applications to model checking. RS Lazic University of Oxford, 1999	182*	1999
Nets with tokens which carry data R Lazić, T Newcomb, J Ouaknine, AW Roscoe, J Worrell Fundamenta Informaticae 88 (3), 251-274, 2008	126	2008
Alternating automata on data trees and XPath satisfiability M Jurdziński, R Lazić ACM Transactions on Computational Logic (TOCL) 12 (3), 19, 2011	111*	2011
On the freeze quantifier in constraint LTL: Decidability and complexity S Demri, R Lazić, D Nowak Information and Computation 205 (1), 2-24, 2007	99	2007
Succinct progress measures for solving parity games M Jurdziński, R Lazić 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9, 2017	81	2017
The reachability problem for Petri nets is not elementary W Czerwiński, S Lasota, R Lazić, J Leroux, F Mazowiecki Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing …, 2019	72	2019
Model checking freeze LTL over one-counter automata S Demri, R Lazić, A Sangnier International Conference on Foundations of Software Science and …, 2008	68*	2008
A unifying approach to data-independence R Lazić, D Nowak International Conference on Concurrency Theory, 581-596, 2000	66	2000
The covering and boundedness problems for branching vector addition systems S Demri, M Jurdziński, O Lachish, R Lazić Journal of Computer and System Sciences 79 (1), 23-38, 2013	60*	2013
Fixed-dimensional energy games are in pseudo-polynomial time M Jurdziński, R Lazić, S Schmitz International Colloquium on Automata, Languages, and Programming, 260-272, 2015	50	2015
Data-abstraction refinement: A game semantic approach A Dimovski, DR Ghica, R Lazić International Static Analysis Symposium, 102-117, 2005	46*	2005
Nonelementary complexities for branching VASS, MELL, and extensions R Lazić, S Schmitz ACM Transactions on Computational Logic (TOCL) 16 (3), 1-30, 2015	45	2015
Safety alternating automata on data words R Lazić ACM Transactions on Computational Logic (TOCL) 12 (2), 10, 2011	45*	2011
Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games W Czerwiński, L Daviaud, N Fijalkow, M Jurdziński, R Lazić, P Parys Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete …, 2019	32	2019
Data independence with generalised predicate symbols R Lazic, B Roscoe Proceedings of the International Conference on Parallel and Distributed …, 1999	30*	1999
On model checking data-independent systems with arrays without reset RS Lazic, TC Newcomb, AW Roscoe arXiv preprint cs/0405103, 2004	28	2004
Compositional software verification based on game semantics and process algebra A Dimovski, R Lazić International Journal on Software Tools for Technology Transfer 9 (1), 37-51, 2007	27*	2007
The ideal view on Rackoff's coverability technique R Lazić, S Schmitz Information and Computation 277, 104582, 2021	26*	2021
Verifying determinism of concurrent systems which use unbounded arrays R Lazic, B Roscoe	26*	1998

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