Software engineering: a motivation. - Dan R. Ghica (XRDS, 1996)

Reasoning about Idealized ALGOL Using Regular Languages. - Dan R. Ghica; Guy McCusker (ICALP, 2000)

Abstract Models of Storage. - Robert D. Tennent; Dan R. Ghica (High. Order Symb. Comput., 2000)

Regular-Language Semantics for a Call-by-Value Programming Language. - Dan R. Ghica (MFPS, 2001)

The regular-language semantics of second-order idealized ALGOL. - Dan R. Ghica; Guy McCusker (Theor. Comput. Sci., 2003)

Semantical Analysis of Specification Logic, 3: An Operational Approach. - Dan R. Ghica (ESOP, 2004)

Nominal Games and Full Abstraction for the Nu-Calculus. - Samson Abramsky; Dan R. Ghica; Andrzej S. Murawski; C.-H. Luke Ong; Ian David Bede Stark (LICS, 2004)

Applying Game Semantics to Compositional Software Modeling and Verification. - Samson Abramsky; Dan R. Ghica; Andrzej S. Murawski; C.-H. Luke Ong (TACAS, 2004)

Abstraction-refinement for game-based model checking. - Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (GALOP@ETAPS, 2005)

Slot games: a quantitative model of computation. - Dan R. Ghica (POPL, 2005)

Data-Abstraction Refinement: A Game Semantic Approach. - Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (SAS, 2005)

A Counterexample-Guided Refinement Tool for Open Procedural Programs. - Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (SPIN, 2006)

Compositional Model Extraction for Higher-Order Concurrent Programs. - Dan R. Ghica; Andrzej S. Murawski (TACAS, 2006)

Syntactic control of concurrency. - Dan R. Ghica; Andrzej S. Murawski; C.-H. Luke Ong (Theor. Comput. Sci., 2006)

Geometry of synthesis: a structured approach to VLSI design. - Dan R. Ghica (POPL, 2007)

Game-based safety checking with Mage. - Adam Bakewell; Dan R. Ghica (SAVCBS, 2007)

On-the-Fly Techniques for Game-Based Software Model Checking. - Adam Bakewell; Dan R. Ghica (TACAS, 2008)

Angelic semantics of fine-grained concurrency. - Dan R. Ghica; Andrzej S. Murawski (Ann. Pure Appl. Log., 2008)

Foreword for special issue of APAL for GaLoP 2005. - Guy McCusker; Dan R. Ghica (Ann. Pure Appl. Log., 2008)

Applications of Game Semantics: From Program Analysis to Hardware Synthesis. - Dan R. Ghica (LICS, 2009)

Clipping: A Semantics-Directed Syntactic Approximation. - Dan R. Ghica; Adam Bakewell (LICS, 2009)

Compositional Predicate Abstraction from Game Semantics. - Adam Bakewell; Dan R. Ghica (TACAS, 2009)

Function Interface Models for Hardware Compilation: Types, Signatures, Protocols - Dan R. Ghica (CoRR, 2009)

On the Compositionality of Round Abstraction. - Dan R. Ghica; Mohamed Nabih Menaa (CONCUR, 2010)

Foreword. - Dan R. Ghica; Russ Harmer (Ann. Pure Appl. Log., 2010)

Geometry of Synthesis II: From Games to Delay-Insensitive Circuits. - Dan R. Ghica; Alex I. Smith (MFPS, 2010)

Data-abstraction refinement: a game semantic approach. - Adam Bakewell; Aleksandar S. Dimovski; Dan R. Ghica; Ranko Lazic 001 (Int. J. Softw. Tools Technol. Transf., 2010)

Synchronous Game Semantics via Round Abstraction. - Dan R. Ghica; Mohamed Nabih Menaa (FoSSaCS, 2011)

Geometry of synthesis iv: compiling affine recursion into static hardware. - Dan R. Ghica; Alex I. Smith; Satnam Singh (ICFP, 2011)

Function interface models for hardware compilation. - Dan R. Ghica (MEMOCODE, 2011)

Geometry of synthesis III: resource management through type inference. - Dan R. Ghica; Alex I. Smith (POPL, 2011)

The Geometry of Synthesis - How to Make Hardware Out of Software. - Dan R. Ghica (MPC, 2012)

Seamless Distributed Computing from the Geometry of Interaction. - Olle Fredriksson; Dan R. Ghica (TGC, 2012)

A System-Level Semantics - Dan R. Ghica; Nikos Tzevelekos (CoRR, 2012)

Coherent Minimisation: Towards efficient tamper-proof compilation - Dan R. Ghica; Zaid Al-Zobaidi (ICE, 2012)

Game Semantics in the Nominal Model. - Murdoch Gabbay; Dan R. Ghica (MFPS, 2012)

A System-Level Game Semantics. - Dan R. Ghica; Nikos Tzevelekos (MFPS, 2012)

Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits. - Dan R. Ghica (Computation, Logic, Games, and Quantum Foundations, 2013)

Abstract Machines for Game Semantics, Revisited. - Olle Fredriksson; Dan R. Ghica (LICS, 2013)

Foreword. - Samson Abramsky; Dan R. Ghica (Ann. Pure Appl. Log., 2013)

From bounded affine types to automatic timing analysis. - Dan R. Ghica; Alex I. Smith (CoRR, 2013)

Bounded Linear Types in a Resource Semiring. - Dan R. Ghica; Alex I. Smith (ESOP, 2014)

Compiling Higher Order Functional Programs to Composable Digital Hardware. - Eduardo Aguilar-Pelaez; Samuel Bayliss; Alex I. Smith; Felix Winterstein; Dan R. Ghica; David B. Thomas; George A. Constantinides (FCCM, 2014)

