Dan R. Ghica

	2009
23		Adam Bakewell, Dan R. Ghica: Compositional Predicate Abstraction from Game Semantics. TACAS 2009: 62-76
22		Dan R. Ghica: Function Interface Models for Hardware Compilation: Types, Signatures, Protocols CoRR abs/0907.0749: (2009)
	2008
21		Adam Bakewell, Dan R. Ghica: On-the-Fly Techniques for Game-Based Software Model Checking. TACAS 2008: 78-92
20		Guy McCusker, Dan R. Ghica: Foreword for special issue of APAL for GaLoP 2005. Ann. Pure Appl. Logic 151(2-3): 69 (2008)
19		Dan R. Ghica, Andrzej S. Murawski: Angelic semantics of fine-grained concurrency. Ann. Pure Appl. Logic 151(2-3): 89-114 (2008)
	2007
18		Dan R. Ghica: Geometry of synthesis: a structured approach to VLSI design. POPL 2007: 363-375
17		Adam Bakewell, Dan R. Ghica: Game-based safety checking with Mage. SAVCBS 2007: 85-87
	2006
16		Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic: A Counterexample-Guided Refinement Tool for Open Procedural Programs. SPIN 2006: 288-292
15		Dan R. Ghica, Andrzej S. Murawski: Compositional Model Extraction for Higher-Order Concurrent Programs. TACAS 2006: 303-317
14		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		Dan R. Ghica: Slot games: a quantitative model of computation. POPL 2005: 85-97
10		Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic: Data-Abstraction Refinement: A Game Semantic Approach. SAS 2005: 102-117
	2004
9		Dan R. Ghica: Semantical Analysis of Specification Logic, 3: An Operational Approach. ESOP 2004: 264-278
8		Dan R. Ghica, Andrzej S. Murawski: Angelic Semantics of Fine-Grained Concurrency. FoSSaCS 2004: 211-225
7		Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong: Syntactic Control of Concurrency. ICALP 2004: 683-694
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. LICS 2004: 150-159
5		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		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		Dan R. Ghica: Regular-Language Semantics for a Call-by-Value Programming Language. Electr. Notes Theor. Comput. Sci. 45: (2001)
	2000
2		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)

Coauthor Index

1	Samson Abramsky	[5] [6]
2	Adam Bakewell	[17] [21] [23]
3	Aleksandar Dimovski	[10] [12] [16]
4	Ranko Lazic (R. S. Lazic)	[10] [12] [16]
5	Guy McCusker	[2] [4] [13] [20]
6	Andrzej S. Murawski	[5] [6] [7] [8] [14] [15] [19]
7	C.-H. Luke Ong	[5] [6] [7] [14]
8	Ian D. B. Stark	[6]
9	Robert D. Tennent	[1]

Colors in the list of coauthors