Robert F. C. Walters

2009
22	EE	L. de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters: The compositional construction of Markov processes CoRR abs/0901.2434: (2009)
21	EE	L. de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters: An algebra of automata which includes both classical and quantum entities CoRR abs/0901.4754: (2009)
2008
20	EE	Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters: Calculating Colimits Compositionally. Concurrency, Graphs and Models 2008: 581-592
2004
19	EE	Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: Compositional Minimization in Span(Graph): Some Examples. Electr. Notes Theor. Comput. Sci. 104: 181-197 (2004)
18	EE	Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters: Timing in the Cospan-Span Model. Electr. Notes Theor. Comput. Sci. 104: 81-97 (2004)
17	EE	Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters: Minimisation and minimal realisation in Span(Graph). Mathematical Structures in Computer Science 14(5): 685-714 (2004)
2003
16	EE	Nicoletta Sabadini, Robert F. C. Walters: Hierarchical Automata and P-systems. Electr. Notes Theor. Comput. Sci. 78: (2003)
15	EE	M. R. Bush, M. Leeming, Robert F. C. Walters: Computing left Kan extensions. J. Symb. Comput. 35(2): 107-126 (2003)
2002
14	EE	Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: Feedback, trace and fixed-point semantics. ITA 36(2): 181-194 (2002)
2001
13	EE	Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters: Comparing cospan-spans and tiles via a Hoare-style process calculus. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
12	EE	Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: A Formalization of the IWIM Model. COORDINATION 2000: 267-283
11	EE	R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: On Automata with Boundary CoRR cs.DC/0002008: (2000)
1998
10		Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters: Minimal Realization in Bicategories of Automata. Mathematical Structures in Computer Science 8(2): 93-116 (1998)
1997
9		Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: Span(Graph): A Categorial Algebra of Transition Systems. AMAST 1997: 307-321
8		Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: Representing Place/Transition Nets in Span(Graph). AMAST 1997: 322-336
1996
7		Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters: A Note on Recursive Functions. Mathematical Structures in Computer Science 6(2): 127-139 (1996)
1995
6		Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters: Fix-point Semantics for Programs in Distributive Categories. Fundam. Inform. 22(1/2): 187-202 (1995)
5		S. Carmody, M. Leeming, Robert F. C. Walters: The Todd-Coxeter Procedure and Left Kan Extensions. J. Symb. Comput. 19(5): 459-488 (1995)
1993
4		Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters: A Notion of Refinement for Automata. AMAST 1993: 325-332
3	EE	G. M. Kelly, Stephen Lack, Robert F. C. Walters: Coinverters and categories of fractions for categories with structure. Applied Categorical Structures 1(1): 95-102 (1993)
2		Wafaa Khalil, Robert F. C. Walters: An Imperative Language Based on Distributive Categories II. ITA 27(6): 503-522 (1993)
1992
1		Robert F. C. Walters: An Imperative Language Based on Distributive Categories. Mathematical Structures in Computer Science 2(3): 249-256 (1992)

Coauthor Index

1	L. de Francesco Albasini	[21] [22]
2	M. R. Bush	[15]
3	S. Carmody	[5]
4	Alessandra Cherubini	[18]
5	Fabio Gadducci	[13]
6	R. Gates	[11]
7	Piergiulio Katis	[8] [9] [11] [12] [13] [14] [19]
8	G. M. Kelly	[3]
9	Wafaa Khalil	[2] [6]
10	Stephen Lack	[3]
11	M. Leeming	[5] [15]
12	Ugo Montanari	[13]
13	Robert D. Rosebrugh	[10] [17] [20]
14	Nicoletta Sabadini	[4] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [19] [20] [21] [22]
15	Sebastiano Vigna	[4] [7]
16	Eric G. Wagner	[6]

Colors in the list of coauthors