Michael Johnson

	2009
29		Michael Johnson, David Naumann, John Power: Category Theoretic Models of Data Refinement. Electr. Notes Theor. Comput. Sci. 225: 21-38 (2009)
	2008
28		Michael Johnson, Robert D. Rosebrugh: Implementing a Categorical Information System. AMAST 2008: 232-237
27		Michael Johnson, Robert D. Rosebrugh: Constant Complements, Reversibility and Universal View Updates. AMAST 2008: 238-252
26		Michael Johnson: Mathematical Support for Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 179-189
	2007
25		Jennifer Mankoff, Deanna Matthews, Susan R. Fussell, Michael Johnson: Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints. HICSS 2007: 87
24		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		Catherine Menon, Michael Johnson, Charles Lakos: Inconsistency Management and View Updates. Electr. Notes Theor. Comput. Sci. 141(3): 27-51 (2005)
	2004
21		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		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		Michael Johnson, Christopher N. G. Dampney: Experience in developing interoperations among legacy information systems using partial reverse engineering. ICSM 2003: 369-372
18		Michael Johnson, Robert D. Rosebrugh: Three approaches to Partiality in the Sketch Data Model. Electr. Notes Theor. Comput. Sci. 78: (2003)
	2002
17		Michael Johnson, Robert D. Rosebrugh: Sketch Data Models, Relational Schema and Data Specifications. Electr. Notes Theor. Comput. Sci. 61: (2002)
16		Richard Buckland, Michael Johnson, Dominic Verity: On the Specification of Higher Dimensional Automata. Electr. Notes Theor. Comput. Sci. 68(1): (2002)
15		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		Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney: View updates in a semantic data modelling paradigm. ADC 2001: 29-36
13		Michael Johnson, Robert D. Rosebrugh: Update Algorithms for the Sketch Data Model. CSCWD 2001: 367-376
12		Michael Johnson, Robert D. Rosebrugh: View Updatability Based on the Models of a Formal Specification. FME 2001: 534-549
11		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		Michael Johnson, Robert D. Rosebrugh: Reverse Engineering Legacy Information Systems for Internet Based Interoperation. ICSM 2001: 32-
8		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		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		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		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

Coauthor Index

1	Scott Barrett	[15]
2	Richard Buckland	[4] [16]
3	Robert M. Colomb	[8]
4	Christopher N. G. Dampney	[1] [2] [8] [10] [11] [14] [19]
5	K. Dampney	[3]
6	Peter Dazeley	[2]
7	Zinovy Diskin	[6]
8	Ming Dong	[20]
9	Sorin Draghici	[20]
10	Peter Elenius	[15]
11	Farshad Fotouhi	[20]
12	Susan R. Fussell	[25]
13	Wilpen Gorr	[7]
14	Boris Kadish	[6]
15	Deok-Hoon Kim	[15]
16	Miro Kraetzl	[21]
17	Charles Lakos	[22]
18	Jennifer Mankoff	[25]
19	Deanna Matthews	[25]
20	Catherine Menon	[22]
21	David Naumann	[29]
22	Frank Piessens	[6]
23	John Power (A. John Power)	[29]
24	Verena Reich	[2]
25	Stephen Roehrig	[7]
26	Robert D. Rosebrugh	[9] [12] [13] [14] [17] [18] [24] [27] [28]
27	Varmo Vene	[23]
28	Dominic Verity	[16]
29	Duo Xu	[20]
30	Albert Y. Zomaya	[21]

Colors in the list of coauthors