| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dan R. Ghica, Nikos Tzevelekos |
A System-Level Semantics  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dan R. Ghica |
Function interface models for hardware compilation. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Alex Smith |
Geometry of synthesis III: resource management through type inference. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Alex Smith, Satnam Singh |
Geometry of synthesis iv: compiling affine recursion into static hardware. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Mohamed N. Menaa |
Synchronous Game Semantics via Round Abstraction. |
FOSSACS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Alex Smith |
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Russ Harmer |
Foreword. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic |
Data-abstraction refinement: a game semantic approach. |
STTT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Mohamed N. Menaa |
On the Compositionality of Round Abstraction. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
Function Interface Models for Hardware Compilation: Types, Signatures, Protocols |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Adam Bakewell, Dan R. Ghica |
Compositional Predicate Abstraction from Game Semantics. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
Applications of Game Semantics: From Program Analysis to Hardware Synthesis. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Adam Bakewell |
Clipping: A Semantics-Directed Syntactic Approximation. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy McCusker, Dan R. Ghica |
Foreword for special issue of APAL for GaLoP 2005. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Andrzej S. Murawski |
Angelic semantics of fine-grained concurrency. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Bakewell, Dan R. Ghica |
On-the-Fly Techniques for Game-Based Software Model Checking. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
Geometry of synthesis: a structured approach to VLSI design. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
syntactic control of interference, synthesis, game semantics, geometry of interaction |
| 1 | Adam Bakewell, Dan R. Ghica |
Game-based safety checking with Mage. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
game models, symbolic automata, refinement, software model checking, compositional verification, data approximation |
| 1 | Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong |
Syntactic control of concurrency. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Andrzej S. Murawski |
Compositional Model Extraction for Higher-Order Concurrent Programs. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic |
A Counterexample-Guided Refinement Tool for Open Procedural Programs. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
CSP, software model checking, game semantics, abstraction refinement, FDR |
| 1 | Dan R. Ghica, Guy McCusker (eds.) |
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 |
DBLP BibTeX RDF |
|
| 1 | Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic |
Abstraction-refinement for game-based model checking. |
GALOP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Dan R. Ghica |
Slot games: a quantitative model of computation. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
algol, game semantics, quantitative analysis |
| 1 | Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic |
Data-Abstraction Refinement: A Game Semantic Approach. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong |
Applying Game Semantics to Compositional Software Modeling and Verification. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong |
Syntactic Control of Concurrency. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Andrzej S. Murawski |
Angelic Semantics of Fine-Grained Concurrency. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
Semantical Analysis of Specification Logic, 3: An Operational Approach. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Guy McCusker |
The regular-language semantics of second-order idealized ALGOL. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
Regular-Language Semantics for a Call-by-Value Programming Language. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert D. Tennent, Dan R. Ghica |
Abstract Models of Storage. |
Higher-Order and Symbolic Computation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica, Guy McCusker |
Reasoning about Idealized ALGOL Using Regular Languages. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
ALGOL-like languages, regular languages, Game semantics |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")