The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ranko Lazic: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Ranko Lazic, David Nowak
    A Unifying Approach to Data-Independence. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:581-595 [Conf]
  3. Ranko Lazic
    Safely Freezing LTL. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:381-392 [Conf]
  4. Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
    Abstraction-refinement for game-based model checking. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:139- [Conf]
  5. 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]
  6. Aleksandar Dimovski, Ranko Lazic
    Assume-Guarantee Software Verification Based on Game Semantics. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:529-548 [Conf]
  7. 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]
  8. Stéphane Demri, Ranko Lazic
    LTL with the Freeze Quantifier and Register Automata. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:17-26 [Conf]
  9. Ranko Lazic, Bill Roscoe
    Data Independence with Generalised Predicate Symbols. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:319-326 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. Ranko Lazic, David Nowak
    On a Semantic Definition of Data Independence . [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:226-240 [Conf]
  14. 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]
  15. 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]
  16. Ranko Lazic, Rajagopal Nagarajan
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:1-2 [Journal]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Marcin Jurdzinski, Ranko Lazic
    Alternation-free modal mu-calculus for data trees. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:131-140 [Conf]
  22. 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]
  23. 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]
  24. Ranko Lazic, Rajagopal Nagarajan
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:3, pp:275- [Journal]
  25. 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]

  26. Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. [Citation Graph (, )][DBLP]


  27. Model Checking Freeze LTL over One-Counter Automata. [Citation Graph (, )][DBLP]


  28. The Covering and Boundedness Problems for Branching Vector Addition Systems. [Citation Graph (, )][DBLP]


  29. Average-Price-per-Reward Games on Hybrid Automata with Strong Resets. [Citation Graph (, )][DBLP]


  30. Safety alternating automata on data words [Citation Graph (, )][DBLP]


  31. Alternating Automata on Data Trees and XPath Satisfiability [Citation Graph (, )][DBLP]


  32. Model checking memoryful linear-time logics over one-counter automata [Citation Graph (, )][DBLP]


Search in 0.600secs, Finished in 0.602secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002