Michael Johnson

According to our database, Michael Johnson authored at least 27 papers between 1993 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Limits and Colimits in a Category of Lenses.

Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang, Gioele Zardini

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

2020

The more legs the merrier: A new composition for symmetric (multi-)lenses.

Michael Johnson, Robert D. Rosebrugh

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

2018

Confidentiality in the process of (model-driven) software development.

Michael Johnson, Perdita Stevens

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

Cospans and symmetric lenses.

Michael Johnson, Robert D. Rosebrugh

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2017

Symmetric delta lenses and spans of asymmetric delta lenses.

Michael Johnson, Robert D. Rosebrugh

J. Object Technol., 2017

2014

What Can Programming Languages Say About Data Exchange?

Michael Johnson, Jorge Pérez, James F. Terwilliger

Proceedings of the 17th International Conference on Extending Database Technology, 2014

2012

Lenses, fibrations and universal translations.

Michael Johnson, Robert D. Rosebrugh, Richard J. Wood

Math. Struct. Comput. Sci., 2012

2011

Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly.

George Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard J. Wood

Appl. Categorical Struct., 2011

2008

Mathematical Support for Ensemble Engineering.

Michael Johnson

Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Constant Complements, Reversibility and Universal View Updates.

Michael Johnson, Robert D. Rosebrugh

Proceedings of the Algebraic Methodology and Software Technology, 2008

Implementing a Categorical Information System.

Michael Johnson, Robert D. Rosebrugh

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Fibrations and universal view updatability.

Michael Johnson, Robert D. Rosebrugh

Theor. Comput. Sci., 2007

2006

Category Theoretic Models of Data Refinement.

Michael Johnson, David A. Naumann, John Power

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006

2005

Inconsistency Management and View Updates.

Catherine Menon, Michael Johnson, Charles Lakos

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2005

2003

Three approaches to Partiality in the Sketch Data Model.

Michael Johnson, Robert D. Rosebrugh

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Experience in developing interoperations among legacy information systems using partial reverse engineering.

Michael Johnson, Christopher N. G. Dampney

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

2002

Sketch Data Models, Relational Schema and Data Specifications.

Michael Johnson, Robert D. Rosebrugh

Proceedings of the Computing: the Australasian Theory Symposium, 2002

On the Specification of Higher Dimensional Automata.

Richard Buckland, Michael Johnson, Dominic R. Verity

Proceedings of the Categorical Methods for Concurrency, 2002

2001

Category-theoretic fibration as an abstraction mechanism in information systems.

Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson

Acta Informatica, 2001

Reverse Engineering Legacy Information Systems for Internet Based Interoperation.

Michael Johnson, Robert D. Rosebrugh

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory.

Michael Johnson, Christopher N. G. Dampney

Proceedings of the ICEIS 2001, 2001

On category theory as a (meta) ontology for information systems research.

Michael Johnson, Christopher N. G. Dampney

Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

Update Algorithms for the Sketch Data Model.

Michael Johnson, Robert D. Rosebrugh

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

View updates in a semantic data modelling paradigm.

Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney

Proceedings of the Twelfth Australasian Database Conference, 2001

1995

Application of "Consistency Dependency" to Corporate and Project Information Models.

Kit Dampney, Michael Johnson

Proceedings of the OOER'95: Object-Oriented and Entity-Relationship Modelling, 1995

1994

A higher order "commuting loop" structure that supports very large information system data and process architecture.

Christopher N. G. Dampney, Michael Johnson, Peter Dazeley, Verena Reich

Proceedings of the Business Process Re-Engineering: Information Systems Opportunities and Challenges, 1994

1993

On the Value of Commutative Diagrams in Information Modelling.

Michael Johnson, Christopher N. G. Dampney

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993