| Publication | Date of Publication | Type |
|---|
| Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies | 2024-03-14 | Paper |
Applied Choreographies
Formal Techniques for Distributed Objects, Components, and Systems | 2023-03-10 | Paper |
Unfolding and fixpoint semantics of concurrent constraint logic programs
Algebraic and Logic Programming | 2022-08-16 | Paper |
Confluence in concurrent constraint programming
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Proving correctness of constraint logic programs with dynamic scheduling
Static Analysis | 2022-02-16 | Paper |
| Self-reconfiguring microservices | 2021-05-20 | Paper |
Dynamic slicing for concurrent constraint languages
Fundamenta Informaticae | 2021-05-20 | Paper |
Probabilistic Recursion Theory and Implicit Computational Complexity
Scientific Annals of Computer Science | 2019-02-08 | Paper |
SUNNY-CP and the MiniZinc challenge
Theory and Practice of Logic Programming | 2018-02-20 | 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 |
Slicing concurrent constraint programs
Lecture Notes in Computer Science | 2017-10-13 | Paper |
Proving correctness of timed concurrent constraint programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
scientific article; zbMATH DE number 6703933 (Why is no real title available?)
(available as arXiv preprint) | 2017-04-11 | Paper |
Portfolio approaches for constraint optimization problems
Annals of Mathematics and Artificial Intelligence | 2016-05-04 | Paper |
Why CP portfolio solvers are (under)utilized? Issues and challenges
Logic-Based Program Synthesis and Transformation | 2016-02-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 |
SUNNY: a lazy portfolio approach for constraint solving
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs
Lecture Notes in Computer Science | 2014-06-02 | Paper |
The expressive power of CHR with priorities
Information and Computation | 2013-12-19 | Paper |
Comparative analysis of the expressiveness of shared dataspace coordination
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
An empirical evaluation of portfolios approaches for solving CSPs
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
Decidability properties for fragments of CHR
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Concurrent and reactive constraint programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
| scientific article; zbMATH DE number 5718470 (Why is no real title available?) | 2010-06-09 | Paper |
Programming languages: Principles and paradigms
Undergraduate Topics in Computer Science | 2010-01-14 | Paper |
On the expressive power of recursion, replication and iteration in process calculi
Mathematical Structures in Computer Science | 2010-01-12 | 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 |
Full Abstraction for Linda
Programming Languages and Systems | 2008-04-11 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | 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 |
| scientific article; zbMATH DE number 2038705 (Why is no real title available?) | 2004-02-08 | Paper |
A timed concurrent constraint language.
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1638653 (Why is no real title available?) | 2001-08-29 | Paper |
The s-semantics approach: Theory and applications
The Journal of Logic Programming | 2000-08-14 | Paper |
Layered modes
The Journal of Logic Programming | 1999-12-06 | Paper |
| scientific article; zbMATH DE number 1332631 (Why is no real title available?) | 1999-09-08 | Paper |
| scientific article; zbMATH DE number 1234567 (Why is no real title available?) | 1999-02-11 | Paper |
| scientific article; zbMATH DE number 1231566 (Why is no real title available?) | 1998-12-20 | Paper |
Confluence in concurrent constraint programming
Theoretical Computer Science | 1998-07-22 | Paper |
Constraint logic programming with dynamic scheduling: A semantics based on closure operators
Information and Computation | 1997-09-28 | Paper |
A closer look at declarative interpretations
The Journal of Logic Programming | 1997-06-09 | Paper |
| scientific article; zbMATH DE number 970714 (Why is no real title available?) | 1997-03-19 | Paper |
Transformations of CLP modules
Theoretical Computer Science | 1997-02-27 | 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 |
| 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 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 |
NESTED GUARDED HORN CLAUSES
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
