| 2009 |
|---|
| 29 | EE | Michael Johnson,
David Naumann,
John Power:
Category Theoretic Models of Data Refinement.
Electr. Notes Theor. Comput. Sci. 225: 21-38 (2009) |
| 2008 |
|---|
| 28 | EE | Michael Johnson,
Robert D. Rosebrugh:
Implementing a Categorical Information System.
AMAST 2008: 232-237 |
| 27 | EE | Michael Johnson,
Robert D. Rosebrugh:
Constant Complements, Reversibility and Universal View Updates.
AMAST 2008: 238-252 |
| 26 | EE | Michael Johnson:
Mathematical Support for Ensemble Engineering.
Software-Intensive Systems and New Computing Paradigms 2008: 179-189 |
| 2007 |
|---|
| 25 | EE | Jennifer Mankoff,
Deanna Matthews,
Susan R. Fussell,
Michael Johnson:
Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints.
HICSS 2007: 87 |
| 24 | EE | Michael Johnson,
Robert D. Rosebrugh:
Fibrations and universal view updatability.
Theor. Comput. Sci. 388(1-3): 109-129 (2007) |
| 2006 |
|---|
| 23 | | Michael Johnson,
Varmo Vene:
Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
Springer 2006 |
| 2005 |
|---|
| 22 | EE | Catherine Menon,
Michael Johnson,
Charles Lakos:
Inconsistency Management and View Updates.
Electr. Notes Theor. Comput. Sci. 141(3): 27-51 (2005) |
| 2004 |
|---|
| 21 | EE | Michael Johnson,
Albert Y. Zomaya,
Miro Kraetzl:
Modeling external network behavior by using internal measurements.
J. Parallel Distrib. Comput. 64(12): 1345-1359 (2004) |
| 20 | EE | Michael Johnson,
Farshad Fotouhi,
Sorin Draghici,
Ming Dong,
Duo Xu:
Discovering Document Semantics QBYS: A System for Querying the WWW by Semantics.
Multimedia Tools Appl. 24(2): 155-188 (2004) |
| 2003 |
|---|
| 19 | EE | Michael Johnson,
Christopher N. G. Dampney:
Experience in developing interoperations among legacy information systems using partial reverse engineering.
ICSM 2003: 369-372 |
| 18 | EE | Michael Johnson,
Robert D. Rosebrugh:
Three approaches to Partiality in the Sketch Data Model.
Electr. Notes Theor. Comput. Sci. 78: (2003) |
| 2002 |
|---|
| 17 | EE | Michael Johnson,
Robert D. Rosebrugh:
Sketch Data Models, Relational Schema and Data Specifications.
Electr. Notes Theor. Comput. Sci. 61: (2002) |
| 16 | EE | Richard Buckland,
Michael Johnson,
Dominic Verity:
On the Specification of Higher Dimensional Automata.
Electr. Notes Theor. Comput. Sci. 68(1): (2002) |
| 15 | EE | Deok-Hoon Kim,
Peter Elenius,
Michael Johnson,
Scott Barrett:
Solder joint reliability of a polymer reinforced wafer level package.
Microelectronics Reliability 42(12): 1837-1848 (2002) |
| 2001 |
|---|
| 14 | EE | Michael Johnson,
Robert D. Rosebrugh,
Christopher N. G. Dampney:
View updates in a semantic data modelling paradigm.
ADC 2001: 29-36 |
| 13 | EE | Michael Johnson,
Robert D. Rosebrugh:
Update Algorithms for the Sketch Data Model.
CSCWD 2001: 367-376 |
| 12 | EE | Michael Johnson,
Robert D. Rosebrugh:
View Updatability Based on the Models of a Formal Specification.
FME 2001: 534-549 |
| 11 | EE | Michael Johnson,
Christopher N. G. Dampney:
On category theory as a (meta) ontology for information systems research.
FOIS 2001: 59-69 |
| 10 | | Michael Johnson,
Christopher N. G. Dampney:
Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory.
ICEIS (2) 2001: 619-626 |
| 9 | EE | Michael Johnson,
Robert D. Rosebrugh:
Reverse Engineering Legacy Information Systems for Internet Based Interoperation.
ICSM 2001: 32- |
| 8 | EE | Robert M. Colomb,
Christopher N. G. Dampney,
Michael Johnson:
Category-theoretic fibration as an abstraction mechanism in information systems.
Acta Inf. 38(1): 1-44 (2001) |
| 7 | EE | Wilpen Gorr,
Michael Johnson,
Stephen Roehrig:
Spatial decision support system for home-delivered services.
Journal of Geographical Systems 3(2): 181-197 (2001) |
| 2000 |
|---|
| 6 | EE | Zinovy Diskin,
Boris Kadish,
Frank Piessens,
Michael Johnson:
Universal Arrow Foundations for Visual Modeling.
Diagrams 2000: 345-360 |
| 1997 |
|---|
| 5 | | Michael Johnson:
Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings
Springer 1997 |
| 1996 |
|---|
| 4 | | Richard Buckland,
Michael Johnson:
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata.
AMAST 1996: 587-590 |
| 1995 |
|---|
| 3 | EE | K. Dampney,
Michael Johnson:
Application of "Consistency Dependency" to Corporate and Project Information Models.
OOER 1995: 445-446 |
| 1994 |
|---|
| 2 | | Christopher N. G. Dampney,
Michael Johnson,
Peter Dazeley,
Verena Reich:
A higher order "commuting loop" structure that supports very large information system data and process architecture.
Business Process Re-Engineering 1994: 211-222 |
| 1993 |
|---|
| 1 | | Michael Johnson,
Christopher N. G. Dampney:
On the Value of Commutative Diagrams in Information Modelling.
AMAST 1993: 45-58 |
