|
Search the dblp DataBase
Ranko Lazic:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. [Citation Graph (0, 0)][DBLP] 25 Years Communicating Sequential Processes, 2004, pp:275-291 [Conf]
- Ranko Lazic, David Nowak
A Unifying Approach to Data-Independence. [Citation Graph (0, 0)][DBLP] CONCUR, 2000, pp:581-595 [Conf]
- Ranko Lazic
Safely Freezing LTL. [Citation Graph (0, 0)][DBLP] FSTTCS, 2006, pp:381-392 [Conf]
- Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
Abstraction-refinement for game-based model checking. [Citation Graph (0, 0)][DBLP] GALOP, 2005, pp:139- [Conf]
- Aleksandar Dimovski, Ranko Lazic
CSP Representation of Game Semantics for Second-Order Idealized Algol. [Citation Graph (0, 0)][DBLP] ICFEM, 2004, pp:146-161 [Conf]
- Aleksandar Dimovski, Ranko Lazic
Assume-Guarantee Software Verification Based on Game Semantics. [Citation Graph (0, 0)][DBLP] ICFEM, 2006, pp:529-548 [Conf]
- Xu Wang, A. W. Roscoe, Ranko Lazic
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. [Citation Graph (0, 0)][DBLP] IFM, 2004, pp:247-266 [Conf]
- Stéphane Demri, Ranko Lazic
LTL with the Freeze Quantifier and Register Automata. [Citation Graph (0, 0)][DBLP] LICS, 2006, pp:17-26 [Conf]
- Ranko Lazic, Bill Roscoe
Data Independence with Generalised Predicate Symbols. [Citation Graph (0, 0)][DBLP] PDPTA, 1999, pp:319-326 [Conf]
- Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
Data-Abstraction Refinement: A Game Semantic Approach. [Citation Graph (0, 0)][DBLP] SAS, 2005, pp:102-117 [Conf]
- Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
A Counterexample-Guided Refinement Tool for Open Procedural Programs. [Citation Graph (0, 0)][DBLP] SPIN, 2006, pp:288-292 [Conf]
- Stéphane Demri, Ranko Lazic, David Nowak
On the Freeze Quantifier in Constraint LTL: Decidability and Complexity. [Citation Graph (0, 0)][DBLP] TIME, 2005, pp:113-121 [Conf]
- Ranko Lazic, David Nowak
On a Semantic Definition of Data Independence . [Citation Graph (0, 0)][DBLP] TLCA, 2003, pp:226-240 [Conf]
- Aleksandar Dimovski, Ranko Lazic
Software Model Checking Based on Game Semantics and CSP. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:105-125 [Journal]
- Ranko Lazic
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:3-19 [Journal]
- Ranko Lazic, Rajagopal Nagarajan
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:1-2 [Journal]
- Ranko Lazic, Thomas Christopher Newcomb, Bill Roscoe
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:138, n:3, pp:61-86 [Journal]
- Stéphane Demri, Ranko Lazic, David Nowak
On the freeze quantifier in Constraint LTL: Decidability and complexity. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:1, pp:2-24 [Journal]
- Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe
On model checking data-independent systems with arrays without reset. [Citation Graph (0, 0)][DBLP] TPLP, 2004, v:4, n:5-6, pp:659-693 [Journal]
- Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
Nets with Tokens Which Carry Data. [Citation Graph (0, 0)][DBLP] ICATPN, 2007, pp:301-320 [Conf]
- Marcin Jurdzinski, Ranko Lazic
Alternation-free modal mu-calculus for data trees. [Citation Graph (0, 0)][DBLP] LICS, 2007, pp:131-140 [Conf]
- Stéphane Demri, Ranko Lazic
LTL with the Freeze Quantifier and Register Automata [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
- Stéphane Demri, Ranko Lazic, David Nowak
On the freeze quantifier in Constraint LTL: decidability and complexity [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
- Ranko Lazic, Rajagopal Nagarajan
Guest Editorial. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2007, v:19, n:3, pp:275- [Journal]
- Aleksandar Dimovski, Ranko Lazic
Compositional software verification based on game semantics and process algebra. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:1, pp:37-51 [Journal]
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. [Citation Graph (, )][DBLP]
Model Checking Freeze LTL over One-Counter Automata. [Citation Graph (, )][DBLP]
The Covering and Boundedness Problems for Branching Vector Addition Systems. [Citation Graph (, )][DBLP]
Average-Price-per-Reward Games on Hybrid Automata with Strong Resets. [Citation Graph (, )][DBLP]
Safety alternating automata on data words [Citation Graph (, )][DBLP]
Alternating Automata on Data Trees and XPath Satisfiability [Citation Graph (, )][DBLP]
Model checking memoryful linear-time logics over one-counter automata [Citation Graph (, )][DBLP]
Search in 0.081secs, Finished in 0.084secs
|