| Publication | Date of Publication | Type |
|---|
| Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies | 2024-03-14 | Paper |
| Applied Choreographies | 2023-03-10 | Paper |
| Unfolding and fixpoint semantics of concurrent constraint logic programs | 2022-08-16 | Paper |
| Confluence in concurrent constraint programming | 2022-08-16 | Paper |
| Proving correctness of Constraint Logic Programs with dynamic scheduling | 2022-02-16 | Paper |
| Self-reconfiguring microservices | 2021-05-20 | Paper |
| Slicing concurrent constraint programs | 2021-05-20 | Paper |
| Probabilistic Recursion Theory and Implicit Computational Complexity | 2019-02-08 | Paper |
| SUNNY-CP and the MiniZinc challenge | 2018-02-20 | Paper |
| Unfolding for CHR programs | 2017-11-09 | Paper |
| Timed soft concurrent constraint programs: An interleaved and a parallel approach | 2017-11-09 | Paper |
| Slicing concurrent constraint programs | 2017-10-13 | Paper |
| Proving correctness of timed concurrent constraint programs | 2017-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2974797 | 2017-04-11 | Paper |
| Portfolio approaches for constraint optimization problems | 2016-05-04 | Paper |
| Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges | 2016-02-05 | Paper |
| A compositional semantics for CHR | 2015-09-17 | Paper |
| On the Expressive Power of Multiple Heads in CHR | 2015-09-17 | Paper |
| SUNNY: a Lazy Portfolio Approach for Constraint Solving | 2014-11-25 | Paper |
| Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs | 2014-06-02 | Paper |
| The expressive power of CHR with priorities | 2013-12-19 | Paper |
| Comparative analysis of the expressiveness of shared dataspace coordination | 2013-07-24 | Paper |
| An Empirical Evaluation of Portfolios Approaches for Solving CSPs | 2013-06-04 | Paper |
| Decidability properties for fragments of CHR | 2010-08-19 | Paper |
| Concurrent and Reactive Constraint Programming | 2010-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3566722 | 2010-06-09 | Paper |
| Programming languages: Principles and paradigms | 2010-01-14 | Paper |
| On the expressive power of recursion, replication and iteration in process calculi | 2010-01-12 | Paper |
| A Compositional Semantics for CHR with Propagation Rules | 2009-03-26 | Paper |
| Expressiveness of Multiple Heads in CHR | 2009-02-03 | Paper |
| Full Abstraction for Linda | 2008-04-11 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681453 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738216 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449170 | 2004-02-08 | Paper |
| A timed concurrent constraint language. | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736350 | 2001-08-29 | Paper |
| The s-semantics approach: Theory and applications | 2000-08-14 | Paper |
| Layered modes | 1999-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4259953 | 1999-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4221353 | 1999-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222884 | 1998-12-20 | Paper |
| Confluence in concurrent constraint programming | 1998-07-22 | Paper |
| Constraint logic programming with dynamic scheduling: A semantics based on closure operators | 1997-09-28 | Paper |
| A closer look at declarative interpretations | 1997-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688899 | 1997-03-19 | Paper |
| Transformations of CLP modules | 1997-02-27 | Paper |
| Resultant semantics for prolog | 1997-02-17 | Paper |
| Differential logic programs: Programming methodologies and semantics | 1996-12-08 | 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/Q4036549 | 1993-05-18 | Paper |
| Unfolding and fixpoint semantics of concurrent constraint logic programs | 1993-01-16 | Paper |
| NESTED GUARDED HORN CLAUSES | 1990-01-01 | Paper |
