Robert F. C. Walters

Available identifiers

zbMath Open walters.robert-f-cMaRDI QIDQ633810

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4990312	2021-05-28	Paper
On the geometry and algebra of networks with state	2017-03-16	Paper
An Algebra of Automata That Includes Both Classical and Quantum Entities	2016-10-07	Paper
Blocked-braid groups	2015-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2847779	2013-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q2847786	2013-09-11	Paper
Tangled Circuits	2013-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2843909	2013-08-27	Paper
Comparing cospan-spans and tiles via a Hoare-style process calculus	2013-07-24	Paper
Racks and blocked braids	2013-07-20	Paper
The compositional construction of Markov processes II	2011-06-10	Paper
The compositional construction of Markov processes	2011-03-30	Paper
Bicategories of spans as cartesian bicategories	2010-04-20	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	2008-06-19	Paper
Cartesian Bicategories II	2008-05-16	Paper
A universal property of the monoidal 2-category of cospans of finite linear orders and surjections	2008-03-31	Paper
Frobenius Objects in Cartesian Bicategories	2008-03-31	Paper
On partita doppia	2008-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5701017	2005-11-02	Paper
Minimisation and minimal realisation in Span(Graph)	2005-02-28	Paper
Computing left Kan extensions.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4511151	2003-01-08	Paper
The compact closed bicategory of left adjoints	2002-02-26	Paper
Minimal realization in bicategories of automata	1999-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4373555	1998-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q4373556	1998-04-20	Paper
Matrices, machines and behaviors	1997-04-09	Paper
A note on recursive functions	1996-06-16	Paper
The Todd-Coxeter procedure and left Kan extensions	1996-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4843624	1995-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4327836	1995-04-09	Paper
An imperative language based on distributive categories II	1995-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4311230	1994-11-08	Paper
Coinverters and categories of fractions for categories with structure	1994-08-18	Paper
An imperative language based on distributive categories	1994-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5288969	1993-08-15	Paper
Algebra objects and algebra families for finite limit theories	1993-05-16	Paper
Introduction to extensive and distributive categories	1993-05-16	Paper
Categories and Computer Science	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3978969	1992-06-26	Paper
The duality between flow charts and circuits	1990-01-01	Paper
The calculus of ends over a base topos	1989-01-01	Paper
A note on context-free languages	1989-01-01	Paper
The free category with products on a multigraph	1989-01-01	Paper
Data types in distributive categories	1989-01-01	Paper
On completeness of locally-internal categories	1987-01-01	Paper
Cartesian bicategories. I	1987-01-01	Paper
An axiomatics for bicategories of modules	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3810814	1987-01-01	Paper
Variation through enrichment	1983-01-01	Paper
Sheaves on sites as Cauchy-complete categories	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3963202	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3958648	1981-01-01	Paper
Yoneda structures on 2-categories	1978-01-01	Paper
The comprehensive factorization of a functor	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5612493	1969-01-01	Paper
Alternative derivation of some regular continued fractions	1968-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert F. C. Walters