| Publication | Date of Publication | Type |
|---|
Unfolding and fixpoint semantics of concurrent constraint logic programs
Algebraic and Logic Programming | 2022-08-16 | Paper |
Assertion based inductive verification methods for logic programs
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Logic programs as specifications in the inductive verification of logic programs
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
How to transform an analyzer into a verifier
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
On the verification of finite failure
Journal of Computer and System Sciences | 2005-12-07 | Paper |
Abstract interpretation based verification of logic programs
Science of Computer Programming | 2004-11-23 | Paper |
| scientific article; zbMATH DE number 2086518 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1953027 (Why is no real title available?) | 2003-07-25 | Paper |
Pair-independence and freeness analysis through linear refinement.
Information and Computation | 2003-05-27 | Paper |
A theory of observables for logic programs
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1638653 (Why is no real title available?) | 2001-08-29 | Paper |
| scientific article; zbMATH DE number 1617316 (Why is no real title available?) | 2001-07-11 | Paper |
| scientific article; zbMATH DE number 1497823 (Why is no real title available?) | 2001-03-05 | Paper |
The s-semantics approach: Theory and applications
The Journal of Logic Programming | 2000-08-14 | Paper |
| scientific article; zbMATH DE number 1487845 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1456952 (Why is no real title available?) | 2000-06-07 | Paper |
Abstract diagnosis
The Journal of Logic Programming | 1999-12-06 | Paper |
| scientific article; zbMATH DE number 1332633 (Why is no real title available?) | 1999-09-08 | Paper |
| scientific article; zbMATH DE number 1222416 (Why is no real title available?) | 1998-11-11 | Paper |
Finite failure is and-compositional
Journal Of Logic And Computation | 1998-03-25 | Paper |
Incremental constraint satisfaction for equational logic programming
Theoretical Computer Science | 1997-09-29 | Paper |
| scientific article; zbMATH DE number 970715 (Why is no real title available?) | 1997-05-25 | Paper |
Generalized semantics and abstract interpretation for constraint logic programs
The Journal of Logic Programming | 1997-04-17 | Paper |
| scientific article; zbMATH DE number 970714 (Why is no real title available?) | 1997-03-19 | Paper |
Resultant semantics for prolog
Journal Of Logic And Computation | 1997-02-17 | Paper |
Differential logic programs: Programming methodologies and semantics
Science of Computer Programming | 1996-12-08 | Paper |
| scientific article; zbMATH DE number 937364 (Why is no real title available?) | 1996-10-20 | Paper |
Observable behaviors and equivalences of logic programs
Information and Computation | 1996-03-18 | Paper |
| scientific article; zbMATH DE number 826301 (Why is no real title available?) | 1995-12-17 | Paper |
Observable Semantics for Constraint Logic Programs
Journal Of Logic And Computation | 1995-04-17 | Paper |
A compositional semantics for logic programs
Theoretical Computer Science | 1994-11-29 | Paper |
| scientific article; zbMATH DE number 517069 (Why is no real title available?) | 1994-04-17 | Paper |
Modelling Prolog Control
Journal Of Logic And Computation | 1994-03-27 | Paper |
A model-theoretic reconstruction of the operational semantics of logic programs
Information and Computation | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 176721 (Why is no real title available?) | 1993-05-18 | Paper |
Unfolding and fixpoint semantics of concurrent constraint logic programs
Theoretical Computer Science | 1993-01-16 | Paper |
Kernel-LEAF: A logic plus functional language
Journal of Computer and System Sciences | 1991-01-01 | Paper |
Finite failures and partial computations in concurrent logic languages
Theoretical Computer Science | 1990-01-01 | Paper |
NESTED GUARDED HORN CLAUSES
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
Declarative modeling of the operational behavior of logic languages
Theoretical Computer Science | 1989-01-01 | Paper |
Contributions to the semantics of logic perpetual processes
Acta Informatica | 1988-01-01 | Paper |
Partial evaluation of metaprograms in a ``multiple worlds logic language
New Generation Computing | 1988-01-01 | Paper |
The relation between logic and functional languages: a survey
The Journal of Logic Programming | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3978355 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3958697 (Why is no real title available?) | 1986-01-01 | Paper |
A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
Information and Control | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3778724 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3588033 (Why is no real title available?) | 1977-01-01 | Paper |
Generalized AND/OR graphs
Artificial Intelligence | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3509712 (Why is no real title available?) | 1975-01-01 | Paper |
A technique for graph embedding with constraints on node and arc correspondences
Information Sciences | 1973-01-01 | Paper |
Structural descriptions of fingerprint images
Information Sciences | 1972-01-01 | Paper |
A grey-weighted skeleton
Information and Control | 1970-01-01 | Paper |
