2009 |
22 | EE | Adam Bakewell,
Dan R. Ghica:
Compositional Predicate Abstraction from Game Semantics.
TACAS 2009: 62-76 |
2008 |
21 | EE | Adam Bakewell,
Dan R. Ghica:
On-the-Fly Techniques for Game-Based Software Model Checking.
TACAS 2008: 78-92 |
20 | EE | Guy McCusker,
Dan R. Ghica:
Foreword for special issue of APAL for GaLoP 2005.
Ann. Pure Appl. Logic 151(2-3): 69 (2008) |
19 | EE | Dan R. Ghica,
Andrzej S. Murawski:
Angelic semantics of fine-grained concurrency.
Ann. Pure Appl. Logic 151(2-3): 89-114 (2008) |
2007 |
18 | EE | Dan R. Ghica:
Geometry of synthesis: a structured approach to VLSI design.
POPL 2007: 363-375 |
17 | EE | Adam Bakewell,
Dan R. Ghica:
Game-based safety checking with Mage.
SAVCBS 2007: 85-87 |
2006 |
16 | EE | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
A Counterexample-Guided Refinement Tool for Open Procedural Programs.
SPIN 2006: 288-292 |
15 | EE | Dan R. Ghica,
Andrzej S. Murawski:
Compositional Model Extraction for Higher-Order Concurrent Programs.
TACAS 2006: 303-317 |
14 | EE | Dan R. Ghica,
Andrzej S. Murawski,
C.-H. Luke Ong:
Syntactic control of concurrency.
Theor. Comput. Sci. 350(2-3): 234-251 (2006) |
2005 |
13 | | Dan R. Ghica,
Guy McCusker:
Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference
GALOP 2005 |
12 | | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
Abstraction-refinement for game-based model checking.
GALOP 2005: 139 |
11 | EE | Dan R. Ghica:
Slot games: a quantitative model of computation.
POPL 2005: 85-97 |
10 | EE | Aleksandar Dimovski,
Dan R. Ghica,
Ranko Lazic:
Data-Abstraction Refinement: A Game Semantic Approach.
SAS 2005: 102-117 |
2004 |
9 | EE | Dan R. Ghica:
Semantical Analysis of Specification Logic, 3: An Operational Approach.
ESOP 2004: 264-278 |
8 | EE | Dan R. Ghica,
Andrzej S. Murawski:
Angelic Semantics of Fine-Grained Concurrency.
FoSSaCS 2004: 211-225 |
7 | EE | Dan R. Ghica,
Andrzej S. Murawski,
C.-H. Luke Ong:
Syntactic Control of Concurrency.
ICALP 2004: 683-694 |
6 | EE | 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.
LICS 2004: 150-159 |
5 | EE | Samson Abramsky,
Dan R. Ghica,
Andrzej S. Murawski,
C.-H. Luke Ong:
Applying Game Semantics to Compositional Software Modeling and Verification.
TACAS 2004: 421-435 |
2003 |
4 | EE | Dan R. Ghica,
Guy McCusker:
The regular-language semantics of second-order idealized ALGOL.
Theor. Comput. Sci. 309(1-3): 469-502 (2003) |
2001 |
3 | EE | Dan R. Ghica:
Regular-Language Semantics for a Call-by-Value Programming Language.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
2000 |
2 | EE | Dan R. Ghica,
Guy McCusker:
Reasoning about Idealized ALGOL Using Regular Languages.
ICALP 2000: 103-115 |
1 | | Robert D. Tennent,
Dan R. Ghica:
Abstract Models of Storage.
Higher-Order and Symbolic Computation 13(1/2): 119-129 (2000) |