| Publication | Date of Publication | Type |
|---|
| Span(Graph): a Canonical Feedback Algebra of Open Transition Systems | 2020-10-20 | Paper |
CospanSpan(Graph): a compositional description of the heart system
Fundamenta Informaticae | 2020-06-21 | Paper |
| Cospan/Span(Graph): an algebra for open, reconfigurable automata networks | 2018-08-13 | Paper |
On the geometry and algebra of networks with state
Theoretical Computer Science | 2017-03-16 | Paper |
An algebra of automata that includes both classical and quantum entities
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Blocked-braid groups
Applied Categorical Structures | 2015-02-05 | Paper |
| Timing in the cospan-span model | 2013-09-11 | Paper |
| Compositional minimization in Span(Graph): some examples | 2013-09-11 | Paper |
Tangled circuits
Theory and Applications of Categories | 2013-09-04 | Paper |
Tangled circuits
Theory and Applications of Categories | 2013-09-04 | Paper |
| Hierarchical automata and P-systems | 2013-08-27 | Paper |
Comparing cospan-spans and tiles via a Hoare-style process calculus
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
| Racks and blocked braids | 2013-07-20 | Paper |
The compositional construction of Markov processes. II
RAIRO - Theoretical Informatics and Applications | 2011-06-10 | Paper |
The compositional construction of Markov processes. II
RAIRO - Theoretical Informatics and Applications | 2011-06-10 | Paper |
The compositional construction of Markov processes
Applied Categorical Structures | 2011-03-30 | Paper |
| Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems | 2009-09-23 | Paper |
| The parallel composition of processes | 2009-04-25 | Paper |
| A process algebra for the Span(Graph) model of concurrency | 2009-04-25 | Paper |
Calculating Colimits Compositionally
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Calculating Colimits Compositionally
Concurrency, Graphs and Models | 2008-06-19 | Paper |
| A universal property of the monoidal 2-category of cospans of finite linear orders and surjections | 2008-03-31 | Paper |
A universal property of the monoidal 2-category of cospans of finite linear orders and surjections
(available as arXiv preprint) | 2008-03-31 | Paper |
| A universal property of the monoidal 2-category of cospans of finite linear orders and surjections | 2008-03-31 | Paper |
| On partita doppia | 2008-03-17 | Paper |
| scientific article; zbMATH DE number 2222245 (Why is no real title available?) | 2005-11-02 | Paper |
| scientific article; zbMATH DE number 2222245 (Why is no real title available?) | 2005-11-02 | Paper |
Minimisation and minimal realisation in Span(Graph)
Mathematical Structures in Computer Science | 2005-02-28 | Paper |
| scientific article; zbMATH DE number 2044498 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1522866 (Why is no real title available?) | 2003-01-08 | Paper |
Minimal realization in bicategories of automata
Mathematical Structures in Computer Science | 1999-06-20 | Paper |
| scientific article; zbMATH DE number 1107620 (Why is no real title available?) | 1998-04-20 | Paper |
| scientific article; zbMATH DE number 1107621 (Why is no real title available?) | 1998-04-20 | Paper |
Matrices, machines and behaviors
Applied Categorical Structures | 1997-04-09 | Paper |
Probabilistic asynchronous automata
Mathematical Systems Theory | 1996-07-01 | Paper |
A note on recursive functions
Mathematical Structures in Computer Science | 1996-06-16 | Paper |
| scientific article; zbMATH DE number 679806 (Why is no real title available?) | 1995-12-18 | Paper |
| scientific article; zbMATH DE number 554483 (Why is no real title available?) | 1994-04-19 | Paper |
| scientific article; zbMATH DE number 475419 (Why is no real title available?) | 1994-01-13 | Paper |
On the existence of minimum asynchronous automata and on the equivalence problem for unambiguous regular trace languages
Information and Computation | 1994-01-01 | Paper |
HOLONOMIC GENERATING FUNCTIONS AND CONTEXT FREE LANGUAGES
International Journal of Foundations of Computer Science | 1993-01-16 | Paper |
The complexity of computing the number of strings of given length in context-free languages
Theoretical Computer Science | 1992-06-26 | Paper |
Membership problems for regular and context-free trace languages
Information and Computation | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4058887 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4051029 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4116001 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4033108 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4024789 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4045155 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4020497 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3986645 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3905850 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3903969 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3808972 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3765179 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3874641 (Why is no real title available?) | 1982-01-01 | Paper |
An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages
Lecture Notes in Computer Science | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3737026 (Why is no real title available?) | 1981-01-01 | Paper |
