Michael Johnson

29 papers B 1C 2Misc 1Journal 5Unranked 17
YearRankTypeTitle / Venue / Authors
2021 — conf
Limits and Colimits in a Category of Lenses.
ACT
Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang, Gioele Zardini
2020 — conf
The more legs the merrier: A new composition for symmetric (multi-)lenses.
ACT
Michael Johnson, Robert D. Rosebrugh
2018 — conf
Confidentiality in the process of (model-driven) software development.
Programming
Michael Johnson, Perdita Stevens
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
2014 B conf
What Can Programming Languages Say About Data Exchange?
EDBT
Michael Johnson, Jorge Pérez, James F. Terwilliger
2012 J jnl
Lenses, fibrations and universal translations.
Math. Struct. Comput. Sci.
Michael Johnson, Robert D. Rosebrugh, Richard J. Wood
2011 — ed.
Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
AMAST
Michael Johnson, Dusko Pavlovic
2011 J jnl
Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly.
Appl. Categorical Struct.
George Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard J. Wood
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
2008 — ch.
Mathematical Support for Ensemble Engineering.
Software-Intensive Systems and New Computing Paradigms
Michael Johnson
2007 J jnl
Fibrations and universal view updatability.
Theor. Comput. Sci.
Michael Johnson, Robert D. Rosebrugh
2006 — ed.
Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
AMAST
Michael Johnson, Varmo Vene
2006 — conf
Category Theoretic Models of Data Refinement.
MFCSIT
Michael Johnson, David A. Naumann, John Power
2005 — conf
Inconsistency Management and View Updates.
FESCA@ETAPS
Catherine Menon, Michael Johnson, Charles Lakos
2003 — conf
Experience in developing interoperations among legacy information systems using partial reverse engineering.
ICSM
Michael Johnson, Christopher N. G. Dampney
2003 — conf
Three approaches to Partiality in the Sketch Data Model.
CATS
Michael Johnson, Robert D. Rosebrugh
2002 — conf
On the Specification of Higher Dimensional Automata.
Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR
Richard Buckland, Michael Johnson, Dominic R. Verity
2002 — conf
Sketch Data Models, Relational Schema and Data Specifications.
CATS
Michael Johnson, Robert D. Rosebrugh
2001 J jnl
Category-theoretic fibration as an abstraction mechanism in information systems.
Acta Informatica
Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson
2001 — conf
Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory.
ICEIS (2)
Michael Johnson, Christopher N. G. Dampney
2001 C conf
On category theory as a (meta) ontology for information systems research.
FOIS
Michael Johnson, Christopher N. G. Dampney
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 Misc conf
View updates in a semantic data modelling paradigm.
ADC
Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney
1995 — conf
Application of "Consistency Dependency" to Corporate and Project Information Models.
OOER
Kit Dampney, Michael Johnson
1994 — conf
A higher order "commuting loop" structure that supports very large information system data and process architecture.
Business Process Re-Engineering
Christopher N. G. Dampney, Michael Johnson, Peter Dazeley, Verena Reich
1993 — conf
On the Value of Commutative Diagrams in Information Modelling.
AMAST
Michael Johnson, Christopher N. G. Dampney