| 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
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
String abstract domains and their combination
Logic-Based Program Synthesis and Transformation | 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
Journal of Automated Reasoning | 2019-09-02 | Paper |
An iterative approach to precondition inference using constrained Horn clauses
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Exploiting sparsity in difference-bound matrices
| 2018-08-27 | Paper |
Reference abstract domains and applications to string analysis
Fundamenta Informaticae | 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
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A bit-vector solver with word-level propagation
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
A complete refinement procedure for regular separability of context-free languages
Theoretical Computer Science | 2016-04-01 | Paper |
An abstract domain of uninterpreted functions
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Exception analysis for non-strict languages
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming | 2015-10-07 | Paper |
Analyzing Array Manipulating Programs by Program Transformation
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Truth versus information in logic programming
Theory and Practice of Logic Programming | 2014-12-10 | Paper |
scientific article; zbMATH DE number 6292613 (Why is no real title available?)
Chicago Journal of Theoretical Computer Science | 2014-05-06 | Paper |
Failure tabled constraint logic programming by interpolation
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Unbounded model-checking with interpolation for regular language constraints
Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
Solving difference constraints over modular arithmetic
Automated Deduction – CADE-24 | 2013-06-14 | Paper |
Information loss in knowledge compilation: a comparison of Boolean envelopes
Artificial Intelligence | 2010-09-02 | Paper |
Automatic Abstraction for Congruences
Lecture Notes in Computer Science | 2010-01-14 | Paper |
Inferring Congruence Equations Using SAT
Computer Aided Verification | 2008-07-15 | Paper |
UN-KLEENE BOOLEAN EQUATION SOLVING
International Journal of Foundations of Computer Science | 2007-04-25 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2007-02-12 | Paper |
scientific article; zbMATH DE number 2085274 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 1953275 (Why is no real title available?)
| 2003-07-27 | Paper |
scientific article; zbMATH DE number 1738290 (Why is no real title available?)
| 2002-05-06 | Paper |
scientific article; zbMATH DE number 1487944 (Why is no real title available?)
| 2001-05-06 | Paper |
Two classes of Boolean functions for dependency analysis
Science of Computer Programming | 2000-01-04 | Paper |
Differential methods in logic program analysis
The Journal of Logic Programming | 1998-11-24 | Paper |
scientific article; zbMATH DE number 1222415 (Why is no real title available?)
| 1998-11-11 | Paper |
Difference-list transformation for Prolog
New Generation Computing | 1993-09-30 | Paper |
Bottom-up dataflow analysis of normal logic programs
The Journal of Logic Programming | 1992-09-27 | Paper |
Referential transparency, definiteness and unfoldability
Acta Informatica | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4050967 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 3978439 (Why is no real title available?)
| 1986-01-01 | Paper |
