| Publication | Date of Publication | Type |
|---|
| String diagrams for strictification and coherence | 2024-11-12 | Paper |
| Rewriting modulo traced comonoid structure | 2024-10-21 | Paper |
| The far side of the cube. An elementary introduction to game semantics | 2024-10-01 | Paper |
| Functorial string diagrams for reverse-mode automatic differentiation | 2024-09-25 | Paper |
| String diagrams for non-strict monoidal categories | 2024-09-25 | Paper |
| Rewriting for monoidal closed categories | 2024-05-27 | Paper |
| 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 |
| A structural and nominal syntax for diagrams | 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 |
| On the learnability of programming language semantics | 2020-02-17 | Paper |
| Coherent minimisation: towards efficient tamper-proof compilation | 2020-01-10 | Paper |
| The dynamic geometry of interaction machine: a token-guided graph rewriter | 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: a quantitative model of computation | 2017-07-14 | Paper |
| Abstract machines for game semantics, revisited | 2017-07-03 | Paper |
| Krivine nets: a semantic foundation for distributed execution | 2016-09-29 | Paper |
| Geometry of synthesis. II: From games to delay-insensitive circuits | 2016-07-08 | Paper |
| A system-level game semantics | 2016-07-08 | Paper |
| Game semantics in the nominal model | 2016-07-08 | Paper |
| Geometry of synthesis. IV: Compiling affine recursion into static hardware | 2015-03-05 | Paper |
| Geometry of synthesis: a structured approach to VLSI design | 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 |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Foundations of Software Science and Computation Structures | 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 | N/A | Paper |
| Rewriting Modulo Traced Comonoid Structure | N/A | Paper |
