Robert D. Rosebrugh

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