Michael Johnson

Proceedings of the 5th International Workshop on Bidirectional Transformations, 2016

2015

Distributing Commas, and the Monad of Anchored Spans.

[BibT_eX]

[DOI]

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

Spans of Delta Lenses.

[BibT_eX]

[DOI]

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

2014

Stochastic models for strategic resource allocation in nonprofit foreclosed housing acquisitions.

[BibT_eX]

[DOI]

Armagan Bayram

Senay Solak

Eur. J. Oper. Res., 2014

Spans of lenses.

[BibT_eX]

[DOI]

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

What Can Programming Languages Say About Data Exchange?

[BibT_eX]

[DOI]

Jorge Pérez

James F. Terwilliger

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

Metadata Integration for an Archaeology Collection Architecture.

[BibT_eX]

[DOI]

Sivakumar Kulasekaran

Jessica Trelogan

Maria Esteva

Proceedings of the 2014 International Conference on Dublin Core and Metadata Applications, 2014

2013

Delta Lenses and Opfibrations.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Statistical Methods for Ambiguous Sequence Mappings.

[BibT_eX]

[DOI]

Proceedings of the ACM Conference on Bioinformatics, 2013

2012

Lenses, fibrations and universal translations.

[BibT_eX]

[DOI]

Richard J. Wood

Math. Struct. Comput. Sci., 2012

Optimality of (s, S) policies for jump inventory models.

[BibT_eX]

[DOI]

Lakdere Benkherouf

Math. Methods Oper. Res., 2012

A study of e-market adoption barriers in the local government sector.

[BibT_eX]

[DOI]

J. Enterp. Inf. Manag., 2012

Lens put-put laws: monotonic and mixed.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

Relating Algebraic and Coalgebraic Descriptions of Lenses.

[BibT_eX]

[DOI]

Jeremy Gibbons

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

2011

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

[BibT_eX]

[DOI]

Int. J. Serv. Technol. Manag., 2011

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

[BibT_eX]

[DOI]

Int. J. Bus. Inf. Syst., 2011

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

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2011

2010

Algebras and Update Strategies.

[BibT_eX]

[DOI]

Richard J. Wood

J. Univers. Comput. Sci., 2010

Barriers to innovation adoption: a study of e-markets.

[BibT_eX]

[DOI]

Ind. Manag. Data Syst., 2010

Supplying Air Warfare Capability Through High-Performance Computing.

[BibT_eX]

[DOI]

Comput. Sci. Eng., 2010

StepGreen.org: Increasing Energy Saving Behaviors via Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Weblogs and Social Media, 2010

A Relational Model of Incomplete Data without NULLs.

[BibT_eX]

[DOI]

Stefano Kasangian

Proceedings of the Theory of Computing 2010, 2010

2009

On a stochastic demand jump inventory model.

[BibT_eX]

[DOI]

Lakdere Benkherouf

Math. Comput. Model., 2009

2008

Mathematical Support for Ensemble Engineering.

[BibT_eX]

[DOI]

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

Constant Complements, Reversibility and Universal View Updates.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

Implementing a Categorical Information System.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Fibrations and universal view updatability.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints.

[BibT_eX]

[DOI]

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Category Theoretic Models of Data Refinement.

[BibT_eX]

[DOI]

David A. Naumann

John Power

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

Enterprise Software with Half-Duplex Interoperations.

[BibT_eX]

[DOI]

Proceedings of the Enterprise Interoperability, 2006

2005

Inconsistency Management and View Updates.

[BibT_eX]

[DOI]

Catherine Menon

Charles Lakos

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

2004

Discovering Document Semantics QBYS: A System for Querying the WWW by Semantics.

[BibT_eX]

[DOI]

Multim. Tools Appl., 2004

Modeling external network behavior by using internal measurements.

[BibT_eX]

[DOI]

Albert Y. Zomaya

Miro Kraetzl

J. Parallel Distributed Comput., 2004

2003

Three approaches to Partiality in the Sketch Data Model.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

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

[BibT_eX]

[DOI]

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

2002

Solder joint reliability of a polymer reinforced wafer level package.

[BibT_eX]

[DOI]

Microelectron. Reliab., 2002

Sketch Data Models, Relational Schema and Data Specifications.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposium, 2002

On the Specification of Higher Dimensional Automata.

[BibT_eX]

[DOI]

Richard Buckland

Dominic R. Verity

Proceedings of the Categorical Methods for Concurrency, 2002

2001

Spatial decision support system for home-delivered services.

[BibT_eX]

[DOI]

Wilpen Gorr

Stephen Roehrig

J. Geogr. Syst., 2001

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

[BibT_eX]

[DOI]

Robert M. Colomb

Acta Informatica, 2001

Reverse Engineering Legacy Information Systems for Internet Based Interoperation.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

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

[BibT_eX]

Proceedings of the ICEIS 2001, 2001

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

[BibT_eX]

[DOI]

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

View Updatability Based on the Models of a Formal Specification.

[BibT_eX]

[DOI]

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

Update Algorithms for the Sketch Data Model.

[BibT_eX]

[DOI]

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

View updates in a semantic data modelling paradigm.

[BibT_eX]

[DOI]

Proceedings of the Twelfth Australasian Database Conference, 2001

2000

Universal Arrow Foundations for Visual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

1996

ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata.

[BibT_eX]

[DOI]

Richard Buckland

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

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

[BibT_eX]

[DOI]

Kit Dampney

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.

[BibT_eX]

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.

[BibT_eX]

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

1989

From Z Specifications To Functional Implementations.

[BibT_eX]

[DOI]