| Publication | Date of Publication | Type |
|---|
| String Diagrams for $\lambda$-calculi and Functional Computation | 2023-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5079763 | 2022-05-28 | Paper |
| String diagrams for non-strict monoidal categories | 2022-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5021229 | 2022-01-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384925 | 2021-12-17 | Paper |
| The Geometry of Computation-Graph Abstraction | 2021-01-20 | Paper |
| Diagrammatic Semantics for Digital Circuits. | 2020-05-26 | Paper |
| The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5216413 | 2020-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208778 | 2020-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4972738 | 2019-11-26 | Paper |
| Latent semantic analysis of game models using LSTM | 2019-06-20 | Paper |
| A functional perspective on machine learning via programmable induction and abduction | 2018-07-09 | Paper |
| Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes | 2017-08-31 | Paper |
| Slot games | 2017-07-14 | Paper |
| Abstract Machines for Game Semantics, Revisited | 2017-07-03 | Paper |
| Krivine nets | 2016-09-29 | Paper |
| Geometry of Synthesis II: From Games to Delay-Insensitive Circuits | 2016-07-08 | Paper |
| Game Semantics in the Nominal Model | 2016-07-08 | Paper |
| A System-Level Game Semantics | 2016-07-08 | Paper |
| Geometry of synthesis iv | 2015-03-05 | Paper |
| Geometry of synthesis | 2014-09-12 | Paper |
| Bounded Linear Types in a Resource Semiring | 2014-04-16 | Paper |
| Geometry of synthesis III | 2014-04-10 | Paper |
| Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits | 2013-05-28 | Paper |
| Regular-Language Semantics for a Call-by-Value Programming Language | 2013-04-26 | Paper |
| Synchronous Game Semantics via Round Abstraction | 2011-05-19 | Paper |
| On the Compositionality of Round Abstraction | 2010-08-31 | Paper |
| Compositional Predicate Abstraction from Game Semantics | 2009-03-31 | Paper |
| On-the-Fly Techniques for Game-Based Software Model Checking | 2008-04-11 | Paper |
| Angelic semantics of fine-grained concurrency | 2008-03-06 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Static Analysis | 2006-10-31 | Paper |
| The regular-language semantics of second-order idealized ALGOL | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754137 | 2001-12-06 | Paper |
| Abstract models of storage | 2000-06-04 | Paper |
| A Fully Compositional Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics | 0001-01-03 | Paper |
| Rewriting Modulo Traced Comonoid Structure | 0001-01-03 | Paper |
