| Publication | Date of Publication | Type |
|---|
Weakly Markov categories and weakly affine monads
| 2024-11-26 | Paper |
A presheaf semantics for quantified temporal logics
| 2024-06-26 | Paper |
A spatial logic with time and quantifiers
| 2024-05-29 | Paper |
Polyadic Soft Constraints
| 2024-03-14 | Paper |
Data-driven choreographies à la Klaim
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity
Theoretical Computer Science | 2024-02-23 | Paper |
A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs
Lecture Notes in Computer Science | 2024-01-23 | Paper |
Specification and verification of a linear-time temporal logic for graph transformation
| 2024-01-12 | Paper |
scientific article; zbMATH DE number 7774251 (Why is no real title available?)
| 2023-12-08 | Paper |
From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
Applied Categorical Structures | 2023-10-18 | Paper |
Specification and modelling of computing systems through graphs and graph transformation
Journal of Logical and Algebraic Methods in Programming | 2023-09-25 | Paper |
Weakly Markov categories and weakly affine monads
| 2023-03-24 | Paper |
String diagram rewrite theory III: Confluence with and without Frobenius
Mathematical Structures in Computer Science | 2023-02-28 | Paper |
scientific article; zbMATH DE number 7650339 (Why is no real title available?)
| 2023-02-03 | Paper |
String diagram rewrite theory II: Rewriting with symmetric monoidal structure
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Relating two categorical models of term rewriting
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Graph Rewriting Components
| 2022-12-07 | Paper |
CPO models for infinite term rewriting
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Distributivity and residuation for lexicographic orders
Information Processing Letters | 2022-06-03 | Paper |
String diagram rewrite theory. I: Rewriting with Frobenius structure
Journal of the ACM | 2022-03-31 | Paper |
Categorical specification and implementation of replicated data types
Theoretical Computer Science | 2022-02-01 | Paper |
Residuation for soft constraints: lexicographic orders and approximation techniques
| 2021-12-01 | Paper |
Concurrent semantics for fusions: weak prime domains and connected event structures
Information and Computation | 2021-11-25 | Paper |
A Presheaf Semantics for Quantified Temporal Logics
| 2021-11-06 | Paper |
Implementation correctness for replicated data types, categorically
| 2021-07-08 | Paper |
Soft constraint automata with memory
Lecture Notes in Computer Science | 2021-06-03 | Paper |
Soft constraint automata with memory
Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
scientific article; zbMATH DE number 7308363 (Why is no real title available?)
| 2021-02-09 | Paper |
Rewriting with Frobenius
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
scientific article; zbMATH DE number 7297883 (Why is no real title available?)
| 2021-01-19 | Paper |
scientific article; zbMATH DE number 7020140 (Why is no real title available?)
| 2019-02-08 | Paper |
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
Acta Informatica | 2019-01-25 | Paper |
Event structures for Petri nets with persistence
| 2018-11-02 | Paper |
Rewriting modulo symmetric monoidal structure
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Observational and behavioural equivalences for soft concurrent constraint programming
Journal of Logical and Algebraic Methods in Programming | 2017-09-12 | Paper |
Confluence of graph rewriting with interfaces
Programming Languages and Systems | 2017-05-19 | Paper |
Residuation for bipolar preferences in soft constraints
Information Processing Letters | 2016-11-23 | Paper |
Concurrency cannot be observed, asynchronously
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
RPO semantics for mobile ambients
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Asynchronous traces and open Petri nets
Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
A General Theory of Barbs, Contexts, and Labels
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A white box perspective on behavioural adaptation
Software, Services, and Systems | 2015-06-22 | Paper |
Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
Towards a notion of transaction in graph rewriting
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
A calculus for team automata
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
Modelling calculi with name mobility using graphs with equivalences
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Graphical verification of a spatial logic for the {\(\pi\)}-calculus
| 2013-10-07 | Paper |
On term graphs as an adhesive category
| 2013-09-25 | Paper |
Adaptable transition systems
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Barbed Semantics for Open Reactive Systems
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Some characterization results for permutation algebras
| 2013-09-11 | Paper |
Inequational deduction as term graph rewriting
| 2013-08-27 | Paper |
GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
A presheaf environment for the explicit fusion calculus
Journal of Automated Reasoning | 2013-08-01 | Paper |
Comparing cospan-spans and tiles via a Hoare-style process calculus
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Categorical rewriting of term-like structures
Electronic Notes in Theoretical Computer Science | 2013-05-24 | Paper |
A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
Exploiting over- and under-approximations for infinite-state counterpart models
Lecture Notes in Computer Science | 2012-10-02 | Paper |
A Modular LTS for Open Reactive Systems
Lecture Notes in Computer Science | 2012-09-21 | Paper |
Counterpart semantics for a second-order \(\mu\)-calculus
Fundamenta Informaticae | 2012-07-11 | Paper |
An institution for graph transformation
Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Adhesivity is not enough: local Church-Rosser revisited
Mathematical Foundations of Computer Science 2011 | 2011-08-17 | Paper |
A decentralised graphical implementation of mobile ambients
The Journal of Logic and Algebraic Programming | 2011-02-09 | Paper |
On GS-monoidal theories for graphs with nesting
Lecture Notes in Computer Science | 2010-11-26 | Paper |
Counterpart semantics for a second-order \(\mu \)-calculus
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Saturated LTSs for adhesive rewriting systems
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Term graph rewriting for the \(\pi \)-calculus.
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Causality and replication in concurrent processes
Lecture Notes in Computer Science | 2010-01-05 | Paper |
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae | 2009-11-30 | Paper |
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
A Term-Graph Syntax for Algebras over Multisets
Recent Trends in Algebraic Development Techniques | 2009-10-22 | Paper |
Reactive Systems, Barbed Semantics, and the Mobile Ambients
Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Graphical Encoding of a Spatial Logic for the π-Calculus
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Synthesising CCS bisimulation using graph rewriting
Information and Computation | 2009-03-02 | Paper |
On the use of behavioural equivalences for web services' development
| 2009-02-10 | Paper |
Petri Nets Are Dioids
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
A Soft Approach to Multi-objective Optimization
Logic Programming | 2009-01-22 | Paper |
Process Bisimulation Via a Graphical Encoding
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Graph Transactions as Processes
Lecture Notes in Computer Science | 2008-11-27 | Paper |
A Decentralized Implementation of Mobile Ambients
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Parallel and Sequential Independence for Borrowed Contexts
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Applications and Theory of Petri Nets | 2008-07-03 | Paper |
A Behavioural Congruence for Web Services
Lecture Notes in Computer Science | 2008-07-01 | Paper |
A Category of Explicit Fusions
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Ugo Montanari and Friends
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Mathematical Foundations of Computer Science 2003
Lecture Notes in Computer Science | 2007-12-07 | Paper |
Graph rewriting for the π-calculus
Mathematical Structures in Computer Science | 2007-09-26 | Paper |
Concurrent Rewriting for Graphs with Equivalences
CONCUR 2006 – Concurrency Theory | 2007-09-04 | Paper |
About permutation algebras, (pre)sheaves and named sets
Higher-Order and Symbolic Computation | 2006-11-17 | Paper |
Processes, Terms and Cycles: Steps on the Road to Infinity
Lecture Notes in Computer Science | 2006-11-13 | Paper |
CONCUR 2005 – Concurrency Theory
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Processes as formal power series: a coinductive approach to denotational semantics
Theoretical Computer Science | 2006-09-14 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
Normal forms for algebras of connections.
Theoretical Computer Science | 2003-01-21 | Paper |
A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
Theoretical Computer Science | 2003-01-21 | Paper |
Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
Theoretical Computer Science | 2002-08-13 | Paper |
A causal semantics for CCS via rewriting logic
Theoretical Computer Science | 2002-07-31 | Paper |
scientific article; zbMATH DE number 1497812 (Why is no real title available?)
| 2001-03-04 | Paper |
scientific article; zbMATH DE number 1504838 (Why is no real title available?)
| 2000-09-12 | Paper |
scientific article; zbMATH DE number 1418364 (Why is no real title available?)
| 2000-08-21 | Paper |
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
RAIRO - Theoretical Informatics and Applications | 2000-05-11 | Paper |
An algebraic presentation of term graphs, via gs-monoidal categories
Applied Categorical Structures | 2000-03-23 | Paper |
scientific article; zbMATH DE number 1418361 (Why is no real title available?)
| 2000-03-19 | Paper |
scientific article; zbMATH DE number 1223715 (Why is no real title available?)
| 1999-05-18 | Paper |
scientific article; zbMATH DE number 1231533 (Why is no real title available?)
| 1998-12-20 | Paper |
scientific article; zbMATH DE number 1189283 (Why is no real title available?)
| 1998-11-26 | Paper |
scientific article; zbMATH DE number 1189296 (Why is no real title available?)
| 1998-10-08 | Paper |
scientific article; zbMATH DE number 1086713 (Why is no real title available?)
| 1998-06-02 | Paper |
