| Publication | Date of Publication | Type |
|---|
| Toward a Formal Model for Group Polarization in Social Networks | 2024-03-14 | Paper |
| Make Puzzles Great Again | 2024-03-14 | Paper |
| Real-time rewriting logic semantics for spatial concurrent constraint programming | 2023-07-28 | Paper |
| Computing distributed knowledge as the greatest lower bound of knowledge | 2023-03-30 | Paper |
| A Formal Model for Polarization under Confirmation Bias in Social Networks | 2023-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875391 | 2023-02-03 | Paper |
| Counting and Computing Join-Endomorphisms in Lattices (Revisited) | 2022-11-01 | Paper |
| Counting and Computing Join-Endomorphisms in Lattices | 2022-08-30 | Paper |
| A multi-agent model for polarization under confirmation bias in social networks | 2022-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3385648 | 2021-12-20 | Paper |
| Reasoning about distributed information with infinitely many agents | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986260 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5208771 | 2020-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5240218 | 2019-10-24 | Paper |
| Characterizing right inverses for spatial constraint systems with applications to modal logic | 2018-09-24 | Paper |
| Observational and behavioural equivalences for soft concurrent constraint programming | 2017-09-12 | Paper |
| Deriving Inverse Operators for Modal Logic | 2016-12-21 | Paper |
| Belief, knowledge, lies and other utterances in an algebra for space and extrusion | 2016-11-30 | Paper |
| Models and emerging trends of concurrent constraint programming | 2015-06-15 | Paper |
| A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice | 2015-01-13 | Paper |
| Linearity, persistence and testing semantics in the asynchronous pi-calculus | 2013-12-06 | Paper |
| Timed concurrent constraint programming for analysing biological systems | 2013-12-06 | Paper |
| Spatial and Epistemic Modalities in Constraint-Based Process Calculi | 2012-09-25 | Paper |
| Deriving Labels and Bisimilarity for Concurrent Constraint Programming | 2011-05-19 | Paper |
| Concurrent and Reactive Constraint Programming | 2010-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396569 | 2009-09-19 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| On the Expressive Power of Restriction and Priorities in CCS with Replication | 2009-03-31 | Paper |
| Declarative Diagnosis of Temporal Concurrent Constraint Programs | 2009-03-05 | Paper |
| Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming | 2009-01-22 | Paper |
| On Recursion, Replication and Scope Mechanisms in Process Calculi | 2008-09-17 | Paper |
| On the Asynchronous Nature of the Asynchronous π-Calculus | 2008-06-19 | Paper |
| CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence | 2008-05-15 | Paper |
| A Declarative Framework for Security: Secure Concurrent Constraint Programming | 2008-03-11 | Paper |
| Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Decidability of infinite-state timed CCP processes and first-order LTL | 2005-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738301 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475640 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4735934 | 2004-08-09 | Paper |
| Integrating constraints and concurrent objects in musical applications: A calculus and its visual language | 2003-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3150207 | 2002-12-10 | Paper |
