The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dan R. Ghica: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dan R. Ghica
    Semantical Analysis of Specification Logic, 3: An Operational Approach. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:264-278 [Conf]
  2. Dan R. Ghica, Andrzej S. Murawski
    Angelic Semantics of Fine-Grained Concurrency. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:211-225 [Conf]
  3. Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic
    Abstraction-refinement for game-based model checking. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:139- [Conf]
  4. Dan R. Ghica, Guy McCusker
    Reasoning about Idealized ALGOL Using Regular Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:103-115 [Conf]
  5. Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
    Syntactic Control of Concurrency. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:683-694 [Conf]
  6. Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian D. B. Stark
    Nominal Games and Full Abstraction for the Nu-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:150-159 [Conf]
  7. Dan R. Ghica
    Slot games: a quantitative model of computation. [Citation Graph (0, 0)][DBLP]
    POPL, 2005, pp:85-97 [Conf]
  8. Dan R. Ghica
    Geometry of synthesis: a structured approach to VLSI design. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:363-375 [Conf]
  9. 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]
  10. 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]
  11. Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
    Applying Game Semantics to Compositional Software Modeling and Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:421-435 [Conf]
  12. Dan R. Ghica, Andrzej S. Murawski
    Compositional Model Extraction for Higher-Order Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:303-317 [Conf]
  13. Dan R. Ghica
    Regular-Language Semantics for a Call-by-Value Programming Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  14. Robert D. Tennent, Dan R. Ghica
    Abstract Models of Storage. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:1/2, pp:119-129 [Journal]
  15. Dan R. Ghica, Guy McCusker
    The regular-language semantics of second-order idealized ALGOL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:309, n:1-3, pp:469-502 [Journal]
  16. Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong
    Syntactic control of concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:350, n:2-3, pp:234-251 [Journal]

  17. On the Compositionality of Round Abstraction. [Citation Graph (, )][DBLP]


  18. Applications of Game Semantics: From Program Analysis to Hardware Synthesis. [Citation Graph (, )][DBLP]


  19. Clipping: A Semantics-Directed Syntactic Approximation. [Citation Graph (, )][DBLP]


  20. Game-based safety checking with Mage. [Citation Graph (, )][DBLP]


  21. Compositional Predicate Abstraction from Game Semantics. [Citation Graph (, )][DBLP]


  22. On-the-Fly Techniques for Game-Based Software Model Checking. [Citation Graph (, )][DBLP]


  23. Foreword for special issue of APAL for GaLoP 2005. [Citation Graph (, )][DBLP]


  24. Angelic semantics of fine-grained concurrency. [Citation Graph (, )][DBLP]


  25. Foreword. [Citation Graph (, )][DBLP]


  26. Function Interface Models for Hardware Compilation: Types, Signatures, Protocols [Citation Graph (, )][DBLP]


Search in 0.490secs, Finished in 0.491secs
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