| Publication | Date of Publication | Type |
|---|
Modal epistemic logic on contracts: a doctrinal approach
Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
On continuous time agents
Lecture Notes in Computer Science | 2023-08-16 | Paper |
A completeness theorem for nondeterministic Kleene algebras
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Transactions and contracts based on reaction systems
Theoretical Computer Science | 2021-08-11 | Paper |
A compositional view of derivations as interactive processes with applications to regulated and distributed rewriting
Theoretical Computer Science | 2021-03-09 | Paper |
Reaction systems with influence on environment
Journal of Membrane Computing | 2020-02-24 | Paper |
Networks of reaction systems
International Journal of Foundations of Computer Science | 2020-02-21 | Paper |
Networks of picture processors as problem solvers
Soft Computing | 2018-04-26 | Paper |
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
Mathematical Structures in Computer Science | 2018-03-09 | Paper |
Initial algebra for a system of right-linear functors
Acta Cybernetica | 2017-08-25 | Paper |
Prefix-suffix square reduction
Theoretical Computer Science | 2017-06-15 | Paper |
Networks of polarized multiset processors
Journal of Computer and System Sciences | 2016-12-28 | Paper |
Accepting networks of evolutionary picture processors
Fundamenta Informaticae | 2014-05-12 | Paper |
Context insertions
Computation, Cooperation, and Life | 2011-06-24 | Paper |
Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
Natural Computing | 2011-05-23 | Paper |
Generalising Conduché's theorem
Applied Categorical Structures | 2011-03-30 | Paper |
Tree-functors, determinacy and bisimulations
Mathematical Structures in Computer Science | 2010-06-02 | Paper |
Filter position in networks of evolutionary processors does not matter: a direct proof
Lecture Notes in Computer Science | 2010-01-07 | Paper |
Conduché property and tree-based categories
Journal of Pure and Applied Algebra | 2009-11-25 | Paper |
Networks of Evolutionary Picture Processors with Filtered Connections
Lecture Notes in Computer Science | 2009-10-22 | Paper |
Superposition based on Watson-Crick-like complementarity
Theory of Computing Systems | 2006-10-25 | Paper |
| scientific article; zbMATH DE number 2087502 (Why is no real title available?) | 2004-08-11 | Paper |
A Fully Equational Proof of Parikh's Theorem
RAIRO - Theoretical Informatics and Applications | 2004-07-22 | Paper |
Nondeterministic regular expressions as solutions of equational systems.
Theoretical Computer Science | 2003-08-17 | Paper |
An Equational Axiomatization of Bisimulation over Regular Expressions
Journal Of Logic And Computation | 2003-06-16 | Paper |
Categories enriched on two sides
Journal of Pure and Applied Algebra | 2003-06-15 | Paper |
Categories with sums and right distributive tensor product
Journal of Pure and Applied Algebra | 2003-03-09 | Paper |
Change of base, Cauchy completeness and reversibility
Theory and Applications of Categories | 2002-04-23 | Paper |
Change of base, Cauchy completeness and reversibility
Theory and Applications of Categories | 2002-04-23 | Paper |
Iteration 2-theories
Applied Categorical Structures | 2002-03-13 | Paper |
| scientific article; zbMATH DE number 1522872 (Why is no real title available?) | 2001-08-05 | Paper |
A Finite Axiomatization of Nondeterministic Regular Expressions
RAIRO - Theoretical Informatics and Applications | 2000-10-03 | Paper |
A Finite Axiomatization of Nondeterministic Regular Expressions
RAIRO - Theoretical Informatics and Applications | 2000-10-03 | Paper |
| scientific article; zbMATH DE number 1500662 (Why is no real title available?) | 2000-09-04 | Paper |
Observational trees as models for concurrency
Mathematical Structures in Computer Science | 2000-03-23 | Paper |
Models of nondeterministic regular expressions
Journal of Computer and System Sciences | 2000-03-19 | Paper |
| scientific article; zbMATH DE number 1234886 (Why is no real title available?) | 1999-04-11 | Paper |
Equational properties of iteration in algebraically complete categories
Theoretical Computer Science | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 1114042 (Why is no real title available?) | 1998-04-20 | Paper |
| scientific article; zbMATH DE number 1107618 (Why is no real title available?) | 1998-02-16 | Paper |
Process synchronisation as fusion
Applied Categorical Structures | 1996-12-16 | Paper |
Enriched categorical semantics for distributed calculi
Journal of Pure and Applied Algebra | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 4062569 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4043229 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4039255 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4028883 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4092751 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4003508 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3970096 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3936529 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3726355 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3579848 (Why is no real title available?) | 1976-01-01 | Paper |
Clusters su fuzzy sets ed invarianti algebrico-topologici su tavole oggetto-predicato
Rendiconti del Circolo Matematico di Palermo | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3515662 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3547494 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3379131 (Why is no real title available?) | 1972-01-01 | Paper |
