Concepedia

Ranko Lazić

RL

Statistics

Publications

21

Citations

788

H-Index

16

Active since

1999

Affiliations

University of Warwick(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure Paris-Saclay

Institut national de recherche en sciences et technologies du numérique

Laboratoire Spécification et Vérification

Ranko Lazić is an author at University of Warwick specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationComputational ComplexityVerificationDiscrete MathematicsProof ComplexityGames

Publications per year

1999–2019

21

Publications

21

LTL with the freeze quantifier and register automata

Stéphane Demri, Ranko Lazić · ACM Transactions on Computational Logic · 2009 · 251 citations · Full text

Computational Logic, Data Word, Engineering +13

On the Freeze Quantifier in Constraint LTL: Decidability and Complexity

Stéphane Demri, Ranko Lazić, David Nowak · 2005 · 69 citations · Full text

Constraint Solving, Formal Specification, Engineering +13

Alternation-free modal mu-calculus for data trees

Marcin Jurdziński, Ranko Lazić · 2007 · 56 citations

Engineering, Verification, Modal Logic +17

Succinct progress measures for solving parity games

Marcin Jurdziński, Ranko Lazić · 2017 · 53 citations · Full text

Computational Complexity Theory, Engineering, Combinatorial Game +16

LTL with the Freeze Quantifier and Register Automata

Stéphane Demri, Ranko Lazić · 2006 · 48 citations · Full text

First-order Logics, Engineering, Logical Automaton +13

1–5 of 21