BibSonomy :: author  ::

bookmarks

publications

(16)

• Implementing a Categorical Information System.
  Michael Johnson and Robert D. Rosebrugh AMAST 232-237 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Constant Complements, Reversibility and Universal View Updates.
  Michael Johnson and Robert D. Rosebrugh AMAST 238-252 (2008)
  to dblp by dblp on 2008-08-03 00:00:00
  | URL | BibTeX  
• Calculating Colimits Compositionally.
  Robert D. Rosebrugh and Nicoletta Sabadini and Robert F. C. Walters Concurrency, Graphs and Models 581-592 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Update Algorithms for the Sketch Data Model.
  Michael Johnson and Robert Rosebrugh CSCWD 367-376 (2001)
  to dblp by dblp on 2008-02-11 00:00:00
  | URL | BibTeX  
• Fibrations and universal view updatability.
  Michael Johnson and Robert Rosebrugh Theor. Comput. Sci. 388 109-129 (2007)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• Sketch Data Models, Relational Schema and Data Specifications.
  Michael Johnson and Robert Rosebrugh Electr. Notes Theor. Comput. Sci. 61 (2002)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• The Silc silicon compiler: language and features.
  Timothy Blackman and Jeffrey Fox and Christopher Rosebrugh DAC 232-237 (1985)
  to dblp by dblp on 2007-01-22 00:00:00
  | URL | BibTeX  
• Minimisation and minimal realisation in Span(Graph).
  Robert D. Rosebrugh and Nicoletta Sabadini and Robert F. C. Walters Mathematical Structures in Computer Science 14 685-714 (2004)
  to dblp by dblp on 2006-07-07 00:00:00
  | URL | BibTeX  
• A database of categories.
  Michael W. Fleming and Ryan Gunther and Robert D. Rosebrugh J. Symb. Comput. 35 127-135 (2003)
  to dblp by dblp on 2006-03-06 00:00:00
  | URL | BibTeX  
• Three approaches to Partiality in the Sketch Data Model.
  Michael Johnson and Robert D. Rosebrugh Electr. Notes Theor. Comput. Sci. 78 (2003)
  to dblp by dblp on 2004-07-28 00:00:00
  | URL | BibTeX