The SCEAS System
| |||||||

## Search the dblp DataBase
Dan R. Ghica:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Dan R. Ghica
**Semantical Analysis of Specification Logic, 3: An Operational Approach.**[Citation Graph (0, 0)][DBLP] ESOP, 2004, pp:264-278 [Conf] - Dan R. Ghica, Andrzej S. Murawski
**Angelic Semantics of Fine-Grained Concurrency.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2004, pp:211-225 [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] - Dan R. Ghica, Guy McCusker
**Reasoning about Idealized ALGOL Using Regular Languages.**[Citation Graph (0, 0)][DBLP] ICALP, 2000, pp:103-115 [Conf] - 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] - 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] - Dan R. Ghica
**Slot games: a quantitative model of computation.**[Citation Graph (0, 0)][DBLP] POPL, 2005, pp:85-97 [Conf] - Dan R. Ghica
**Geometry of synthesis: a structured approach to VLSI design.**[Citation Graph (0, 0)][DBLP] POPL, 2007, pp:363-375 [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] - 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] - 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] - 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] - 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] - Dan R. Ghica, Guy McCusker
**The regular-language semantics of second-order idealized A**[Citation Graph (0, 0)][DBLP]_{LGOL}. Theor. Comput. Sci., 2003, v:309, n:1-3, pp:469-502 [Journal] - 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] **On the Compositionality of Round Abstraction.**[Citation Graph (, )][DBLP]**Applications of Game Semantics: From Program Analysis to Hardware Synthesis.**[Citation Graph (, )][DBLP]**Clipping: A Semantics-Directed Syntactic Approximation.**[Citation Graph (, )][DBLP]**Game-based safety checking with Mage.**[Citation Graph (, )][DBLP]**Compositional Predicate Abstraction from Game Semantics.**[Citation Graph (, )][DBLP]**On-the-Fly Techniques for Game-Based Software Model Checking.**[Citation Graph (, )][DBLP]**Foreword for special issue of APAL for GaLoP 2005.**[Citation Graph (, )][DBLP]**Angelic semantics of fine-grained concurrency.**[Citation Graph (, )][DBLP]**Foreword.**[Citation Graph (, )][DBLP]**Function Interface Models for Hardware Compilation: Types, Signatures, Protocols**[Citation Graph (, )][DBLP]
Search in 0.490secs, Finished in 0.491secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |