Michael Johnson

Professor

  • 383 Citations
  • 10 h-Index
1981 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1981 2018

Filter
Conference proceeding contribution
2018

Cospans and symmetric lenses

Johnson, M. & Rosebrugh, R. 9 Apr 2018 Proceedings of 2nd International Conference on Art, Science, and Engineering of Programming (<Programming'18> Companion). Association for Computing Machinery, p. 21-29 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Lenses
2017

Universal updates for symmetric lenses

Johnson, M. & Rosebrugh, R. 2017 BX 2017: Bidirectional Transformations: Proceedings of the 6th International Workshop on Bidirectional Transformations. Eramo, R. & Johnson, M. (eds.). Aachen: Rheinisch-Westfaelische Technische Hochschule Aachen, p. 39-53 15 p. (CEUR workshop proceedings; vol. 1827) (CEUR Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
Lenses
Equivalence classes
2014

What can programming languages say about data exchange?

Johnson, M., Pérez, J. & Terwilliger, J. F. 2014 Advances in Database Technology - EDBT 2014: 17th International Conference on Extending Database Technology, Proceedings. Amer-Yahia, S., Christophides, V., Kementsietsidis, A., Garofalakis, M., Idreos, S. & Leroy, V. (eds.). OpenProceedings.org, University of Konstanz, University Library, p. 223-228 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Open Access
File
Electronic data interchange
Computer programming languages
Lenses
2010

A Relational model of incomplete data without nulls

Johnson, M. & Kasangian, S. 2010 Conferences in Research and Practice in Information Technology: proceedings of the Sixteenth Computing--the Australasian Theory Symposium (CATS 2010), Brisbane, Australia, January 18-21 2010. Viglas, T. & Potanin, A. (eds.). Sydney: Australian Computer Society, p. 89-94 6 p. (Conferences in research and practice in information technology series; vol. 109)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Relational Model
Incomplete Data
Cartesian
Partial
Morita Equivalence
2008

Constant complements, reversibility and universal view updates

Johnson, M. & Rosebrugh, R. 2008 Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings. Meseguer, J. & Roşu, G. (eds.). Berlin: Springer, Springer Nature, p. 238-252 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5140 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Reversibility
Data structures
Complement
Update
Information systems

Implementing a categorical information system

Johnson, M. & Rosebrugh, R. 2008 Algebraic methodology and software technology: 12th International Conference, AMAST 2008, Urbana, IL, USA, July 2008, proceedings. Meseguer, J. & Roşu, G. (eds.). Berlin: Springer, Springer Nature, p. 232-237 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5140 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Categorical
Information Systems
Information systems
Database Design
Rapid Prototyping

Mathematical support for ensemble engineering

Johnson, M. 2008 Software-intensive systems and new computing paradigms: challenges and visions. Wirsing, M., Banâtre, J-P., Hölzl, M. & Rauschmayer, A. (eds.). Berlin: Springer, Springer Nature, p. 179-189 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5380 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Category Theory
Universal Algebra
Data Modeling
Missing Data
Inconsistency
2007

Enterprise software with half-duplex interoperations

Johnson, M. 2007 Enterprise interoperability: new challenges and approaches. Doumeingts, G., Muller, J., Morel, G. & Vallespir, B. (eds.). London: Springer, Springer Nature, p. 521-530 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2003

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

Johnson, M. & Dampney, C. N. G. Sep 2003 International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings.. Pfleeger, S. L., Verhoef, C. & van Vliet, H. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 369-372 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Legacy systems
Reverse engineering
Information systems
Interoperability
Health

Oriented combinatorial topology and concurrency

Johnson, M. & Verity, D. 2003 Preliminary Proceedings of the Workshop on Geometry and Topology in Concurrency Theory. Cousot, P., Fajstrup, L., Goubault, E., Herlihy, M., Kurtz, A., Raussen, M. & Sassone, V. (eds.). Denmark: BRICS: Basic Research in Computer Science, Vol. NS-03-01, p. 51-54 4 p. (BRICS Notes Series; vol. 03, no. 1)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Topology
Software engineering
2002

Enterprise information systems: specifying the links among project data models using category theory

Johnson, M. & Dampney, C. N. G. 2002 Enterprise Information Systems III. Filipe, J., Sharp, B. & Miranda, P. (eds.). Dordrecht, The Netherlands: Kluwer Academic Publishers, p. 191-197 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

2001

Coproducts in Categorical Information System Specification

Johnson, M. & Rosebrugh, R. 2001 World Multi Conferences on Systemics, Cybernetics and Informatics Proceedings Volume XIV Computer Science and Engineering: Part II. Callaos, N., Tinetti, F. G., Champarnaud, J. M. & Lee, J. K. (eds.). Orlando, USA: International Institute of Informatics and Systemics, p. 145-150 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Enterprise information systems: specifying the links among project data models using category theory

Johnson, M. & Dampney, C. N. G. 2001 ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems. Miranda, P., Sharp, B., Pakstas, A. & Filipe, J. (eds.). Setubal, Portugal: ICEIS Press, Vol. 2, p. 619-626 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Telecommunication links
Data structures
Information systems
Industry
Telecommunication

Half-Duplex Interoperations for Cooperating Information Systems

Johnson, M. & Dampney, C. N. G. 2001 Advances in Concurrent Engineering. Roy, R. & Prasad, B. (eds.). Tustin, USA: CETEAM International, p. 565-571 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Harmonising Health Information Models- a critical analysis of current practice

Dampney, C. N. G., Pegler, G. & Johnson, M. 2001 Health Informatics Conference 2001 Proceedings. Canberra

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

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

Johnson, M. & Dampney, C. N. G. 2001 Formal Ontology in Information Systems: Collected Papers from the Second International Conference. Welty, C. & Smith, B. (eds.). New York: ACM, p. 59-69 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Ontology
Information systems
Computer programming languages
Algebra
Semantics

Reverse engineering legacy information systems for internet based interoperation

Johnson, M. & Rosebrugh, R. 2001 IEEE International Conference on Software Maintenance, ICSM. Nesi, P. (ed.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 32-39 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Reverse engineering
Information systems
Internet
Legacy systems
Interoperability

Update algorithms for the sketch data model

Johnson, M. & Rosebrugh, R. 2001 Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design. Shen, W., Lin, Z., Barthes, J-P. & Kamel, M. (eds.). Ottawa, Canada: National Research Council of Canada, p. 367-376 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Data structures
Software engineering
Computer supported cooperative work
Interoperability
Specifications

View updatability based on the models of a formal specification

Johnson, M. & Rosebrugh, R. 2001 FME 2001: Formal Methods for Increasing Software Productivity - International Symposium of Formal Methods Europe, Proceedings. Heidelberg, Germany: Springer, Springer Nature, Vol. 2021 LNCS, p. 534-549 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2021 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Formal Specification
Information Systems
Information systems
Update
Formal methods

View updates in a semantic data modelling paradigm

Johnson, M., Rosebrugh, R. & Dampney, C. N. G. 2001 Proceedings - 12th Australasian Database Conference, ADC 2001. Orlowska, M. E. & Roddick, J. F. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 29-36 8 p. 904461

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Data structures
Semantics
Algebra
Industry
2000

A formal method for enterprise interoperability: a case study in a Major Health Informatics Information System

Johnson, M. & Dampney, C. N. G. 2000 ICSSEA 2000 Proceedings. Rault, J. (ed.). Paris: CNAM, p. 1-6 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

BWW Ontology - the ultimate form and frame of reference?

Dampney, C. N. G. & Johnson, M. 2000 Proceedings of the Information Systems Foundations Workshop - Ontology, Semiotics and Practice 1999. Dampney, C. N. G. (ed.). Sydney: Macquarie University Lighthouse Press, p. 67-80 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Database interoperability through state-based logical data independence

Johnson, M. & Rosebrugh, R. 2000 Proceedings of CSCW2000. You, J. (ed.). Hong Kong: Institute of Electrical and Electronics Engineers (IEEE), p. 161-166 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Revelations from large scale information analysis-action to classification

Dampney, C. N. G. & Johnson, M. 2000 Proceedings of DAMA 2000 Australain National Conference. Sydney: DAMA

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Universal arrow foundations for visual modeling

Diskin, Z., Kadish, B., Piessens, F. & Johnson, M. 2000 Theory and Application of Diagrams: First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 2000 Proceedings. Anderson, M., Cheng, P. & Haarslev, V. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 1889, p. 345-360 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1889)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Formal logic
Directed graphs
Visualization
Specifications
Modeling
1996

Death and lightness: using a demographic model to find support verbs

Dras, M. & Johnson, M. 1996 CSNLP '96: Proceedings of the Fifth International Conference on the Cognitive Science of Natural Language Processing. Monaghan, A. I. C. (ed.). Dublin, Ireland: Dublin City University Natural Language Group, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Demographics
Verbs
Nouns
Props

Echidna: a system for manipulating explicit choice higher dimensional automata

Buckland, R. & Johnson, M. 1996 Algebraic methodology and software technology: 5th international conference, AMAST 1996, proceedings. Wirsing, M. & Nivat, M. (eds.). Berlin ; Heidelberg ; New York: Springer, Springer Nature, Vol. 1101, p. 587-590 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1101)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Automata
High-dimensional
Software engineering
Demonstrations
Software Engineering
1995

Application of “consistent dependency” to corporate and project information models

Dampney, C. N. G. & Johnson, M. 1995 OOER 1995: Object-Oriented and Entity-Relationship Modeling - 14th International Conference, Proceedings. Berlin; Heidelberg: Springer, Springer Nature, Vol. 1021, p. 445-446 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1021)

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

1992

Remarks on representations of universal algebras by sheaves of quotient algebras

Johnson, M. & Sun, S-H. 1992 Category Theory 1991: Proceedings of the 1991 Summer Category Theory Meeting, Montreal, Canada. Seely, R. A. G. (ed.). Canadian Mathematical Society, p. 299-307 9 p. (Canadian Mathematical Society; vol. 13) (Canadian Mathematical Society Conference Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

Congruence Lattice
Universal Algebra
Sheaves
Quotient
Representation Theorem