Robert F. C. Walters

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 2

Top Topics

Complex Networks

Genetic Algorithm

Group Formation

Top Venues

Appl. Categorical Struct.

Theor. Comput. Sci.

Publications

Nicoletta Sabadini, Filippo Schiavio, Robert F. C. Walters
On the geometry and algebra of networks with state. Theor. Comput. Sci. 664 (2017)
D. Maglia, Nicoletta Sabadini, Robert F. C. Walters
Blocked-Braid Groups. Appl. Categorical Struct. 23 (1) (2015)
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
An Algebra of Automata That Includes Both Classical and Quantum Entities. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
The compositional construction of Markov processes II. RAIRO Theor. Informatics Appl. 45 (1) (2011)
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
The Compositional Construction of Markov Processes. Appl. Categorical Struct. 19 (1) (2011)
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
Tangled Circuits CoRR (2011)
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
The compositional construction of Markov processes CoRR (2009)
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
The compositional construction of Markov processes. ICTCS (2009)
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
An algebra of automata which includes both classical and quantum entities CoRR (2009)
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
Calculating Colimits Compositionally. Concurrency, Graphs and Models (2008)
Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters
Timing in the Cospan-Span Model. Electron. Notes Theor. Comput. Sci. 104 (2004)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
Compositional Minimization in Span(Graph): Some Examples. Electron. Notes Theor. Comput. Sci. 104 (2004)
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
Minimisation and minimal realisation in Span(Graph). Math. Struct. Comput. Sci. 14 (5) (2004)
M. R. Bush, M. Leeming, Robert F. C. Walters
Computing left Kan extensions. J. Symb. Comput. 35 (2) (2003)
Nicoletta Sabadini, Robert F. C. Walters
Hierarchical Automata and P-systems. Electron. Notes Theor. Comput. Sci. 78 (2003)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
Feedback, trace and fixed-point semantics. RAIRO Theor. Informatics Appl. 36 (2) (2002)
Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
Comparing cospan-spans and tiles via a Hoare-style process calculus. Electron. Notes Theor. Comput. Sci. 62 (2001)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
A Formalization of the IWIM Model. COORDINATION (2000)
R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
On Automata with Boundary CoRR (2000)
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
Minimal Realization in Bicategories of Automata. Math. Struct. Comput. Sci. 8 (2) (1998)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
Span(Graph): A Categorial Algebra of Transition Systems. AMAST (1997)
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
Representing Place/Transition Nets in Span(Graph). AMAST (1997)
Stephen L. Bloom, Nicoletta Sabadini, Robert F. C. Walters
Matrices, machines and behaviors. Appl. Categorical Struct. 4 (4) (1996)
Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters
A Note on Recursive Functions. Math. Struct. Comput. Sci. 6 (2) (1996)
S. Carmody, M. Leeming, Robert F. C. Walters
The Todd-Coxeter Procedure and Left Kan Extensions. J. Symb. Comput. 19 (5) (1995)
Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters
Fix-point Semantics for Programs in Distributive Categories. Fundam. Informaticae 22 (1/2) (1995)
Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters
A Notion of Refinement for Automata. AMAST (1993)
G. M. Kelly, Stephen Lack, Robert F. C. Walters
Coinverters and categories of fractions for categories with structure. Appl. Categorical Struct. 1 (1) (1993)
Wafaa Khalil, Robert F. C. Walters
An Imperative Language Based on Distributive Categories II. RAIRO Theor. Informatics Appl. 27 (6) (1993)
Robert F. C. Walters
An Imperative Language Based on Distributive Categories. Math. Struct. Comput. Sci. 2 (3) (1992)