| Publication | Date of Publication | Type |
|---|
| A categorical interpretation of Landin's correspondence principle | 2023-04-28 | Paper |
| Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks | 2018-08-22 | Paper |
| Combining Model Checking and Data-Flow Analysis | 2018-07-20 | Paper |
| Finite-Length MMSE Tomlinson–Harashima Precoding for Frequency Selective Vector Channels | 2018-06-12 | Paper |
| Abstract Interpretation From a Denotational-semantics Perspective | 2016-05-10 | Paper |
| Guards, Failure, and Partiality: Dijkstra’s Guarded-Command Language Formulated Topologically | 2016-03-23 | Paper |
| Extracting Program Logics From Abstract Interpretations Defined by Logical Relations | 2015-07-10 | Paper |
| Inverse-limit and topological aspects of abstract interpretation | 2012-05-30 | Paper |
| An Action Semantics Based on Two Combinators | 2009-10-22 | Paper |
| Abstract Interpretation from a Topological Perspective | 2009-08-18 | Paper |
| Underapproximating Predicate Transformers | 2009-03-12 | Paper |
| Comparing Completeness Properties of Static Analyses and Their Logics | 2008-05-06 | Paper |
| Internal and External Logics of Abstract Interpretations | 2008-04-04 | Paper |
| State-transition machines for lambda-calculus expressions | 2007-12-17 | Paper |
| State-transition machines, revisited | 2007-12-17 | Paper |
| A calculus of logical relations for over- and underapproximating static analyses | 2007-01-22 | Paper |
| Static Analysis | 2005-08-24 | Paper |
| A domain equation for refinement of partial systems | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414733 | 2003-07-27 | Paper |
| Polymorphic lambda calculus and subtyping. | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763694 | 2002-01-22 | Paper |
| Stackability in the simply-typed call-by-value lambda calculus | 2000-07-05 | Paper |
| Induction, domains, calculi: Strachey's contributions to programming-language engineering | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222934 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365788 | 1998-03-02 | Paper |
| Full sign-invertibility and symplectic matrices | 1996-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4318862 | 1995-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038657 | 1993-05-18 | Paper |
| Category-sorted algebra-based action semantics | 1990-01-01 | Paper |
| Detecting stack-based environments in denotational definitions | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3730004 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3746867 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758891 | 1986-01-01 | Paper |
| Detecting global variables in denotational specifications | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3336739 | 1984-01-01 | Paper |
| Approximation properties of abstract data types | 1983-01-01 | Paper |
