![]() | ![]() |
| 2011 | ||
|---|---|---|
| 39 | Michael Johnson, Dusko Pavlovic: Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers Springer 2011 | |
| 38 | George Janelidze, Martin Hyland, Michael Johnson, Peter T. Johnstone, Stephen Lack, Ross Street, Walter Tholen, Richard J. Wood: Foreword - Special Issue Dedicated to the Memory of Professor Gregory Maxwell Kelly. Applied Categorical Structures 19(1): 1-7 (2011) | |
| 37 | Michael Johnson: Upstream supply chain benefits from e-markets in the UK higher education sector. IJBIS 7(1): 93-119 (2011) | |
| 36 | Michael Johnson: Public sector e-procurement: a study of benefits from e-markets in the local government sector. IJSTM 16(1): 1-27 (2011) | |
| 2010 | ||
| 35 | Jennifer Mankoff, Susan R. Fussell, Tawanna Dillahunt, Rachel Glaves, Catherine Grevet, Michael Johnson, Deanna Matthews, H. Scott Matthews, Robert McGuire, Robert Thompson, Aubrey Shick, Leslie D. Setlock: StepGreen.org: Increasing Energy Saving Behaviors via Social Networks. ICWSM 2010 | |
| 34 | Steven Ellison, John Dean, Michael Johnson, Cindy Prebola, Charles Fabozzi, Alexis Cenko: Supplying Air Warfare Capability Through High-Performance Computing. Computing in Science and Engineering 12(5): 18-26 (2010) | |
| 33 | Michael Johnson: Barriers to innovation adoption: a study of e-markets. Industrial Management and Data Systems 110(2): 157-174 (2010) | |
| 32 | Michael Johnson, Robert D. Rosebrugh, Richard J. Wood: Algebras and Update Strategies. J. UCS 16(5): 729-748 (2010) | |
| 2009 | ||
| 31 | Michael Johnson, David A. Naumann, John Power: Category Theoretic Models of Data Refinement. Electr. Notes Theor. Comput. Sci. 225: 21-38 (2009) | |
| 30 | Lakdere Benkherouf, Michael Johnson: On a stochastic demand jump inventory model. Mathematical and Computer Modelling 50(7-8): 1218-1228 (2009) | |
| 2008 | ||
| 29 | Michael Johnson, Robert D. Rosebrugh: Implementing a Categorical Information System. AMAST 2008: 232-237 | |
| 28 | Michael Johnson, Robert D. Rosebrugh: Constant Complements, Reversibility and Universal View Updates. AMAST 2008: 238-252 | |
| 27 | Michael Johnson: Mathematical Support for Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 179-189 | |
| 2007 | ||
| 26 | Jennifer Mankoff, Deanna Matthews, Susan R. Fussell, Michael Johnson: Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints. HICSS 2007: 87 | |
| 25 | Michael Johnson, Robert D. Rosebrugh: Fibrations and universal view updatability. Theor. Comput. Sci. 388(1-3): 109-129 (2007) | |
| 2006 | ||
| 24 | Michael Johnson, Varmo Vene: Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings Springer 2006 | |
| 2005 | ||
| 23 | Catherine Menon, Michael Johnson, Charles Lakos: Inconsistency Management and View Updates. Electr. Notes Theor. Comput. Sci. 141(3): 27-51 (2005) | |
| 2004 | ||
| 22 | Michael Johnson, Albert Y. Zomaya, Miro Kraetzl: Modeling external network behavior by using internal measurements. J. Parallel Distrib. Comput. 64(12): 1345-1359 (2004) | |
| 21 | 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 | ||
| 20 | Michael Johnson, Christopher N. G. Dampney: Experience in developing interoperations among legacy information systems using partial reverse engineering. ICSM 2003: 369-372 | |
| 19 | Michael Johnson, Robert D. Rosebrugh: Three approaches to Partiality in the Sketch Data Model. Electr. Notes Theor. Comput. Sci. 78: 82-99 (2003) | |
| 2002 | ||
| 18 | Patrick Clemins, Heather Ewalt, Michael Johnson: Time-aligned SVD analysis for speaker identification. ICASSP 2002: 4160 | |
| 17 | Michael Johnson, Robert D. Rosebrugh: Sketch Data Models, Relational Schema and Data Specifications. Electr. Notes Theor. Comput. Sci. 61: 51-63 (2002) | |
| 16 | Richard Buckland, Michael Johnson, Dominic Verity: On the Specification of Higher Dimensional Automata. Electr. Notes Theor. Comput. Sci. 68(1): 1-11 (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 | Kit 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 | |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page