| Publication | Date of Publication | Type |
|---|
| Closing the performance gap between doubles and rationals for octagons | 2023-05-26 | Paper |
| Compact Difference Bound Matrices | 2022-12-09 | Paper |
| Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic | 2022-10-13 | Paper |
| Reducing bit-vector polynomials to SAT using Gröbner bases | 2021-04-07 | Paper |
| Incremental closure for systems of two variables per inequality | 2019-03-26 | Paper |
| Inferring non-suspension conditions for logic programs with dynamic scheduling | 2017-07-12 | Paper |
| Partial evaluation of string obfuscations for Java malware detection | 2017-02-14 | Paper |
| From MinX to MinC: semantics-driven decompilation of recursive datatypes | 2016-10-24 | Paper |
| Range and set abstraction using SAT | 2016-06-17 | Paper |
| Quadtrees as an abstract domain | 2016-06-17 | Paper |
| Abstracting numeric constraints with Boolean functions | 2016-06-16 | Paper |
| Simple and Efficient Algorithms for Octagons | 2016-02-26 | Paper |
| Partial Evaluation for Java Malware Detection | 2015-10-02 | Paper |
| Semantics for Prolog with Cut – Revisited | 2014-07-24 | Paper |
| Abstract interpretation of microcontroller code: intervals meet congruences | 2014-04-02 | Paper |
| Transfer function synthesis without quantifier elimination | 2012-09-25 | Paper |
| Mutual Exclusion by Interpolation | 2012-07-20 | Paper |
| A pearl on SAT and SMT solving in Prolog | 2012-06-25 | Paper |
| The two variable per inequality abstract domain | 2012-01-13 | Paper |
| RedAlert: Determinacy inference for Prolog | 2011-08-16 | Paper |
| Transfer Function Synthesis without Quantifier Elimination | 2011-05-19 | Paper |
| Analyzing String Buffers in C | 2011-05-06 | Paper |
| Two Variables per Linear Inequality as an Abstract Domain | 2011-03-04 | Paper |
| Automatic Abstraction for Intervals Using Boolean Formulae | 2010-10-01 | Paper |
| A Pearl on SAT Solving in Prolog | 2010-05-04 | Paper |
| Automatic Abstraction for Congruences | 2010-01-14 | Paper |
| Logahedra: A New Weakly Relational Domain | 2009-12-01 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Taming the Wrapping of Integer Arithmetic | 2009-03-03 | Paper |
| Inferring Congruence Equations Using SAT | 2008-07-15 | Paper |
| Widening Polyhedra with Landmarks | 2008-05-06 | Paper |
| Detecting Determinacy in Prolog Programs | 2008-03-11 | Paper |
| Collapsing Closures | 2008-03-11 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| Lazy Set-Sharing Analysis | 2007-05-02 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Static Analysis | 2006-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472914 | 2006-06-19 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Computing convex hulls with a linear solver | 2005-04-29 | Paper |
| Convex hull of planarh-polyhedra | 2004-12-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736508 | 2004-08-09 | Paper |
| Efficient groundness analysis in Prolog | 2004-03-01 | Paper |
| A backward analysis for constraint logic programs | 2004-03-01 | Paper |
| Three optimisations for sharing | 2004-03-01 | Paper |
| Verifying termination and error-freedom of logic programs with block declarations | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417885 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411952 | 2003-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2757844 | 2001-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723918 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723920 | 2001-07-08 | Paper |
| Pair-sharing over rational trees | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518882 | 2000-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518879 | 2000-12-03 | Paper |
| A simple polynomial groundness analysis for logic programs | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944867 | 2000-08-28 | Paper |
