| Publication | Date of Publication | Type |
|---|
| Regular path clauses and their application in solving loops | 2024-12-03 | Paper |
Analysis and Transformation of Constrained Horn Clauses for Program Verification
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
A general framework for static cost analysis of parallel logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
A general framework for static cost analysis of parallel logic programs
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
| scientific article; zbMATH DE number 7453190 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453190 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| scientific article; zbMATH DE number 7453197 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453197 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
| Solving non-linear Horn clauses using a linear Horn clause solver | 2021-12-07 | Paper |
Solving non-linear Horn clauses using a linear Horn clause solver
(available as arXiv preprint) | 2021-12-07 | Paper |
| Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification | 2021-06-28 | Paper |
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
(available as arXiv preprint) | 2021-06-28 | Paper |
Control-flow refinement by partial evaluation, and its application to termination and cost analysis
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
The applicability of logic program analysis and transformation to theorem proving
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
An iterative approach to precondition inference using constrained Horn clauses
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Tree dimension in verification of constrained Horn clauses
Theory and Practice of Logic Programming | 2018-05-31 | Paper |
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
Computer Languages, Systems & Structures | 2018-01-30 | Paper |
A transformational approach to parametric accumulated-cost static profiling
Functional and Logic Programming | 2016-04-04 | Paper |
Tree automata-based refinement with application to Horn clause verification
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Analysis of logic programs using regular tree languages (extended abstract)
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Non-discriminating arguments and their uses
Logic Programming | 2012-11-13 | Paper |
Convex hull abstractions in specialization of CLP programs
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
Type-based homeomorphic embedding for online termination
Information Processing Letters | 2010-08-20 | Paper |
Analysis of Linear Hybrid Systems in CLP
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
From Monomorphic to Polymorphic Well-Typings and Beyond
Logic-Based Program Synthesis and Transformation | 2009-03-24 | Paper |
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Converting One Type-Based Abstract Domain to Another
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Fully Automatic Binding-Time Analysis for Prolog
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2006-10-31 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2086511 (Why is no real title available?) | 2004-08-11 | Paper |
Regular tree languages as an abstract domain in program specialisation
Higher-Order and Symbolic Computation | 2002-03-14 | Paper |
| scientific article; zbMATH DE number 1615254 (Why is no real title available?) | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 25188 (Why is no real title available?) | 1992-06-26 | Paper |
Specialisation of Prolog and FCP programs using abstract interpretation
New Generation Computing | 1988-01-01 | Paper |
A rigid elliptic inclusion in an anisotropic elastic whole space
International Journal of Solids and Structures | 1976-01-01 | Paper |
The fundamental integral for small deformations superposed on finite triaxial extension of a neo-Hockean material
ZAMP. Zeitschrift für angewandte Mathematik und Physik | 1969-01-01 | Paper |
