×

zbMATH — the first resource for mathematics

Lazić, Ranko

Compute Distance To:
Author ID: lazic.ranko Recent zbMATH articles by "Lazić, Ranko"
Published as: Lazi\c, Ranko; Lazic, Ranko; Lazić, Ranko
Documents Indexed: 39 Publications since 2000, including 2 Books

Publications by Year

Citations contained in zbMATH

31 Publications have been cited 144 times in 100 Documents Cited by Year
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko
37
2009
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
15
2008
On the freeze quantifier in Constraint LTL: Decidability and complexity. Zbl 1116.03014
Demri, Stéphane; Lazić, Ranko; Nowak, David
11
2007
Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
9
2015
The covering and boundedness problems for branching vector addition systems. Zbl 1260.68264
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
7
2013
Alternating automata on data trees and XPath satisfiability. Zbl 1351.68141
Jurdziński, Marcin; Lazić, Ranko
6
2011
Coverability trees for Petri nets with unordered data. Zbl 06591835
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick
5
2016
Nets with tokens which carry data. Zbl 1226.68062
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
5
2007
Data-abstraction refinement: A game semantic approach. Zbl 1141.68366
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko
5
2005
The complexity of coverability in \(\nu\)-Petri nets. Zbl 1392.68306
Lazić, Ranko; Schmitz, Sylvain
4
2016
Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128
Lazić, Ranko; Schmitz, Sylvain
4
2015
Model checking freeze LTL over one-counter automata. Zbl 1139.68038
Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud
4
2008
The ideal view on Rackoff’s coverability technique. Zbl 06798768
Lazić, Ranko; Schmitz, Sylvain
3
2015
Model checking memoryful linear-time logics over one-counter automata. Zbl 1334.68131
Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud
3
2010
Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523
Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał
3
2008
Safely freezing LTL. Zbl 1177.68147
Lazić, Ranko
3
2006
A unifying approach to data-independence. Zbl 0999.68126
Lazić, Ranko; Nowak, David
3
2000
The reachability problem for Petri nets is not elementary. Zbl 1433.68245
Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip
2
2019
Zeno, Hercules and the Hydra: downward rational termination is Ackermannian. Zbl 1400.03034
Lazić, Ranko; Ouaknine, Joël; Worrell, James
2
2013
Safety alternating automata on data words. Zbl 1352.03014
Lazić, Ranko
2
2011
Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games. Zbl 1432.68223
Czerwiński, Wojciech; Daviaud, Laure; Fijalkow, Nathanaël; Jurdziński, Marcin; Lazić, Ranko; Parys, Paweł
1
2019
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
1
2017
What makes Petri nets harder to verify: stack or data? Zbl 06852768
Lazić, Ranko; Totzke, Patrick
1
2017
Contextual approximation and higher-order procedures. Zbl 06591819
Lazić, Ranko; Murawski, Andrzej S.
1
2016
Non-elementary complexities for branching VASS, MELL, and extensions. Zbl 1394.68189
Lazić, Ranko; Schmitz, Sylvain
1
2014
The reachability problem for branching vector addition systems requires doubly-exponential space. Zbl 1234.68139
Lazić, Ranko
1
2010
The covering and boundedness problems for branching vector addition systems. Zbl 1248.68202
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
1
2009
Polymorphic systems with arrays, 2-counter machines and multiset rewriting. Zbl 1272.68268
Lazić, Ranko; Newcomb, Tom; Roscoe, Bill
1
2005
Decidability of reachability for polymorphic systems with arrays: a complete classification. Zbl 1272.68267
Lazić, Ranko
1
2005
On model checking data-independent systems with arrays with whole-array operations. Zbl 1081.68649
Lazić, Ranko; Newcomb, Tom; Roscoe, A. W.
1
2005
On a semantic definition of data independence. Zbl 1039.68035
Lazić, Ranko; Nowak, David
1
2003
The reachability problem for Petri nets is not elementary. Zbl 1433.68245
Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Mazowiecki, Filip
2
2019
Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games. Zbl 1432.68223
Czerwiński, Wojciech; Daviaud, Laure; Fijalkow, Nathanaël; Jurdziński, Marcin; Lazić, Ranko; Parys, Paweł
1
2019
Polynomial-space completeness of reachability for succinct branching VASS in dimension one. Zbl 1442.68136
Figueira, Diego; Lazi\c, Ranko; Leroux, Jérôme; Mazowiecki, Filip; Sutre, Grégoire
1
2017
What makes Petri nets harder to verify: stack or data? Zbl 06852768
Lazić, Ranko; Totzke, Patrick
1
2017
Coverability trees for Petri nets with unordered data. Zbl 06591835
Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick
5
2016
The complexity of coverability in \(\nu\)-Petri nets. Zbl 1392.68306
Lazić, Ranko; Schmitz, Sylvain
4
2016
Contextual approximation and higher-order procedures. Zbl 06591819
Lazić, Ranko; Murawski, Andrzej S.
1
2016
Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122
Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain
9
2015
Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128
Lazić, Ranko; Schmitz, Sylvain
4
2015
The ideal view on Rackoff’s coverability technique. Zbl 06798768
Lazić, Ranko; Schmitz, Sylvain
3
2015
Non-elementary complexities for branching VASS, MELL, and extensions. Zbl 1394.68189
Lazić, Ranko; Schmitz, Sylvain
1
2014
The covering and boundedness problems for branching vector addition systems. Zbl 1260.68264
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
7
2013
Zeno, Hercules and the Hydra: downward rational termination is Ackermannian. Zbl 1400.03034
Lazić, Ranko; Ouaknine, Joël; Worrell, James
2
2013
Alternating automata on data trees and XPath satisfiability. Zbl 1351.68141
Jurdziński, Marcin; Lazić, Ranko
6
2011
Safety alternating automata on data words. Zbl 1352.03014
Lazić, Ranko
2
2011
Model checking memoryful linear-time logics over one-counter automata. Zbl 1334.68131
Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud
3
2010
The reachability problem for branching vector addition systems requires doubly-exponential space. Zbl 1234.68139
Lazić, Ranko
1
2010
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko
37
2009
The covering and boundedness problems for branching vector addition systems. Zbl 1248.68202
Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko
1
2009
Nets with tokens which carry data. Zbl 1154.68090
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
15
2008
Model checking freeze LTL over one-counter automata. Zbl 1139.68038
Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud
4
2008
Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523
Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał
3
2008
On the freeze quantifier in Constraint LTL: Decidability and complexity. Zbl 1116.03014
Demri, Stéphane; Lazić, Ranko; Nowak, David
11
2007
Nets with tokens which carry data. Zbl 1226.68062
Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James
5
2007
Safely freezing LTL. Zbl 1177.68147
Lazić, Ranko
3
2006
Data-abstraction refinement: A game semantic approach. Zbl 1141.68366
Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko
5
2005
Polymorphic systems with arrays, 2-counter machines and multiset rewriting. Zbl 1272.68268
Lazić, Ranko; Newcomb, Tom; Roscoe, Bill
1
2005
Decidability of reachability for polymorphic systems with arrays: a complete classification. Zbl 1272.68267
Lazić, Ranko
1
2005
On model checking data-independent systems with arrays with whole-array operations. Zbl 1081.68649
Lazić, Ranko; Newcomb, Tom; Roscoe, A. W.
1
2005
On a semantic definition of data independence. Zbl 1039.68035
Lazić, Ranko; Nowak, David
1
2003
A unifying approach to data-independence. Zbl 0999.68126
Lazić, Ranko; Nowak, David
3
2000
all top 5