Krivine nets: a semantic foundation for distributed execution. - Olle Fredriksson; Dan R. Ghica (ICFP, 2014)

Towards native higher-order remote procedure calls. - Olle Fredriksson; Dan R. Ghica; Bertram Wheen (IFL, 2014)

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. - Murdoch James Gabbay; Dan R. Ghica; Daniela Petrisan (CSL, 2015)

Transparent linking of compiled software and synthesized hardware. - David B. Thomas; Shane T. Fleming; George A. Constantinides; Dan R. Ghica (DATE, 2015)

System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System. - Shane T. Fleming; David B. Thomas; George A. Constantinides; Dan R. Ghica (FPGA, 2015)

PushPush: Seamless integration of hardware and software objects via function calls over AXI. - Shane T. Fleming; Ivan Beretta; David B. Thomas; George A. Constantinides; Dan R. Ghica (FPL, 2015)

Preface. - Dan R. Ghica (MFPS, 2015)

Categorical semantics of digital circuits. - Dan R. Ghica; Achim Jung (FMCAD, 2016)

Diagrammatic Semantics for Digital Circuits. - Dan R. Ghica; Achim Jung; Aliaume Lopez (CSL, 2017)

The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. - Koko Muroya; Dan R. Ghica (CSL, 2017)

A structural and nominal syntax for diagrams. - Dan R. Ghica; Aliaume Lopez (QPL, 2017)

On the Learnability of Programming Language Semantics. - Dan R. Ghica; Khulood AlYahya (ICE@DisCoTec, 2017)

Abductive functional programming, a semantic approach. - Koko Muroya; Steven Cheung; Dan R. Ghica (CoRR, 2017)

Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. - Koko Muroya; Dan R. Ghica (WPTE@FSCD, 2017)

A Functional Perspective on Machine Learning via Programmable Induction and Abduction. - Steven Cheung; Victor Darvariu; Dan R. Ghica; Koko Muroya; Reuben N. S. Rowe (FLOPS, 2018)

The Geometry of Computation-Graph Abstraction. - Koko Muroya; Steven W. T. Cheung; Dan R. Ghica (LICS, 2018)

Diagrammatic methods for linear and nonlinear systems (NII Shonan Meeting 2018-18). - Dan R. Ghica; Masahito Hasegawa; Pawel Sobocinski 002 (NII Shonan Meet. Rep., 2018)

Local Reasoning for Robust Observational Equivalence. - Dan R. Ghica; Koko Muroya; Todd Waugh Ambridge (CoRR, 2019)

The far side of the cube. - Dan R. Ghica (CoRR, 2019)

Latent semantic analysis of game models using LSTM. - Dan R. Ghica; Khulood AlYahya (J. Log. Algebraic Methods Program., 2019)

The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter. - Koko Muroya; Dan R. Ghica (Log. Methods Comput. Sci., 2019)

A Constructive, Type-Theoretic Approach to Regression via Global Optimisation. - Dan R. Ghica; Todd Waugh Ambridge (CoRR, 2020)

Operational Semantics with Hierarchical Abstract Syntax Graphs. - Dan R. Ghica (TERMGRAPH@FSCD, 2020)

Global Optimisation with Constructive Reals. - Dan R. Ghica; Todd Waugh Ambridge (LICS, 2021)

Transparent Synchronous Dataflow. - Steven W. T. Cheung; Dan R. Ghica; Koko Muroya (Art Sci. Eng. Program., 2021)

Rewriting for Monoidal Closed Categories. - Mario Alvarez-Picallo; Dan R. Ghica; David Sprunger; Fabio Zanasi (FSCD, 2022)

Full abstraction for digital circuits. - Dan R. Ghica; George Kaye; David Sprunger (CoRR, 2022)

High-level effect handlers in C++. - Dan R. Ghica; Sam Lindley; Marcos Maroñas Bravo; Maciej Piróg (Proc. ACM Program. Lang., 2022)

String Diagrams for Non-Strict Monoidal Categories. - Paul W. Wilson 002; Dan R. Ghica; Fabio Zanasi (CSL, 2023)

Functorial String Diagrams for Reverse-Mode Automatic Differentiation. - Mario Alvarez-Picallo; Dan R. Ghica; David Sprunger; Fabio Zanasi (CSL, 2023)

Rewriting Modulo Traced Comonoid Structure. - Dan R. Ghica; George Kaye (FSCD, 2023)

Hierarchical string diagrams and applications. - Dan R. Ghica; Fabio Zanasi (CoRR, 2023)

Equivalence Hypergraphs: E-Graphs for Monoidal Theories. - Dan R. Ghica; Chris Barrett; Aleksei Tiurin (CoRR, 2024)

String diagrams for Strictification and Coherence. - Paul W. Wilson 002; Dan R. Ghica; Fabio Zanasi (Log. Methods Comput. Sci., 2024)

Effect Handlers for C via Coroutines. - Mario Alvarez-Picallo; Teodoro Freund; Dan R. Ghica; Sam Lindley (Proc. ACM Program. Lang., 2024)

Rewriting for Traced Monoidal Closed Categories. - Alessandro Di Giorgio 002; Dan R. Ghica; Fabio Zanasi (ICGT, 2025)

A robust graph-based approach to observational equivalence. - Dan R. Ghica; Koko Muroya; Todd Waugh Ambridge (Log. Methods Comput. Sci., 2025)

E-Graphs With Bindings. - Aleksei Tiurin; Dan R. Ghica; Nick Hu (CoRR, 2025)