Follow
Dan R. Ghica
Dan R. Ghica
Professor of Semantics of Programming Languages, University of Birmingham
Verified email at cs.bham.ac.uk - Homepage
Title
Cited by
Cited by
Year
Geometry of synthesis: a structured approach to VLSI design
DR Ghica
POPL '07 Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on …, 2007
1142007
Applying game semantics to compositional software modeling and verification
S Abramsky, DR Ghica, AS Murawski, CHL Ong
International Conference on Tools and Algorithms for the Construction and …, 2004
1012004
Nominal games and full abstraction for the nu-calculus
S Abramsky, DR Ghica, AS Murawski, CHL Ong, IDB Stark
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
972004
Reasoning about Idealized Algol using regular languages
DR Ghica, G McCusker
International Colloquium on Automata, Languages, and Programming, 103-115, 2000
902000
Bounded linear types in a resource semiring
DR Ghica, AI Smith
European Symposium on Programming Languages and Systems, 331-350, 2014
812014
The regular-language semantics of second-order idealized ALGOL
DR Ghica, G McCusker
Theoretical Computer Science 309 (1), 469-502, 2003
722003
Angelic semantics of fine-grained concurrency
DR Ghica, AS Murawski
International Conference on Foundations of Software Science and Computation …, 2004
662004
Angelic semantics of fine-grained concurrency
DR Ghica, AS Murawski
Annals of Pure and Applied Logic 151 (2-3), 89-114, 2008
572008
Recognition of traffic signs by artificial neural network
D Ghica, SW Lu, X Yuan
Proceedings of ICNN'95-International Conference on Neural Networks 3, 1444-1449, 1995
571995
Syntactic control of concurrency
DR Ghica, AS Murawski, CHL Ong
Theoretical Computer Science 350 (2-3), 234-251, 2006
552006
Geometry of synthesis III: resource management through type inference
DR Ghica, A Smith
ACM SIGPLAN Notices 46 (1), 345-356, 2011
442011
Geometry of synthesis IV: compiling affine recursion into static hardware
DR Ghica, A Smith, S Singh
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
432011
A system-level game semantics
DR Ghica, N Tzevelekos
Electronic Notes in Theoretical Computer Science 286, 191-211, 2012
422012
Applications of game semantics: From program analysis to hardware synthesis
DR Ghica
2009 24th Annual IEEE Symposium on Logic In Computer Science, 17-26, 2009
422009
Data-abstraction refinement: a game semantic approach
A Bakewell, A Dimovski, DR Ghica, R Lazić
International Journal on Software Tools for Technology Transfer (STTT) 12 (5 …, 2010
41*2010
Slot games: A quantitative model of computation
DR Ghica
POPL '05 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles …, 2005
382005
Compositional model extraction for higher-order concurrent programs
DR Ghica, AS Murawski
International Conference on Tools and Algorithms for the Construction and …, 2006
362006
Geometry of Synthesis II: From games to delay-insensitive circuits
DR Ghica, A Smith
Electronic Notes in Theoretical Computer Science 265, 301-324, 2010
322010
The dynamic Geometry of Interaction machine: a token-guided graph rewriter
DR Ghica, K Muroya
Logical Methods in Computer Science 15, 2019
30*2019
Regular-language semantics for a call-by-value programming language
DR Ghica
Electronic Notes in Theoretical Computer Science 45, 106-118, 2001
272001
The system can't perform the operation now. Try again later.
Articles 1–20