| Publication | Date of Publication | Type |
|---|
| Local completeness for program correctness and incorrectness (invited talk) | 2024-11-26 | Paper |
| Enhancing Reaction Systems: A Process Algebraic Approach | 2024-03-14 | Paper |
| A Coalgebraic Approach to Unification Semantics of Logic Programming | 2024-03-14 | Paper |
Data-driven choreographies à la Klaim
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
Limits and difficulties in the design of under-approximation abstract domains
Lecture Notes in Computer Science | 2024-01-23 | Paper |
| Exploiting adjoints in property directed reachability analysis | 2024-01-12 | Paper |
| Logics for extensional, locally complete analysis via domain refinements | 2023-11-24 | Paper |
Deciding program properties via complete abstractions on bounded domains
Static Analysis | 2023-07-28 | Paper |
| Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems | 2023-04-13 | Paper |
Algebras for tree decomposable graphs
Graph Transformation | 2022-09-01 | Paper |
A process algebraic approach to reaction systems
Theoretical Computer Science | 2021-08-11 | Paper |
A logical and graphical framework for reaction systems
Theoretical Computer Science | 2021-06-23 | Paper |
Concurrency and probability: removing confusion, compositionally
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
The \texttt{link}-calculus for open multiparty interactions
Information and Computation | 2020-12-15 | Paper |
Code obfuscation against abstract model checking attacks
Lecture Notes in Computer Science | 2020-07-07 | Paper |
Bayesian network semantics for Petri nets
Theoretical Computer Science | 2020-01-22 | Paper |
scientific article; zbMATH DE number 7147446 (Why is no real title available?)
(available as arXiv preprint) | 2020-01-03 | Paper |
A formal approach to open multiparty interactions
Theoretical Computer Science | 2019-02-21 | Paper |
A flat process calculus for nested membrane interactions
Scientific Annals of Computer Science | 2019-02-08 | Paper |
| scientific article; zbMATH DE number 7020140 (Why is no real title available?) | 2019-02-08 | Paper |
| scientific article; zbMATH DE number 7020154 (Why is no real title available?) | 2019-02-08 | Paper |
Models of computation
Texts in Theoretical Computer Science. An EATCS Series | 2018-11-28 | Paper |
Code obfuscation against abstraction refinement attacks
Formal Aspects of Computing | 2018-11-16 | Paper |
Event structures for Petri nets with persistence
(available as arXiv preprint) | 2018-11-02 | Paper |
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-07-14 | Paper |
CaSPiS: a calculus of sessions, pipelines and services
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
\textsf{cJoin}: \textsf{Join} with communicating transactions
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
Causal trees, finally
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
Connector algebras, Petri nets, and BIP
Perspectives of Systems Informatics | 2015-12-07 | Paper |
A coalgebraic semantics for causality in Petri nets
Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
A normal form for stateful connectors
Lecture Notes in Computer Science | 2015-09-14 | Paper |
On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs
Fundamenta Informaticae | 2015-06-26 | Paper |
A white box perspective on behavioural adaptation
Software, Services, and Systems | 2015-06-22 | Paper |
Hierarchical design rewriting with Maude
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
Revisiting causality, coalgebraically
Acta Informatica | 2015-03-02 | Paper |
From hierarchical BIP to Petri calculus
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
On symbolic semantics for name-decorated contexts
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
Modelling dynamic software architectures using typed graph grammars
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
Behaviour, Interaction and Dynamics
Specification, Algebra, and Software | 2014-03-25 | Paper |
| Tiling transactions in rewriting logic | 2013-10-02 | Paper |
Connector algebras for C/E and P/T nets' interactions
Logical Methods in Computer Science | 2013-09-26 | Paper |
Open Multiparty Interaction
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Adaptable transition systems
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
| Flat committed join in join | 2013-09-11 | Paper |
| Modeling fresh names in the {\(\pi\)}-calculus using abstractions | 2013-09-11 | Paper |
Comparing higher-order encodings in logical frameworks and tile logic
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
A new strategy for distributed compensations with interruption in long-running transactions
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
A connector algebra for P/T nets interactions
CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Bisimulation by unification
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
On GS-monoidal theories for graphs with nesting
Lecture Notes in Computer Science | 2010-11-26 | Paper |
Pre-nets, read ARCS and unfolding: A functorial presentation.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Algebraic theories for contextual pre-nets.
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Tiles for Reo
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Static Detection of Logic Flaws in Service-Oriented Applications
Foundations and Applications of Security Analysis | 2009-10-22 | Paper |
| scientific article; zbMATH DE number 5605133 (Why is no real title available?) | 2009-09-19 | Paper |
Non-sequential Behaviour of Dynamic Nets
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
PRISMA: A Mobile Calculus with Parametric Synchronization
Trustworthy Global Computing | 2009-03-05 | Paper |
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Dynamic Graph Transformation Systems
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Parametric synchronizations in mobile nominal calculi
Theoretical Computer Science | 2008-08-06 | Paper |
Models of Computation: A Tribute to Ugo Montanari’s Vision
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Graph-Based Design and Analysis of Dynamic Software Architectures
Concurrency, Graphs and Models | 2008-06-19 | Paper |
A semantic framework for open processes
Theoretical Computer Science | 2007-12-14 | Paper |
Deducing Interactions in Partially Unspecified Biological Systems
Algebraic Biology | 2007-11-29 | Paper |
Event Structure Semantics for Nominal Calculi
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
A basic algebra of stateless connectors
Theoretical Computer Science | 2007-01-09 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Algebra and Coalgebra in Computer Science
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Semantic foundations for generalized rewrite theories
Theoretical Computer Science | 2006-09-14 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Observational congruences for dynamically reconfigurable tile systems
Theoretical Computer Science | 2005-06-10 | Paper |
| scientific article; zbMATH DE number 2163046 (Why is no real title available?) | 2005-04-29 | Paper |
| scientific article; zbMATH DE number 2163032 (Why is no real title available?) | 2005-04-29 | Paper |
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science | 2004-09-24 | Paper |
An interactive semantics of logic programming
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 2038715 (Why is no real title available?) | 2004-02-08 | Paper |
| scientific article; zbMATH DE number 1973128 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1973129 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1927571 (Why is no real title available?) | 2003-06-12 | Paper |
Normal forms for algebras of connections.
Theoretical Computer Science | 2003-01-21 | Paper |
Zero-safe nets: Comparing the collective and individual token approaches.
Information and Computation | 2003-01-14 | Paper |
Functorial models for Petri nets
Information and Computation | 2003-01-14 | Paper |
Dynamic connectors for concurrency
Theoretical Computer Science | 2002-07-15 | Paper |
| scientific article; zbMATH DE number 1759487 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1759616 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1696451 (Why is no real title available?) | 2002-06-17 | Paper |
Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
Mathematical Structures in Computer Science | 2002-05-14 | Paper |
| scientific article; zbMATH DE number 1670822 (Why is no real title available?) | 2001-12-06 | Paper |
| scientific article; zbMATH DE number 1497817 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1418361 (Why is no real title available?) | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1302631 (Why is no real title available?) | 1999-06-16 | Paper |
| scientific article; zbMATH DE number 1231660 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231666 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1231592 (Why is no real title available?) | 1998-12-21 | Paper |
