Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Johnson
2010 – today
- 2012
[j23]Jeremy Gibbons, Michael Johnson: Relating Algebraic and Coalgebraic Descriptions of Lenses. ECEASST 49 (2012)- [j22]
- [j21]Michael Johnson: A study of e-market adoption barriers in the local government sector. J. Enterprise Inf. Management 25(6): 509-536 (2012)
- [j20]Lakdere Benkherouf, Michael Johnson: Optimality of (s, S) policies for jump inventory models. Math. Meth. of OR 76(3): 377-393 (2012)
- [j19]Michael Johnson, Robert D. Rosebrugh, Richard J. Wood: Lenses, fibrations and universal translations. Mathematical Structures in Computer Science 22(1): 25-42 (2012)
- [c19]Michael Johnson, Jianglin Wang: Residual Phase Cepstrum Coefficients with Application to Cross-lingual Speaker Verification. INTERSPEECH 2012
- 2011
- [j18]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)
- [j17]Michael Johnson: Upstream supply chain benefits from e-markets in the UK higher education sector. IJBIS 7(1): 93-119 (2011)
- [j16]Michael Johnson: Public sector e-procurement: a study of benefits from e-markets in the local government sector. IJSTM 16(1): 1-27 (2011)
- [e3]Michael Johnson, Dusko Pavlovic (Eds.): Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6486, Springer 2011, ISBN 978-3-642-17795-8
- 2010
- [j15]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)
- [j14]Michael Johnson: Barriers to innovation adoption: a study of e-markets. Industrial Management and Data Systems 110(2): 157-174 (2010)
- [j13]Michael Johnson, Robert D. Rosebrugh, Richard J. Wood: Algebras and Update Strategies. J. UCS 16(5): 729-748 (2010)
- [c18]Michael Johnson, Stefano Kasangian: A Relational Model of Incomplete Data without NULLs. CATS 2010: 89-94
- [c17]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
2000 – 2009
- 2009
- [j12]Michael Johnson, David A. Naumann, John Power: Category Theoretic Models of Data Refinement. Electr. Notes Theor. Comput. Sci. 225: 21-38 (2009)
- [j11]Lakdere Benkherouf, Michael Johnson: On a stochastic demand jump inventory model. Mathematical and Computer Modelling 50(7-8): 1218-1228 (2009)
- 2008
- [c16]Michael Johnson, Robert D. Rosebrugh: Implementing a Categorical Information System. AMAST 2008: 232-237
- [c15]Michael Johnson, Robert D. Rosebrugh: Constant Complements, Reversibility and Universal View Updates. AMAST 2008: 238-252
- [p1]Michael Johnson: Mathematical Support for Ensemble Engineering. Software-Intensive Systems and New Computing Paradigms 2008: 179-189
- 2007
- [j10]Michael Johnson, Robert D. Rosebrugh: Fibrations and universal view updatability. Theor. Comput. Sci. 388(1-3): 109-129 (2007)
- [c14]Jennifer Mankoff, Deanna Matthews, Susan R. Fussell, Michael Johnson: Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints. HICSS 2007: 87
- 2006
- [e2]Michael Johnson, Varmo Vene (Eds.): Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Lecture Notes in Computer Science 4019, Springer 2006, ISBN 3-540-35633-9
- 2005
- [j9]Catherine Menon, Michael Johnson, Charles Lakos: Inconsistency Management and View Updates. Electr. Notes Theor. Comput. Sci. 141(3): 27-51 (2005)
- 2004
- [j8]Michael Johnson, Albert Y. Zomaya, Miro Kraetzl: Modeling external network behavior by using internal measurements. J. Parallel Distrib. Comput. 64(12): 1345-1359 (2004)
- [j7]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
- [j6]Michael Johnson, Robert D. Rosebrugh: Three approaches to Partiality in the Sketch Data Model. Electr. Notes Theor. Comput. Sci. 78: 82-99 (2003)
- [c13]Michael Johnson, Christopher N. G. Dampney: Experience in developing interoperations among legacy information systems using partial reverse engineering. ICSM 2003: 369-372
- 2002
- [j5]Michael Johnson, Robert D. Rosebrugh: Sketch Data Models, Relational Schema and Data Specifications. Electr. Notes Theor. Comput. Sci. 61: 51-63 (2002)
- [j4]Richard Buckland, Michael Johnson, Dominic Verity: On the Specification of Higher Dimensional Automata. Electr. Notes Theor. Comput. Sci. 68(1): 1-11 (2002)
- [j3]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)
- [c12]Patrick Clemins, Heather Ewalt, Michael Johnson: Time-aligned SVD analysis for speaker identification. ICASSP 2002: 4160
- 2001
- [j2]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)
- [j1]Wilpen Gorr, Michael Johnson, Stephen Roehrig: Spatial decision support system for home-delivered services. Journal of Geographical Systems 3(2): 181-197 (2001)
- [c11]Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney: View updates in a semantic data modelling paradigm. ADC 2001: 29-36
- [c10]Michael Johnson, Robert D. Rosebrugh: Update Algorithms for the Sketch Data Model. CSCWD 2001: 367-376
- [c9]Michael Johnson, Robert D. Rosebrugh: View Updatability Based on the Models of a Formal Specification. FME 2001: 534-549
- [c8]Michael Johnson, Christopher N. G. Dampney: On category theory as a (meta) ontology for information systems research. FOIS 2001: 59-69
- [c7]Michael Johnson, Christopher N. G. Dampney: Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory. ICEIS (2) 2001: 619-626
- [c6]Michael Johnson, Robert D. Rosebrugh: Reverse Engineering Legacy Information Systems for Internet Based Interoperation. ICSM 2001: 32-
- 2000
- [c5]Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson: Universal Arrow Foundations for Visual Modeling. Diagrams 2000: 345-360
1990 – 1999
- 1997
- [e1]Michael Johnson (Ed.): Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings. Lecture Notes in Computer Science 1349, Springer 1997, ISBN 3-540-63888-1
- 1996
- [c4]Richard Buckland, Michael Johnson: ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. AMAST 1996: 587-590
- 1995
- [c3]Kit Dampney, Michael Johnson: Application of "Consistency Dependency" to Corporate and Project Information Models. OOER 1995: 445-446
- 1994
- [c2]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
- [c1]Michael Johnson, Christopher N. G. Dampney: On the Value of Commutative Diagrams in Information Modelling. AMAST 1993: 45-58
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-19 20:41 CEST by the dblp team