| Publication | Date of Publication | Type |
|---|
| Immediate fixpoints and their use in groundness analysis | 2024-07-05 | Paper |
| Dissecting widening: separating termination from information | 2024-04-19 | Paper |
| Transformation-Enabled Precondition Inference | 2023-12-12 | Paper |
| String abstract domains and their combination | 2023-05-08 | Paper |
| Algorithm selection for dynamic symbolic execution: a preliminary study | 2022-03-23 | Paper |
| Constraint programming for dynamic symbolic execution of JavaScript | 2019-10-14 | Paper |
| Wombit: a portfolio bit-vector solver using word-level propagation | 2019-09-02 | Paper |
| An iterative approach to precondition inference using constrained Horn clauses | 2018-12-04 | Paper |
| Exploiting sparsity in difference-bound matrices | 2018-08-27 | Paper |
| Reference Abstract Domains and Applications to String Analysis | 2018-05-03 | Paper |
| A Benders decomposition approach to deciding modular linear integer arithmetic | 2017-11-15 | Paper |
| Horn clauses as an intermediate representation for program analysis and transformation | 2017-11-09 | Paper |
| A Bit-Vector Solver with Word-Level Propagation | 2016-06-27 | Paper |
| A complete refinement procedure for regular separability of context-free languages | 2016-04-01 | Paper |
| An Abstract Domain of Uninterpreted Functions | 2016-03-23 | Paper |
| Exception analysis for non-strict languages | 2015-10-07 | Paper |
| Analyzing Array Manipulating Programs by Program Transformation | 2015-10-02 | Paper |
| Truth versus information in logic programming | 2014-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5414587 | 2014-05-06 | Paper |
| Failure tabled constraint logic programming by interpolation | 2014-02-27 | Paper |
| Unbounded Model-Checking with Interpolation for Regular Language Constraints | 2013-08-05 | Paper |
| Solving Difference Constraints over Modular Arithmetic | 2013-06-14 | Paper |
| Information loss in knowledge compilation: a comparison of Boolean envelopes | 2010-09-02 | Paper |
| Automatic Abstraction for Congruences | 2010-01-14 | Paper |
| Inferring Congruence Equations Using SAT | 2008-07-15 | Paper |
| UN-KLEENE BOOLEAN EQUATION SOLVING | 2007-04-25 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736509 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414727 | 2003-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529772 | 2002-05-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4495071 | 2001-05-06 | Paper |
| Two classes of Boolean functions for dependency analysis | 2000-01-04 | Paper |
| Differential methods in logic program analysis | 1998-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217938 | 1998-11-11 | Paper |
| Difference-list transformation for Prolog | 1993-09-30 | Paper |
| Bottom-up dataflow analysis of normal logic programs | 1992-09-27 | Paper |
| Referential transparency, definiteness and unfoldability | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787457 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742761 | 1986-01-01 | Paper |
