| Geometry of synthesis: a structured approach to VLSI design DR Ghica Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007 | 136 | 2007 |
| Bounded linear types in a resource semiring DR Ghica, AI Smith European Symposium on Programming Languages and Systems, 331-350, 2014 | 134 | 2014 |
| 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 | 106 | 2004 |
| 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 | 99 | 2004 |
| Reasoning about Idealized Algol using regular languages DR Ghica, G McCusker International Colloquium on Automata, Languages, and Programming, 103-115, 2000 | 93 | 2000 |
| The regular-language semantics of second-order Idealized Algol DR Ghica, G McCusker Theoretical Computer Science 309 (1-3), 469-502, 2003 | 75 | 2003 |
| Angelic semantics of fine-grained concurrency DR Ghica, AS Murawski International Conference on Foundations of Software Science and Computation …, 2004 | 71 | 2004 |
| Angelic semantics of fine-grained concurrency DR Ghica, AS Murawski Annals of Pure and Applied Logic 151 (2-3), 89-114, 2008 | 68 | 2008 |
| 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 | 60 | 1995 |
| A system-level game semantics DR Ghica, N Tzevelekos Electronic Notes in Theoretical Computer Science 286, 191-211, 2012 | 54 | 2012 |
| 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 | 52 | 2011 |
| Geometry of synthesis III: resource management through type inference DR Ghica, A Smith ACM SIGPLAN Notices 46 (1), 345-356, 2011 | 47 | 2011 |
| Categorical semantics of digital circuits DR Ghica, A Jung 2016 Formal Methods in Computer-Aided Design (FMCAD), 41-48, 2016 | 46 | 2016 |
| Data-abstraction refinement: A game semantic approach A Dimovski, DR Ghica, R Lazić International Static Analysis Symposium, 102-117, 2005 | 44 | 2005 |
| Diagrammatic semantics for digital circuits DR Ghica, A Jung, A Lopez arXiv preprint arXiv:1703.10247, 2017 | 43 | 2017 |
| 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 | 43 | 2009 |
| Slot games: a quantitative model of computation DR Ghica ACM SIGPLAN Notices 40 (1), 85-97, 2005 | 43 | 2005 |
| Compositional model extraction for higher-order concurrent programs DR Ghica, AS Murawski International Conference on Tools and Algorithms for the Construction and …, 2006 | 39 | 2006 |
| Syntactic control of concurrency DR Ghica, AS Murawski, CHL Ong Theoretical Computer Science 350 (2-3), 234-251, 2006 | 38 | 2006 |
| Geometry of Synthesis II: From games to delay-insensitive circuits DR Ghica, A Smith Electronic Notes in Theoretical Computer Science 265, 301-324, 2010 | 36 | 2010 |
