| Publication | Date of Publication | Type |
|---|
| Unfolding and fixpoint semantics of concurrent constraint logic programs | 2022-08-16 | Paper |
| Assertion based Inductive Verification Methods for Logic Programs | 2013-06-06 | Paper |
| Logic programs as specifications in the inductive verification of logic programs | 2013-05-24 | Paper |
| How to Transform an Analyzer into a Verifier | 2011-05-06 | Paper |
| On the verification of finite failure | 2005-12-07 | Paper |
| Abstract interpretation based verification of logic programs | 2004-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736999 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414385 | 2003-07-25 | Paper |
| Pair-independence and freeness analysis through linear refinement. | 2003-05-27 | Paper |
| A theory of observables for logic programs | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736350 | 2001-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722047 | 2001-07-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499243 | 2001-03-05 | Paper |
| The s-semantics approach: Theory and applications | 2000-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494369 | 2000-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4954441 | 2000-06-07 | Paper |
| Abstract diagnosis | 1999-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4259957 | 1999-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217939 | 1998-11-11 | Paper |
| Finite failure is and-compositional | 1998-03-25 | Paper |
| Incremental constraint satisfaction for equational logic programming | 1997-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688900 | 1997-05-25 | Paper |
| Generalized semantics and abstract interpretation for constraint logic programs | 1997-04-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688899 | 1997-03-19 | Paper |
| Resultant semantics for prolog | 1997-02-17 | Paper |
| Differential logic programs: Programming methodologies and semantics | 1996-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896503 | 1996-10-20 | Paper |
| Observable behaviors and equivalences of logic programs | 1996-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4858579 | 1995-12-17 | Paper |
| Observable Semantics for Constraint Logic Programs | 1995-04-17 | Paper |
| A compositional semantics for logic programs | 1994-11-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282599 | 1994-04-17 | Paper |
| Modelling Prolog Control | 1994-03-27 | Paper |
| A model-theoretic reconstruction of the operational semantics of logic programs | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036549 | 1993-05-18 | Paper |
| Unfolding and fixpoint semantics of concurrent constraint logic programs | 1993-01-16 | Paper |
| Kernel-LEAF: A logic plus functional language | 1991-01-01 | Paper |
| Finite failures and partial computations in concurrent logic languages | 1990-01-01 | Paper |
| NESTED GUARDED HORN CLAUSES | 1990-01-01 | Paper |
| Declarative modeling of the operational behavior of logic languages | 1989-01-01 | Paper |
| Partial evaluation of metaprograms in a ``multiple worlds logic language | 1988-01-01 | Paper |
| Contributions to the semantics of logic perpetual processes | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727352 | 1986-01-01 | Paper |
| The relation between logic and functional languages: a survey | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742694 | 1986-01-01 | Paper |
| A synchronization logic: Axiomatics and formal semantics of generalized horn clauses | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3957929 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4155819 | 1977-01-01 | Paper |
| Generalized AND/OR graphs | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4089762 | 1975-01-01 | Paper |
| A technique for graph embedding with constraints on node and arc correspondences | 1973-01-01 | Paper |
| Structural descriptions of fingerprint images | 1972-01-01 | Paper |
| A grey-weighted skeleton | 1970-01-01 | Paper |
