| Publication | Date of Publication | Type |
|---|
| Denotational semantics for probabilistic and concurrent programs | 2026-08-05 | Paper |
Foundations of runtime monitoring through the lens of concurrency theory
Bulletin of the European Association for Theoretical Computer Science EATCS | 2026-05-12 | Paper |
| Centralized vs decentralized monitors for hyperproperties | 2026-02-10 | Paper |
Centralized vs. decentralized monitors for hyperproperties
ACM Transactions on Computational Logic | 2026-01-07 | Paper |
An implicit function theorem for the stream calculus
Logical Methods in Computer Science | 2024-06-27 | Paper |
Products, polynomials and differential equations in the stream calculus
ACM Transactions on Computational Logic | 2024-04-26 | Paper |
| Approximate Model Counting, Sparse XOR Constraints and Minimum Distance | 2024-03-14 | Paper |
Modal epistemic logic on contracts: a doctrinal approach
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Algebra and coalgebra of stream products
(available as arXiv preprint) | 2023-08-21 | Paper |
Polynomial recognition of vulnerable multi-commodities
Information Processing Letters | 2022-10-28 | Paper |
Characterising spectra of equivalences for event structures, logically
Information and Computation | 2022-06-08 | Paper |
Behavioural logics for configuration structures
Theoretical Computer Science | 2022-04-07 | Paper |
| Conflict vs causality in event structures | 2021-12-20 | Paper |
Pattern matching over a dynamic network of tuple spaces
Lecture Notes in Computer Science | 2021-05-20 | Paper |
Conflict vs causality in event structures
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
| Enhanced models for privacy and utility in continuous-time diffusion networks | 2019-12-12 | Paper |
Depletable channels: dynamics, behaviour, and efficiency in network design
Acta Informatica | 2019-06-20 | Paper |
A polynomial-time algorithm for detecting the possibility of Braess paradox in directed graphs
Algorithmica | 2019-04-25 | Paper |
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
Mathematical Structures in Computer Science | 2018-03-09 | Paper |
Inefficiencies in network models: a graph-theoretic perspective
Information Processing Letters | 2017-12-13 | Paper |
Full abstraction for expressiveness: history, myths and facts
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
A semiring-based trace semantics for processes with applications to information leakage analysis
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
On the relative expressive power of calculi for mobility
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
A concurrent pattern calculus
Logical Methods in Computer Science | 2014-09-05 | Paper |
Synchrony vs asynchrony in communication primitives
Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
| Security policies as membranes in systems for global computing | 2013-09-26 | Paper |
| On the expressive power of \textsc{Klaim}-based calculi | 2013-09-25 | Paper |
A taxonomy of process calculi for distribution and mobility
Distributed Computing | 2012-02-06 | Paper |
Concurrent Pattern Calculus
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
A semiring-based trace semantics for processes with applications to information leakage analysis
IFIP Advances in Information and Communication Technology | 2010-10-27 | Paper |
Towards a unified approach to encodability and separation results for process calculi
Information and Computation | 2010-10-07 | Paper |
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
From flow logic to static type systems for coordination languages
Science of Computer Programming | 2010-04-29 | Paper |
The Klaim project: Theory and practice
Lecture Notes in Computer Science | 2010-02-05 | Paper |
Dynamic management of capabilities in a network aware coordination language
The Journal of Logic and Algebraic Programming | 2009-11-04 | Paper |
Depletable Channels: Dynamics and Behaviour
Fundamentals of Computation Theory | 2009-10-20 | Paper |
Comparing communication primitives via their relative expressive power
Information and Computation | 2009-03-04 | Paper |
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Network Applications of Graph Bisimulation
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Security Policies as Membranes in Systems for Global Computing
Logical Methods in Computer Science | 2007-10-11 | Paper |
Basic observables for a calculus for global computing
Information and Computation | 2007-10-10 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Global computing in a dynamic network of tuple spaces
Science of Computer Programming | 2007-01-22 | Paper |
Confining data and processes in global computing applications
Science of Computer Programming | 2006-10-25 | Paper |
On the expressive power of \textsc{Klaim}-based calculi
Theoretical Computer Science | 2006-05-29 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2087423 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2038704 (Why is no real title available?) | 2004-02-08 | Paper |
