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
1242007
Bounded linear types in a resource semiring
DR Ghica, AI Smith
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
1132014
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
992004
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
962004
Reasoning about Idealized Algol using regular languages
DR Ghica, G McCusker
International Colloquium on Automata, Languages, and Programming, 103-115, 2000
922000
The regular-language semantics of second-order idealized ALGOL
DR Ghica, G McCusker
Theoretical Computer Science 309 (1), 469-502, 2003
712003
Angelic semantics of fine-grained concurrency
DR Ghica, AS Murawski
International Conference on Foundations of Software Science and Computation …, 2004
672004
Angelic semantics of fine-grained concurrency
DR Ghica, AS Murawski
Annals of Pure and Applied Logic 151 (2-3), 89-114, 2008
662008
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
A system-level game semantics
DR Ghica, N Tzevelekos
Electronic Notes in Theoretical Computer Science 286, 191-211, 2012
482012
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
482011
Geometry of synthesis III: resource management through type inference
DR Ghica, A Smith
ACM SIGPLAN Notices 46 (1), 345-356, 2011
472011
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
42*2010
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
Slot games: A quantitative model of computation
DR Ghica
POPL '05 Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles …, 2005
402005
The dynamic geometry of interaction machine: A token-guided graph rewriter
K Muroya, DR Ghica
Logical Methods in Computer Science 15, 2019
39*2019
Compositional model extraction for higher-order concurrent programs
DR Ghica, AS Murawski
International Conference on Tools and Algorithms for the Construction and …, 2006
372006
Geometry of Synthesis II: From games to delay-insensitive circuits
DR Ghica, A Smith
Electronic Notes in Theoretical Computer Science 265, 301-324, 2010
352010
Categorical semantics of digital circuits
DR Ghica, A Jung
2016 Formal Methods in Computer-Aided Design (FMCAD), 41-48, 2016
302016
The system can't perform the operation now. Try again later.
Articles 1–20