Michael Johnson

According to our database1, Michael Johnson
  • authored at least 56 papers between 1993 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Small, Smart, Fast, and Cheap: Microchip-Based Sensors to Estimate Air Pollution Exposures in Rural Households.
Sensors, 2017

Symmetric delta lenses and spans of asymmetric delta lenses.
Journal of Object Technology, 2017

Bayesian Networks for Combat Equipment Diagnostics.
Interfaces, 2017

Universal Updates for Symmetric Lenses.
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, 2017

Active reliability monitor: Defect level extrinsic reliability monitoring on 22nm POWER8 and zSeries processors.
Proceedings of the 2016 IEEE International Test Conference, 2016

Unifying Set-Based, Delta-Based and Edit-Based Lenses.
Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

Distributing Commas, and the Monad of Anchored Spans.
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

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

Stochastic models for strategic resource allocation in nonprofit foreclosed housing acquisitions.
European Journal of Operational Research, 2014

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

What Can Programming Languages Say About Data Exchange?
Proceedings of the 17th International Conference on Extending Database Technology, 2014

Metadata Integration for an Archaeology Collection Architecture.
Proceedings of the 2014 International Conference on Dublin Core and Metadata Applications, 2014

Delta Lenses and Opfibrations.

Statistical Methods for Ambiguous Sequence Mappings.
Proceedings of the ACM Conference on Bioinformatics, 2013

Lenses, fibrations and universal translations.
Mathematical Structures in Computer Science, 2012

Optimality of (s, S) policies for jump inventory models.
Math. Meth. of OR, 2012

A study of e-market adoption barriers in the local government sector.
J. Enterprise Inf. Management, 2012

Lens put-put laws: monotonic and mixed.

Relating Algebraic and Coalgebraic Descriptions of Lenses.

Public sector e-procurement: a study of benefits from e-markets in the local government sector.
IJSTM, 2011

Upstream supply chain benefits from e-markets in the UK higher education sector.
IJBIS, 2011

Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly.
Applied Categorical Structures, 2011

Algebras and Update Strategies.
J. UCS, 2010

Barriers to innovation adoption: a study of e-markets.
Industrial Management and Data Systems, 2010

Supplying Air Warfare Capability Through High-Performance Computing.
Computing in Science and Engineering, 2010

StepGreen.org: Increasing Energy Saving Behaviors via Social Networks.
Proceedings of the Fourth International Conference on Weblogs and Social Media, 2010

A Relational Model of Incomplete Data without NULLs.
Proceedings of the Theory of Computing 2010, 2010

On a stochastic demand jump inventory model.
Mathematical and Computer Modelling, 2009

Category Theoretic Models of Data Refinement.
Electr. Notes Theor. Comput. Sci., 2009

Mathematical Support for Ensemble Engineering.
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008

Constant Complements, Reversibility and Universal View Updates.
Proceedings of the Algebraic Methodology and Software Technology, 2008

Implementing a Categorical Information System.
Proceedings of the Algebraic Methodology and Software Technology, 2008

Fibrations and universal view updatability.
Theor. Comput. Sci., 2007

Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Enterprise Software with Half-Duplex Interoperations.
Proceedings of the Enterprise Interoperability, 2006

Inconsistency Management and View Updates.
Electr. Notes Theor. Comput. Sci., 2005

Discovering Document Semantics QBYS: A System for Querying the WWW by Semantics.
Multimedia Tools Appl., 2004

Modeling external network behavior by using internal measurements.
J. Parallel Distrib. Comput., 2004

Three approaches to Partiality in the Sketch Data Model.
Electr. Notes Theor. Comput. Sci., 2003

Experience in developing interoperations among legacy information systems using partial reverse engineering.
Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Solder joint reliability of a polymer reinforced wafer level package.
Microelectronics Reliability, 2002

Sketch Data Models, Relational Schema and Data Specifications.
Electr. Notes Theor. Comput. Sci., 2002

On the Specification of Higher Dimensional Automata.
Electr. Notes Theor. Comput. Sci., 2002

Spatial decision support system for home-delivered services.
Journal of Geographical Systems, 2001

Category-theoretic fibration as an abstraction mechanism in information systems.
Acta Inf., 2001

Reverse Engineering Legacy Information Systems for Internet Based Interoperation.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory.
Proceedings of the ICEIS 2001, 2001

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

View Updatability Based on the Models of a Formal Specification.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Update Algorithms for the Sketch Data Model.
Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design, 2001

View updates in a semantic data modelling paradigm.
Proceedings of the Twelfth Australasian Database Conference, 2001

Universal Arrow Foundations for Visual Modeling.
Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata.
Proceedings of the Algebraic Methodology and Software Technology, 1996

Application of "Consistency Dependency" to Corporate and Project Information Models.
Proceedings of the OOER'95: Object-Oriented and Entity-Relationship Modelling, 1995

A higher order "commuting loop" structure that supports very large information system data and process architecture.
Proceedings of the Business Process Re-Engineering: Information Systems Opportunities and Challenges, 1994

On the Value of Commutative Diagrams in Information Modelling.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993