| 2008 |
|---|
| 16 | EE | Michael Johnson,
Robert D. Rosebrugh:
Implementing a Categorical Information System.
AMAST 2008: 232-237 |
| 15 | EE | Michael Johnson,
Robert D. Rosebrugh:
Constant Complements, Reversibility and Universal View Updates.
AMAST 2008: 238-252 |
| 14 | EE | Robert D. Rosebrugh,
Nicoletta Sabadini,
Robert F. C. Walters:
Calculating Colimits Compositionally.
Concurrency, Graphs and Models 2008: 581-592 |
| 2007 |
|---|
| 13 | EE | Michael Johnson,
Robert D. Rosebrugh:
Fibrations and universal view updatability.
Theor. Comput. Sci. 388(1-3): 109-129 (2007) |
| 2004 |
|---|
| 12 | 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 |
|---|
| 11 | EE | Michael Johnson,
Robert D. Rosebrugh:
Three approaches to Partiality in the Sketch Data Model.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 10 | EE | Michael W. Fleming,
Ryan Gunther,
Robert D. Rosebrugh:
A database of categories.
J. Symb. Comput. 35(2): 127-135 (2003) |
| 2002 |
|---|
| 9 | EE | Michael Johnson,
Robert D. Rosebrugh:
Sketch Data Models, Relational Schema and Data Specifications.
Electr. Notes Theor. Comput. Sci. 61: (2002) |
| 2001 |
|---|
| 8 | EE | Michael Johnson,
Robert D. Rosebrugh,
Christopher N. G. Dampney:
View updates in a semantic data modelling paradigm.
ADC 2001: 29-36 |
| 7 | EE | Michael Johnson,
Robert D. Rosebrugh:
Update Algorithms for the Sketch Data Model.
CSCWD 2001: 367-376 |
| 6 | EE | Michael Johnson,
Robert D. Rosebrugh:
View Updatability Based on the Models of a Formal Specification.
FME 2001: 534-549 |
| 5 | EE | Michael Johnson,
Robert D. Rosebrugh:
Reverse Engineering Legacy Information Systems for Internet Based Interoperation.
ICSM 2001: 32- |
| 4 | EE | Robert D. Rosebrugh,
R. J. Wood:
Boundedness and Complete Distributivity.
Applied Categorical Structures 9(5): 437-456 (2001) |
| 1998 |
|---|
| 3 | | 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) |
| 1975 |
|---|
| 2 | | Robert D. Rosebrugh,
Derick Wood:
Image Theorems for Simple Matrix Languages and n-Parallel Languages.
Mathematical Systems Theory 8(2): 150-155 (1975) |
| 1973 |
|---|
| 1 | | Robert D. Rosebrugh,
Derick Wood:
A Characterization Theorem for n-Parallel Right Linear Languages.
J. Comput. Syst. Sci. 7(6): 579-582 (1973) |
