Edit Profile Lazić, Ranko Compute Distance To: Compute Author ID: lazic.ranko Published as: Lazi\c, Ranko; Lazic, Ranko; Lazić, Ranko Documents Indexed: 39 Publications since 2000, including 2 Books all top 5 Co-Authors 4 single-authored 7 Jurdziński, Marcin 6 Demri, Stéphane P. 6 Schmitz, Sylvain 4 Newcomb, Tom 4 Ouaknine, Joel O. 4 Totzke, Patrick 4 Worrell, James B. 3 Lasota, Sławomir 3 Leroux, Jérôme 3 Mazowiecki, Filip 3 Nowak, David E. 3 Roscoe, Andrew William 2 Czerwiński, Wojciech 2 Dimovski, Aleksandar S. 2 Lachish, Oded 2 Rutkowski, Michał 2 Sangnier, Arnaud 1 Bouyer, Patricia 1 Brihaye, Thomas 1 Clemente, Lorenzo 1 Daviaud, Laure 1 Englert, Matthias 1 Figueira, Diego 1 Fijalkow, Nathanaël 1 Ghica, Dan R. 1 Gibson-Robinson, Thomas 1 Göller, Stefan 1 Haase, Christoph 1 Hofman, Piotr 1 Hopcroft, Philippa J. 1 Murawski, Andrzej S. 1 Nagarajan, Rajagopal 1 Parys, Paweł 1 Roscoe, Bill 1 Sutre, Grégoire all top 5 Serials 6 ACM Transactions on Computational Logic 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 Information and Computation 1 Fundamenta Informaticae 1 Lecture Notes in Computer Science 1 Electronic Notes in Theoretical Computer Science Fields 39 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 2 General and overarching topics; collections (00-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) Publications by Year all cited Publications top 5 cited Publications 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.68158Demri, Stéphane; Lazić, Ranko 37 2009 Nets with tokens which carry data. Zbl 1154.68090Lazić, 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.03014Demri, Stéphane; Lazić, Ranko; Nowak, David 11 2007 Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain 9 2015 The covering and boundedness problems for branching vector addition systems. Zbl 1260.68264Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko 7 2013 Alternating automata on data trees and XPath satisfiability. Zbl 1351.68141Jurdziński, Marcin; Lazić, Ranko 6 2011 Coverability trees for Petri nets with unordered data. Zbl 06591835Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Schmitz, Sylvain; Totzke, Patrick 5 2016 Nets with tokens which carry data. Zbl 1226.68062Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 5 2007 Data-abstraction refinement: A game semantic approach. Zbl 1141.68366Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko 5 2005 The complexity of coverability in \(\nu\)-Petri nets. Zbl 1392.68306Lazić, Ranko; Schmitz, Sylvain 4 2016 Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128Lazić, Ranko; Schmitz, Sylvain 4 2015 Model checking freeze LTL over one-counter automata. Zbl 1139.68038Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud 4 2008 The ideal view on Rackoff’s coverability technique. Zbl 06798768Lazić, Ranko; Schmitz, Sylvain 3 2015 Model checking memoryful linear-time logics over one-counter automata. Zbl 1334.68131Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud 3 2010 Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał 3 2008 Safely freezing LTL. Zbl 1177.68147Lazić, Ranko 3 2006 A unifying approach to data-independence. Zbl 0999.68126Lazić, Ranko; Nowak, David 3 2000 The reachability problem for Petri nets is not elementary. Zbl 1433.68245Czerwiń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.03034Lazić, Ranko; Ouaknine, Joël; Worrell, James 2 2013 Safety alternating automata on data words. Zbl 1352.03014Lazić, Ranko 2 2011 Universal trees grow inside separating automata: quasi-polynomial lower bounds for parity games. Zbl 1432.68223Czerwiń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.68136Figueira, 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 06852768Lazić, Ranko; Totzke, Patrick 1 2017 Contextual approximation and higher-order procedures. Zbl 06591819Lazić, Ranko; Murawski, Andrzej S. 1 2016 Non-elementary complexities for branching VASS, MELL, and extensions. Zbl 1394.68189Lazić, Ranko; Schmitz, Sylvain 1 2014 The reachability problem for branching vector addition systems requires doubly-exponential space. Zbl 1234.68139Lazić, Ranko 1 2010 The covering and boundedness problems for branching vector addition systems. Zbl 1248.68202Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko 1 2009 Polymorphic systems with arrays, 2-counter machines and multiset rewriting. Zbl 1272.68268Lazić, Ranko; Newcomb, Tom; Roscoe, Bill 1 2005 Decidability of reachability for polymorphic systems with arrays: a complete classification. Zbl 1272.68267Lazić, Ranko 1 2005 On model checking data-independent systems with arrays with whole-array operations. Zbl 1081.68649Lazić, Ranko; Newcomb, Tom; Roscoe, A. W. 1 2005 On a semantic definition of data independence. Zbl 1039.68035Lazić, Ranko; Nowak, David 1 2003 The reachability problem for Petri nets is not elementary. Zbl 1433.68245Czerwiń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.68223Czerwiń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.68136Figueira, 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 06852768Lazić, Ranko; Totzke, Patrick 1 2017 Coverability trees for Petri nets with unordered data. Zbl 06591835Hofman, 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.68306Lazić, Ranko; Schmitz, Sylvain 4 2016 Contextual approximation and higher-order procedures. Zbl 06591819Lazić, Ranko; Murawski, Andrzej S. 1 2016 Fixed-dimensional energy games are in pseudo-polynomial time. Zbl 1440.68122Jurdziński, Marcin; Lazić, Ranko; Schmitz, Sylvain 9 2015 Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128Lazić, Ranko; Schmitz, Sylvain 4 2015 The ideal view on Rackoff’s coverability technique. Zbl 06798768Lazić, Ranko; Schmitz, Sylvain 3 2015 Non-elementary complexities for branching VASS, MELL, and extensions. Zbl 1394.68189Lazić, Ranko; Schmitz, Sylvain 1 2014 The covering and boundedness problems for branching vector addition systems. Zbl 1260.68264Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko 7 2013 Zeno, Hercules and the Hydra: downward rational termination is Ackermannian. Zbl 1400.03034Lazić, Ranko; Ouaknine, Joël; Worrell, James 2 2013 Alternating automata on data trees and XPath satisfiability. Zbl 1351.68141Jurdziński, Marcin; Lazić, Ranko 6 2011 Safety alternating automata on data words. Zbl 1352.03014Lazić, Ranko 2 2011 Model checking memoryful linear-time logics over one-counter automata. Zbl 1334.68131Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud 3 2010 The reachability problem for branching vector addition systems requires doubly-exponential space. Zbl 1234.68139Lazić, Ranko 1 2010 LTL with the freeze quantifier and register automata. Zbl 1351.68158Demri, Stéphane; Lazić, Ranko 37 2009 The covering and boundedness problems for branching vector addition systems. Zbl 1248.68202Demri, Stéphane; Jurdziński, Marcin; Lachish, Oded; Lazić, Ranko 1 2009 Nets with tokens which carry data. Zbl 1154.68090Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 15 2008 Model checking freeze LTL over one-counter automata. Zbl 1139.68038Demri, Stéphane; Lazić, Ranko; Sangnier, Arnaud 4 2008 Average-price and reachability-price games on hybrid automata with strong resets. Zbl 1171.68523Bouyer, Patricia; Brihaye, Thomas; Jurdziński, Marcin; Lazić, Ranko; Rutkowski, Michał 3 2008 On the freeze quantifier in Constraint LTL: Decidability and complexity. Zbl 1116.03014Demri, Stéphane; Lazić, Ranko; Nowak, David 11 2007 Nets with tokens which carry data. Zbl 1226.68062Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 5 2007 Safely freezing LTL. Zbl 1177.68147Lazić, Ranko 3 2006 Data-abstraction refinement: A game semantic approach. Zbl 1141.68366Dimovski, Aleksandar; Ghica, Dan R.; Lazić, Ranko 5 2005 Polymorphic systems with arrays, 2-counter machines and multiset rewriting. Zbl 1272.68268Lazić, Ranko; Newcomb, Tom; Roscoe, Bill 1 2005 Decidability of reachability for polymorphic systems with arrays: a complete classification. Zbl 1272.68267Lazić, Ranko 1 2005 On model checking data-independent systems with arrays with whole-array operations. Zbl 1081.68649Lazić, Ranko; Newcomb, Tom; Roscoe, A. W. 1 2005 On a semantic definition of data independence. Zbl 1039.68035Lazić, Ranko; Nowak, David 1 2003 A unifying approach to data-independence. Zbl 0999.68126Lazić, Ranko; Nowak, David 3 2000 all cited Publications top 5 cited Publications 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 all top 5 Cited in 20 Serials 18 Theoretical Computer Science 11 Information and Computation 7 Journal of Computer and System Sciences 7 Logical Methods in Computer Science 3 Information Processing Letters 3 MSCS. Mathematical Structures in Computer Science 3 ACM Transactions on Computational Logic 2 Formal Aspects of Computing 2 Formal Methods in System Design 2 Theory of Computing Systems 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 The Journal of Symbolic Logic 1 Journal of Automated Reasoning 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Journal of Mathematical Sciences (New York) 1 RAIRO. Theoretical Informatics and Applications 1 ACM Transactions on Computation Theory 1 Research in the Mathematical Sciences all top 5 Cited in 6 Fields 93 Computer science (68-XX) 42 Mathematical logic and foundations (03-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Systems theory; control (93-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) Citations by Year