Cited by 182 Authors

6 Lazić, Ranko
6 Sangnier, Arnaud
5 Demri, Stéphane P.
5 Rosa-Velardo, Fernando
4 Abdulla, Parosh Aziz
4 Delzanno, Giorgio
4 Lasota, Sławomir
4 Schmitz, Sylvain
4 Schnoebelen, Philippe
4 Worrell, James B.
3 Bertrand, Nathalie
3 Bollig, Benedikt
3 Chatterjee, Krishnendu
3 Figueira, Diego
3 Finkel, Alain
3 Goubault-Larrecq, Jean
3 Hofman, Piotr
3 Leroux, Jérôme
3 Montali, Marco
3 Montanari, Angelo
3 Ouaknine, Joel O.
3 Randour, Mickael
3 Tan, Tony
3 Totzke, Patrick
2 Abriola, Sergio
2 Alur, Rajeev
2 Babari, Parvaneh
2 Blondin, Michael
2 Bouyer, Patricia
2 Brihaye, Thomas
2 Calvanese, Diego
2 Carapelle, Claudia
2 Choffrut, Christian
2 de Frutos-Escrig, David
2 Decker, Normann
2 Dewaskar, Miheer
2 Dimovski, Aleksandar S.
2 Droste, Manfred
2 Figueira, Santiago
2 Genest, Blaise
2 Ghilardi, Silvio
2 Gimbert, Hugo
2 Grigorieff, Serge
2 Kartzow, Alexander
2 Lohrey, Markus
2 Markey, Nicolas
2 Martos-Salgado, María
2 Murawski, Andrzej S.
2 Pazzaglia, Marco
2 Perevoshchikov, Vitaly
2 Praveen, M.
2 Quaas, Karin
2 Rezine, Othmane
2 Rivkin, Andrey
2 Sala, Pietro
2 Sutre, Grégoire
2 Thoma, Daniel
2 Traverso, Riccardo
2 Van Begin, Laurent
1 Alechina, Natasha
1 Baez, John C.
1 Bakewell, Adam
1 Bansal, Kshitij
1 Benalycherif, Lyes
1 Bérard, Béatrice
1 Bozzelli, Laura
1 Brázdil, Tomáš
1 Bresolin, Davide
1 Brochenin, Rémi
1 Bruyère, Véronique
1 Bulling, Nils
1 Capiluppi, Marta
1 Cassel, Sofia
1 Černý, Pavol
1 Cimatti, Alessandro
1 Cotton-Barratt, Conrad
1 Curien, Pierre-Louis
1 Czerwiński, Wojciech
1 David, Claire
1 De Giacomo, Giuseppe
1 Delgrange, Florent
1 Deters, Morgan
1 Doyen, Laurent
1 D’Souza, Deepak
1 Feng, Shiguang
1 Fijalkow, Nathanaël
1 Fisman, Dana
1 Genkin, Daniel
1 Ghica, Dan R.
1 Gianola, Alessandro
1 Godbole, Adwait Amit
1 Griggio, Alberto
1 Grüner, Sven
1 Habermehl, Peter
1 Haddad, Serge
1 Hague, Matthew
1 Halfon, Simon
1 Howar, Falk
1 Jensen, Lasse S.
1 Jonsson, Bengt
...and 82 more Authors

Citations by Year