Robert D. Rosebrugh

Publication Activity (10 Years)

Years Active: 1973-2020
Publications (10 Years): 8

Top Topics

Imaging Systems

Top Venues

J. Object Technol.

Publications

Michael Johnson, Robert D. Rosebrugh
The more legs the merrier: A new composition for symmetric (multi-)lenses. ACT (2020)
Michael Johnson, Robert D. Rosebrugh
Multicategories of Multiary Lenses. Bx@PLW (2019)
Michael Johnson, Robert D. Rosebrugh
Cospans and symmetric lenses. Programming (2018)
Michael Johnson, Robert D. Rosebrugh
Universal Updates for Symmetric Lenses. BX@ETAPS (2017)
Michael Johnson, Robert D. Rosebrugh
Symmetric delta lenses and spans of asymmetric delta lenses. J. Object Technol. 16 (1) (2017)
Michael Johnson, Robert D. Rosebrugh
Unifying Set-Based, Delta-Based and Edit-Based Lenses. Bx@ETAPS (2016)
Michael Johnson, Robert D. Rosebrugh
Distributing Commas, and the Monad of Anchored Spans. Bx@STAF (2015)
Michael Johnson, Robert D. Rosebrugh
Spans of Delta Lenses. Bx@STAF (2015)
Michael Johnson, Robert D. Rosebrugh
Spans of lenses. EDBT/ICDT Workshops (2014)
Michael Johnson, Robert D. Rosebrugh
Delta Lenses and Opfibrations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Michael Johnson, Robert D. Rosebrugh, Richard J. Wood
Lenses, fibrations and universal translations. Math. Struct. Comput. Sci. 22 (1) (2012)
Michael Johnson, Robert D. Rosebrugh
Lens put-put laws: monotonic and mixed. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
Tangled Circuits CoRR (2011)
Michael Johnson, Robert D. Rosebrugh, Richard J. Wood
Algebras and Update Strategies. J. Univers. Comput. Sci. 16 (5) (2010)
Michael Johnson, Robert D. Rosebrugh
Implementing a Categorical Information System. AMAST (2008)
Michael Johnson, Robert D. Rosebrugh
Constant Complements, Reversibility and Universal View Updates. AMAST (2008)
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
Calculating Colimits Compositionally. Concurrency, Graphs and Models (2008)
Michael Johnson, Robert D. Rosebrugh
Fibrations and universal view updatability. Theor. Comput. Sci. 388 (1-3) (2007)
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
Minimisation and minimal realisation in Span(Graph). Math. Struct. Comput. Sci. 14 (5) (2004)
Michael Johnson, Robert D. Rosebrugh
Three approaches to Partiality in the Sketch Data Model. Electron. Notes Theor. Comput. Sci. 78 (2003)
Michael W. Fleming, Ryan Gunther, Robert D. Rosebrugh
A database of categories. J. Symb. Comput. 35 (2) (2003)
Michael Johnson, Robert D. Rosebrugh
Sketch Data Models, Relational Schema and Data Specifications. Electron. Notes Theor. Comput. Sci. 61 (2002)
Michael Johnson, Robert D. Rosebrugh
Update Algorithms for the Sketch Data Model. CSCWD (2001)
Michael Johnson, Robert D. Rosebrugh
View Updatability Based on the Models of a Formal Specification. FME (2001)
Robert D. Rosebrugh, Richard J. Wood
Boundedness and Complete Distributivity. Appl. Categorical Struct. 9 (5) (2001)
Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney
View updates in a semantic data modelling paradigm. ADC (2001)
Michael Johnson, Robert D. Rosebrugh
Reverse Engineering Legacy Information Systems for Internet Based Interoperation. ICSM (2001)
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
Minimal Realization in Bicategories of Automata. Math. Struct. Comput. Sci. 8 (2) (1998)
Robert D. Rosebrugh, Richard J. Wood
Constructive complete distributivity IV. Appl. Categorical Struct. 2 (2) (1994)
Robert D. Rosebrugh, Derick Wood
Image Theorems for Simple Matrix Languages and n-Parallel Languages. Math. Syst. Theory 8 (2) (1975)
Robert D. Rosebrugh, Derick Wood
A Characterization Theorem for n-Parallel Right Linear Languages. J. Comput. Syst. Sci. 7 (6) (1973)