Robert D. Rosebrugh

Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2015

Distributing Commas, and the Monad of Anchored Spans.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

Spans of Delta Lenses.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

2014

Spans of lenses.

[BibT_eX]

[DOI]

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014

2013

Delta Lenses and Opfibrations.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2012

Lenses, fibrations and universal translations.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2012

Lens put-put laws: monotonic and mixed.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

2011

Tangled Circuits

[BibT_eX]

[DOI]

CoRR, 2011

2010

Algebras and Update Strategies.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2010

2008

Calculating Colimits Compositionally.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

Constant Complements, Reversibility and Universal View Updates.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

Implementing a Categorical Information System.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Fibrations and universal view updatability.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

2004

Minimisation and minimal realisation in Span(Graph).

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2004

2003

A database of categories.

[BibT_eX]

[DOI]

Michael W. Fleming

Ryan Gunther

J. Symb. Comput., 2003

Three approaches to Partiality in the Sketch Data Model.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

2002

Sketch Data Models, Relational Schema and Data Specifications.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposium, 2002

2001

Boundedness and Complete Distributivity.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2001

Reverse Engineering Legacy Information Systems for Internet Based Interoperation.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

View Updatability Based on the Models of a Formal Specification.

[BibT_eX]

[DOI]

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Update Algorithms for the Sketch Data Model.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001

View updates in a semantic data modelling paradigm.

[BibT_eX]

[DOI]

Christopher N. G. Dampney

Proceedings of the Twelfth Australasian Database Conference, 2001

1998

Minimal Realization in Bicategories of Automata.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1998

1994

Constructive complete distributivity IV.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1994

1975

Image Theorems for Simple Matrix Languages and n-Parallel Languages.

[BibT_eX]

[DOI]

Derick Wood

Math. Syst. Theory, 1975

1973

A Characterization Theorem for n-Parallel Right Linear Languages.

[BibT_eX]

[DOI]