| Publication | Date of Publication | Type |
|---|
| The spiral of silence in multi-agent models for opinion formation (edit) | 2026-03-20 | Paper |
| Fairness and consensus in an asynchronous opinion model for social networks | 2026-02-10 | Paper |
Unified opinion formation analysis in rewriting logic
Journal of Logical and Algebraic Methods in Programming | 2025-12-30 | Paper |
| 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
Rewriting Logic and Its Applications | 2023-07-28 | Paper |
Computing distributed knowledge as the greatest lower bound of knowledge
(available as arXiv preprint) | 2023-03-30 | Paper |
A Formal Model for Polarization under Confirmation Bias in Social Networks
Logical Methods in Computer Science | 2023-03-22 | Paper |
| scientific article; zbMATH DE number 7649937 (Why is no real title available?) | 2023-02-03 | Paper |
| Counting and Computing Join-Endomorphisms in Lattices (Revisited) | 2022-11-01 | Paper |
Counting and Computing Join-Endomorphisms in Lattices
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
A multi-agent model for polarization under confirmation bias in social networks
(available as arXiv preprint) | 2022-03-21 | Paper |
| scientific article; zbMATH DE number 7449993 (Why is no real title available?) | 2021-12-20 | Paper |
scientific article; zbMATH DE number 7449993 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-20 | Paper |
Reasoning about distributed information with infinitely many agents
Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| Hide and new in the \(\pi\)-calculus | 2021-04-27 | Paper |
Hide and new in the \(\pi\)-calculus
(available as arXiv preprint) | 2021-04-27 | Paper |
| Reducing weak to strong bisimilarity in CCP | 2020-01-10 | Paper |
Reducing weak to strong bisimilarity in CCP
(available as arXiv preprint) | 2020-01-10 | Paper |
| scientific article; zbMATH DE number 7121950 (Why is no real title available?) | 2019-10-24 | Paper |
Characterizing right inverses for spatial constraint systems with applications to modal logic
Theoretical Computer Science | 2018-09-24 | Paper |
Observational and behavioural equivalences for soft concurrent constraint programming
Journal of Logical and Algebraic Methods in Programming | 2017-09-12 | Paper |
Deriving inverse operators for modal logic
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Belief, knowledge, lies and other utterances in an algebra for space and extrusion
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Models and emerging trends of concurrent constraint programming
Constraints | 2015-06-15 | Paper |
A behavioral congruence for concurrent constraint programming with nondeterministic choice
Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
Linearity, persistence and testing semantics in the asynchronous pi-calculus
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Timed concurrent constraint programming for analysing biological systems
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Spatial and epistemic modalities in constraint-based process calculi
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Deriving labels and bisimilarity for concurrent constraint programming
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Concurrent and reactive constraint programming
Lecture Notes in Computer Science | 2010-07-20 | Paper |
| scientific article; zbMATH DE number 5605072 (Why is no real title available?) | 2009-09-19 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
On the Expressive Power of Restriction and Priorities in CCS with Replication
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Logic Programming | 2009-03-05 | Paper |
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
Logic Programming | 2009-01-22 | Paper |
On Recursion, Replication and Scope Mechanisms in Process Calculi
Formal Methods for Components and Objects | 2008-09-17 | Paper |
On the Asynchronous Nature of the Asynchronous π-Calculus
Concurrency, Graphs and Models | 2008-06-19 | Paper |
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
Programming Languages and Systems | 2008-05-15 | Paper |
A Declarative Framework for Security: Secure Concurrent Constraint Programming
Logic Programming | 2008-03-11 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Decidability of infinite-state timed CCP processes and first-order LTL
Theoretical Computer Science | 2005-02-22 | Paper |
| scientific article; zbMATH DE number 2087501 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2084713 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084776 (Why is no real title available?) | 2004-08-09 | Paper |
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
Constraints | 2003-02-20 | Paper |
| scientific article; zbMATH DE number 1809625 (Why is no real title available?) | 2002-12-10 | Paper |
