dblp.uni-trier.dewww.uni-trier.de

Robert F. C. Walters

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
22EEL. de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters: The compositional construction of Markov processes CoRR abs/0901.2434: (2009)
21EEL. 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
20EERobert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters: Calculating Colimits Compositionally. Concurrency, Graphs and Models 2008: 581-592
2004
19EEPiergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: Compositional Minimization in Span(Graph): Some Examples. Electr. Notes Theor. Comput. Sci. 104: 181-197 (2004)
18EEAlessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters: Timing in the Cospan-Span Model. Electr. Notes Theor. Comput. Sci. 104: 81-97 (2004)
17EERobert 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
16EENicoletta Sabadini, Robert F. C. Walters: Hierarchical Automata and P-systems. Electr. Notes Theor. Comput. Sci. 78: (2003)
15EEM. R. Bush, M. Leeming, Robert F. C. Walters: Computing left Kan extensions. J. Symb. Comput. 35(2): 107-126 (2003)
2002
14EEPiergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: Feedback, trace and fixed-point semantics. ITA 36(2): 181-194 (2002)
2001
13EEFabio 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
12EEPiergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters: A Formalization of the IWIM Model. COORDINATION 2000: 267-283
11EER. 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
3EEG. 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)