| Publication | Date of Publication | Type |
|---|
Timed concurrent language for argumentation with maximum parallelism
Journal Of Logic And Computation | 2023-06-15 | Paper |
The role of linearity in sharing analysis
Mathematical Structures in Computer Science | 2022-12-09 | Paper |
On collecting semantics for program analysis
Theoretical Computer Science | 2020-05-23 | Paper |
Narrowing operators on template abstract domains
FM 2015: Formal Methods | 2019-12-19 | Paper |
Semantics and controllability of time-aware business processes
Fundamenta Informaticae | 2019-05-24 | Paper |
Descending chains and narrowing on template abstract domains
Acta Informatica | 2018-09-06 | Paper |
Timed soft concurrent constraint programs: an interleaved and a parallel approach
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Unfolding for CHR programs
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Verification of time-aware business processes using constrained Horn clauses
(available as arXiv preprint) | 2017-10-13 | Paper |
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
| Exploiting linearity in sharing analysis of object-oriented programs | 2016-08-05 | Paper |
On the expressive power of multiple heads in CHR
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A compositional semantics for CHR
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
The expressive power of CHR with priorities
Information and Computation | 2013-12-19 | Paper |
Decidability properties for fragments of CHR
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Theoretical Foundations and Semantics of Logic Programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
A Compositional Semantics for CHR with Propagation Rules
Constraint Handling Rules | 2009-03-26 | Paper |
Expressiveness of Multiple Heads in CHR
Lecture Notes in Computer Science | 2009-02-03 | Paper |
| scientific article; zbMATH DE number 2182596 (Why is no real title available?) | 2005-06-23 | Paper |
| scientific article; zbMATH DE number 2087421 (Why is no real title available?) | 2004-08-11 | Paper |
A theory of observables for logic programs
Information and Computation | 2003-01-14 | Paper |
A timed concurrent constraint language.
Information and Computation | 2003-01-14 | 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 1234567 (Why is no real title available?) | 1999-02-11 | Paper |
Compositionality properties of SLD-derivations
Theoretical Computer Science | 1999-01-12 | 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 |
Observable behaviors and equivalences of logic programs
Information and Computation | 1996-03-18 | Paper |
A compositional semantics for logic programs
Theoretical Computer Science | 1994-11-29 | Paper |
