Dan R. Ghica

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
i3		Olle Fredriksson, Dan R. Ghica: Abstract machines for game semantics, revisited. CoRR abs/1304.4159 (2013)
	2012
j11		Murdoch Gabbay, Dan R. Ghica: Game Semantics in the Nominal Model. Electr. Notes Theor. Comput. Sci. 286: 173-189 (2012)
j10		Dan R. Ghica, Nikos Tzevelekos: A System-Level Game Semantics. Electr. Notes Theor. Comput. Sci. 286: 191-211 (2012)
c24		Dan R. Ghica: The Geometry of Synthesis - How to Make Hardware Out of Software. MPC 2012: 23-24
c23		Dan R. Ghica, Zaid Al-Zobaidi: Coherent Minimisation: Towards efficient tamper-proof compilation. ICE 2012: 83-98
i2		Dan R. Ghica, Nikos Tzevelekos: A System-Level Semantics. CoRR abs/1201.4462 (2012)
	2011
c22		Dan R. Ghica, Mohamed N. Menaa: Synchronous Game Semantics via Round Abstraction. FOSSACS 2011: 350-364
c21		Dan R. Ghica, Alex Smith, Satnam Singh: Geometry of synthesis iv: compiling affine recursion into static hardware. ICFP 2011: 221-233
c20		Dan R. Ghica: Function interface models for hardware compilation. MEMOCODE 2011: 131-142
c19		Dan R. Ghica, Alex Smith: Geometry of synthesis III: resource management through type inference. POPL 2011: 345-356
	2010
j9		Dan R. Ghica, Russ Harmer: Foreword. Ann. Pure Appl. Logic 161(5): 617 (2010)
j8		Dan R. Ghica, Alex Smith: Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. Electr. Notes Theor. Comput. Sci. 265: 301-324 (2010)
j7		Adam Bakewell, Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic: Data-abstraction refinement: a game semantic approach. STTT 12(5): 373-389 (2010)
c18		Dan R. Ghica, Mohamed N. Menaa: On the Compositionality of Round Abstraction. CONCUR 2010: 417-431
	2009
c17		Dan R. Ghica: Applications of Game Semantics: From Program Analysis to Hardware Synthesis. LICS 2009: 17-26
c16		Dan R. Ghica, Adam Bakewell: Clipping: A Semantics-Directed Syntactic Approximation. LICS 2009: 189-198
c15		Adam Bakewell, Dan R. Ghica: Compositional Predicate Abstraction from Game Semantics. TACAS 2009: 62-76
i1		Dan R. Ghica: Function Interface Models for Hardware Compilation: Types, Signatures, Protocols. CoRR abs/0907.0749 (2009)
	2008
j6		Guy McCusker, Dan R. Ghica: Foreword for special issue of APAL for GaLoP 2005. Ann. Pure Appl. Logic 151(2-3): 69 (2008)
j5		Dan R. Ghica, Andrzej S. Murawski: Angelic semantics of fine-grained concurrency. Ann. Pure Appl. Logic 151(2-3): 89-114 (2008)
c14		Adam Bakewell, Dan R. Ghica: On-the-Fly Techniques for Game-Based Software Model Checking. TACAS 2008: 78-92
	2007
c13		Dan R. Ghica: Geometry of synthesis: a structured approach to VLSI design. POPL 2007: 363-375
c12		Adam Bakewell, Dan R. Ghica: Game-based safety checking with Mage. SAVCBS 2007: 85-87
	2006
j4		Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong: Syntactic control of concurrency. Theor. Comput. Sci. 350(2-3): 234-251 (2006)
c11		Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic: A Counterexample-Guided Refinement Tool for Open Procedural Programs. SPIN 2006: 288-292
c10		Dan R. Ghica, Andrzej S. Murawski: Compositional Model Extraction for Higher-Order Concurrent Programs. TACAS 2006: 303-317
	2005
c9		Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic: Abstraction-refinement for game-based model checking. GALOP 2005: 139
c8		Dan R. Ghica: Slot games: a quantitative model of computation. POPL 2005: 85-97
c7		Aleksandar Dimovski, Dan R. Ghica, Ranko Lazic: Data-Abstraction Refinement: A Game Semantic Approach. SAS 2005: 102-117
e1		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. 2005
	2004
c6		Dan R. Ghica: Semantical Analysis of Specification Logic, 3: An Operational Approach. ESOP 2004: 264-278
c5		Dan R. Ghica, Andrzej S. Murawski: Angelic Semantics of Fine-Grained Concurrency. FoSSaCS 2004: 211-225
c4		Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong: Syntactic Control of Concurrency. ICALP 2004: 683-694
c3		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
c2		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
j3		Dan R. Ghica, Guy McCusker: The regular-language semantics of second-order idealized A_LGOL. Theor. Comput. Sci. 309(1-3): 469-502 (2003)
	2001
j2		Dan R. Ghica: Regular-Language Semantics for a Call-by-Value Programming Language. Electr. Notes Theor. Comput. Sci. 45: 106-118 (2001)
	2000
j1		Robert D. Tennent, Dan R. Ghica: Abstract Models of Storage. Higher-Order and Symbolic Computation 13(1/2): 119-129 (2000)
c1		Dan R. Ghica, Guy McCusker: Reasoning about Idealized ALGOL Using Regular Languages. ICALP 2000: 103-115

Coauthor Index

1	Samson Abramsky	[c3] [c2]
2	Zaid Al-Zobaidi	[c23]
3	Adam Bakewell	[j7] [c16] [c15] [c14] [c12]
4	Aleksandar Dimovski	[j7] [c11] [c9] [c7]
5	Olle Fredriksson	[i3]
6	Murdoch James Gabbay (Murdoch Gabbay)	[j11]
7	Russell Harmer (Russ Harmer)	[j9]
8	Ranko Lazic (R. S. Lazic)	[j7] [c11] [c9] [c7]
9	Guy McCusker	[j6] [e1] [j3] [c1]
10	Mohamed N. Menaa	[c22] [c18]
11	Andrzej S. Murawski	[j5] [j4] [c10] [c5] [c4] [c3] [c2]
12	C.-H. Luke Ong	[j4] [c4] [c3] [c2]
13	Satnam Singh	[c21]
14	Alex Smith	[c21] [c19] [j8]
15	Ian D. B. Stark	[c3]
16	Robert D. Tennent	[j1]
17	Nikos Tzevelekos	[j10] [i2]

Colors in the list of coauthors

Last update Tue May 21 15:15:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page