| Publication | Date of Publication | Type |
|---|
| Principles of Abstract Interpretation | 2023-08-31 | Paper |
| Cache behavior prediction by abstract interpretation | 2022-02-16 | Paper |
| Book review of: K. D. Lee, Foundations of programming languages | 2022-01-11 | Paper |
| A semantics for procedure local heaps and its abstractions | 2017-07-14 | Paper |
| Logical characterizations of heap abstractions | 2017-07-12 | Paper |
| Static Timing Analysis – What is Special? | 2016-03-23 | Paper |
| Toward Compact Abstractions for Processor Pipelines | 2015-11-04 | Paper |
| Harald Ganzinger’s Legacy: Contributions to Logics and Programming | 2013-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904159 | 2013-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3092707 | 2011-09-20 | Paper |
| Compiler Design | 2011-06-23 | Paper |
| Compiler Design | 2011-02-14 | Paper |
| Compiler Design | 2010-09-28 | Paper |
| Übersetzerbau | 2010-01-21 | Paper |
| Polynomial Precise Interval Analysis Revisited | 2009-11-12 | Paper |
| Übersetzerbau | 2009-06-03 | Paper |
| Static Analysis of Dynamic Communication Systems by Partner Abstraction | 2009-03-03 | Paper |
| Abstract Interpretation with Applications to Timing Validation | 2008-07-15 | Paper |
| Timing predictability of cache replacement policies | 2007-11-14 | Paper |
| Model Checking Software | 2007-09-28 | Paper |
| Übersetzerbau | 2007-07-16 | Paper |
| Formal Methods for Components and Objects | 2006-11-01 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-25 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474148 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471671 | 2004-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417895 | 2003-07-30 | Paper |
| Cache behavior prediction by abstract interpretation | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4241049 | 1999-09-05 | Paper |
| A logic-based approach to program flow analysis | 1998-11-08 | Paper |
| A functional description of TEX's formula layout | 1998-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4337597 | 1997-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4855367 | 1995-11-09 | Paper |
| Tree automata for code selection | 1995-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281624 | 1994-03-10 | Paper |
| Compiler construction. Theory, design, generation | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484344 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3484369 | 1989-01-01 | Paper |
| Attribute (re)evaluation in OPTRAN | 1988-01-01 | Paper |
| A Space-Efficient Optimization of Call-by-Need | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735046 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3332233 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3315030 | 1982-01-01 | Paper |
| Constructors for composed objects | 1982-01-01 | Paper |
| A modified tree-to-tree correction problem | 1981-01-01 | Paper |
| Computation and use of data flow information in optimizing compilers | 1979-01-01 | Paper |
| Counter-one-pass features in one-pass compilation: A formalization using attribute grammars | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138064 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139634 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4070309 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111086 | 1975-01-01 | Paper |
