On the Value of Commutative Diagrams in Information Modelling. - Michael Johnson 001; Christopher N. G. Dampney (AMAST, 1993)

A higher order "commuting loop" structure that supports very large information system data and process architecture. - Christopher N. G. Dampney; Michael Johnson 001; Peter Dazeley; Verena Reich (Business Process Re-Engineering, 1994)

Application of "Consistency Dependency" to Corporate and Project Information Models. - Kit Dampney; Michael Johnson 001 (OOER, 1995)

View updates in a semantic data modelling paradigm. - Michael Johnson 001; Robert D. Rosebrugh; Christopher N. G. Dampney (ADC, 2001)

Update Algorithms for the Sketch Data Model. - Michael Johnson 001; Robert D. Rosebrugh (CSCWD, 2001)

On category theory as a (meta) ontology for information systems research. - Michael Johnson 001; Christopher N. G. Dampney (FOIS, 2001)

Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory. - Michael Johnson 001; Christopher N. G. Dampney (ICEIS (2), 2001)

Reverse Engineering Legacy Information Systems for Internet Based Interoperation. - Michael Johnson 001; Robert D. Rosebrugh (ICSM, 2001)

Category-theoretic fibration as an abstraction mechanism in information systems. - Robert M. Colomb; Christopher N. G. Dampney; Michael Johnson 001 (Acta Informatica, 2001)

On the Specification of Higher Dimensional Automata. - Richard Buckland; Michael Johnson 001; Dominic R. Verity (Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, 2002)

Sketch Data Models, Relational Schema and Data Specifications. - Michael Johnson 001; Robert D. Rosebrugh (CATS, 2002)

Experience in developing interoperations among legacy information systems using partial reverse engineering. - Michael Johnson 001; Christopher N. G. Dampney (ICSM, 2003)

Three approaches to Partiality in the Sketch Data Model. - Michael Johnson 001; Robert D. Rosebrugh (CATS, 2003)

Inconsistency Management and View Updates. - Catherine Menon; Michael Johnson 001; Charles Lakos (FESCA@ETAPS, 2005)

Category Theoretic Models of Data Refinement. - Michael Johnson 001; David A. Naumann; John Power (MFCSIT, 2006)

Fibrations and universal view updatability. - Michael Johnson 001; Robert D. Rosebrugh (Theor. Comput. Sci., 2007)

Implementing a Categorical Information System. - Michael Johnson 001; Robert D. Rosebrugh (AMAST, 2008)

Constant Complements, Reversibility and Universal View Updates. - Michael Johnson 001; Robert D. Rosebrugh (AMAST, 2008)

Mathematical Support for Ensemble Engineering. - Michael Johnson 001 (Software-Intensive Systems and New Computing Paradigms, 2008)

Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly. - George Janelidze; Martin Hyland; Michael Johnson 001; Peter T. Johnstone; Stephen Lack; Ross Street; Walter Tholen; Richard J. Wood (Appl. Categorical Struct., 2011)

Lenses, fibrations and universal translations. - Michael Johnson 001; Robert D. Rosebrugh; Richard J. Wood (Math. Struct. Comput. Sci., 2012)

What Can Programming Languages Say About Data Exchange? - Michael Johnson 001; Jorge Pérez 001; James F. Terwilliger (EDBT, 2014)

Symmetric delta lenses and spans of asymmetric delta lenses. - Michael Johnson 001; Robert D. Rosebrugh (J. Object Technol., 2017)

Cospans and symmetric lenses. - Michael Johnson 001; Robert D. Rosebrugh (Programming, 2018)

Confidentiality in the process of (model-driven) software development. - Michael Johnson 001; Perdita Stevens (Programming, 2018)

The more legs the merrier: A new composition for symmetric (multi-)lenses. - Michael Johnson 001; Robert D. Rosebrugh (ACT, 2020)

Limits and Colimits in a Category of Lenses. - Emma Chollet; Bryce Clarke; Michael Johnson 001; Maurine Songa; Vincent Wang 001; Gioele Zardini (ACT, 2021)