| Publication | Date of Publication | Type |
|---|
Boolean functions for finite-tree dependencies
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
A foundation of escape analysis
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
Exact join detection for convex polyhedra and other numerical abstractions
Computational Geometry | 2010-03-11 | Paper |
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
Formal Methods in System Design | 2010-02-05 | Paper |
Applications of polyhedral computations to the analysis and verification of hardware and software systems
Theoretical Computer Science | 2009-11-04 | Paper |
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science | 2009-05-15 | Paper |
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Lecture Notes in Computer Science | 2008-04-04 | Paper |
Grids: A Domain for Analyzing the Distribution of Numerical Values
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
Deriving escape analysis by abstract interpretation
Higher-Order and Symbolic Computation | 2007-01-05 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
Finite-tree analysis for constraint logic-based languages
Information and Computation | 2006-03-07 | Paper |
Not necessarily closed convex polyhedra and the double description method
Formal Aspects of Computing | 2005-12-13 | Paper |
Precise widening operators for convex polyhedra
Science of Computer Programming | 2005-10-10 | Paper |
Enhanced sharing analysis techniques: a comprehensive evaluation
Theory and Practice of Logic Programming | 2005-04-29 | Paper |
A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages
Theory and Practice of Logic Programming | 2005-04-15 | Paper |
| scientific article; zbMATH DE number 2090855 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2086513 (Why is no real title available?) | 2004-08-11 | Paper |
Logic programs as compact denotations.
Computer Languages, Systems & Structures | 2004-03-14 | Paper |
Soundness, idempotence and commutativity of set-sharing
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Decomposing non-redundant sharing by complementation
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Verifying termination and error-freedom of logic programs with <i>block</i> declarations
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1954120 (Why is no real title available?) | 2003-07-28 | Paper |
| scientific article; zbMATH DE number 1948398 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1832223 (Why is no real title available?) | 2002-11-19 | Paper |
Generalizing Def and Pos to Type Analysis
Journal Of Logic And Computation | 2002-08-12 | Paper |
| scientific article; zbMATH DE number 1696766 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1696595 (Why is no real title available?) | 2002-07-22 | Paper |
Set-sharing is redundant for pair-sharing
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1696888 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1615253 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1487850 (Why is no real title available?) | 2001-03-25 | Paper |
| scientific article; zbMATH DE number 1487851 (Why is no real title available?) | 2001-03-25 | Paper |
| scientific article; zbMATH DE number 1538024 (Why is no real title available?) | 2000-12-03 | Paper |
A comparative study of eight constraint programming languages over the Boolean and finite domains
Constraints | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1487849 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 788038 (Why is no real title available?) | 1995-08-21 | Paper |
Supporting Transformations for the Partial Evaluation of Logic Programs
Journal Of Logic And Computation | 1994-12-11 | Paper |
| scientific article; zbMATH DE number 516997 (Why is no real title available?) | 1994-03-17 | Paper |
Properties of a Pruning Operator
Journal Of Logic And Computation | 1990-01-01 | Paper |
On the T(q)-conditions of small cancellation theory
Israel Journal of Mathematics | 1985-01-01 | Paper |
A residual property of free groups
Archiv der Mathematik | 1983-01-01 | Paper |
