Michael Johnson

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 34

Top Topics

Stochastic Models

Top Venues

Publications

Abigail Hickok, Benjamin Jarman, Michael Johnson, Jiajie Luo, Mason A. Porter
Persistent Homology for Resource Coverage: A Case Study of Access to Polling Sites. SIAM Rev. 66 (3) (2024)
Eva Peral, Daniel Esteban-Fernandez, Ernesto Rodríguez, Dalia McWatters, Jan-Willem De Bleser, Razi Ahmed, Albert C. Chen, Eric M. Slimko, Ruwan Somawardhana, Kevin Knarr, Michael Johnson, Sermsak Jaruwatanadilok, Samuel F. Chan, Xiaojun Wu, Duane Clark, Kenneth Peters, Curtis W. Chen, Peter Mao, Behrouz Khayatian, Jacqueline Chen, Richard E. Hodges, Dhemetrios Boussalis, Bryan W. Stiles, Karthik Srinivasan
KaRIn, the Ka-Band Radar Interferometer of the SWOT Mission: Design and in-Flight Performance. IEEE Trans. Geosci. Remote. Sens. 62 (2024)
Mariah Schrum, Muyleng Ghuy, Erin Hedlund-Botti, Manisha Natarajan, Michael Johnson, Matthew C. Gombolay
Concerning Trends in Likert Scale Usage in Human-robot Interaction: Towards Improving Best Practices. ACM Trans. Hum. Robot Interact. 12 (3) (2023)
Mx. K. Pomeroy, Shaoping Qiu, Lei Xie, Malini Natarajathinam, Michael Johnson
Application of Organizational Systems Theory to Identify Education and Training Needs for Industry 4.0. FIE (2023)
Abigail Hickok, Benjamin Jarman, Michael Johnson, Jiajie Luo, Mason A. Porter
Persistent Homology for Resource Coverage: A Case Study of Access to Polling Sites. CoRR (2022)
Namesh Killemsetty, Michael Johnson, Amit Patel
Understanding housing preferences of slum dwellers in India: A community-based operations research approach. Eur. J. Oper. Res. 298 (2) (2022)
Michael Johnson, Betsy DiSalvo
Learning about Complex Adaptive Systems in Makerspaces. SIGCSE (2) (2022)
Nicholas Wilkins, Michael Johnson, Ifeoma Nwogu
Regression with Uncertainty Quantification in Large Scale Complex Data. SMC (2022)
Mariah L. Schrum, Glen Neville, Michael Johnson, Nina Moorman, Rohan R. Paleja, Karen M. Feigh, Matthew C. Gombolay
Effects of Social Factors and Team Dynamics on Adoption of Collaborative Robot Autonomy. HRI (2021)
Erin Hedlund, Michael Johnson, Matthew C. Gombolay
The Effects of a Robot's Performance on Human Teachers for Learning from Demonstration Tasks. HRI (2021)
Junxia Li, Hui Zhao, Michael Johnson
Secrecy Performance Analysis of a Cognitive Network for IoT over k - μ Channels. Wirel. Commun. Mob. Comput. 2021 (2021)
Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang, Gioele Zardini
Limits and Colimits in a Category of Lenses. ACT (2021)
Mariah L. Schrum, Michael Johnson, Muyleng Ghuy, Matthew C. Gombolay
Four Years in Review: Statistical Practices of Likert Scales in Human-Robot Interaction Studies. HRI (Companion) (2020)
Mariah L. Schrum, Michael Johnson, Muyleng Ghuy, Matthew C. Gombolay
Four Years in Review: Statistical Practices of Likert Scales in Human-Robot Interaction Studies. CoRR (2020)
Kyle J. Thompson, Michael Johnson, Danelle Higgins, Poonam Sharma, Brittany L. Anderson-Montoya
Natural Language Processing (NLP) using Convolutional Neural Networks (NN) to Classify Patient Care Events. AMIA (2020)
Michael Johnson, Robert D. Rosebrugh
The more legs the merrier: A new composition for symmetric (multi-)lenses. ACT (2020)
Nicholas Wilkins, Michael Johnson, Ifeoma Nwogu
Regression with Uncertainty Quantification in Large Scale Complex Data. CoRR (2019)
Janine Viol Hacker, Michael Johnson, Carol Saunders, Amanda L. Thayer
Trust in Virtual Teams: A Multidisciplinary Review and Integration. Australas. J. Inf. Syst. 23 (2019)
Michael Johnson, Robert D. Rosebrugh
Multicategories of Multiary Lenses. Bx@PLW (2019)
Bradford Alex Baker, Rellie Derfler-Rozin, Marko Pitesa, Michael Johnson
Stock Market Responses to Unethical Behavior in Organizations: An Organizational Context Model. Organ. Sci. 30 (2) (2019)
Brendan Fong, Michael Johnson
Lenses and Learners. CoRR (2019)
Michael Johnson, François Renaud
Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive. Bx@PLW (2019)
Brendan Fong, Michael Johnson
Lenses and Learners. Bx@PLW (2019)
Michael Johnson, Robert D. Rosebrugh
Cospans and symmetric lenses. Programming (2018)
Md Razuan Hossain, Qifeng Zhang, Michael Johnson, Danling Wang
for Application in the Non-Invasive Diagnosis of Diabetes. Sensors 18 (11) (2018)
Michael Johnson, Perdita Stevens
Confidentiality in the process of (model-driven) software development. Programming (2018)
Ajay Pillarisetti, Tracy Allen, Ilse Ruiz-Mercado, Rufus Edwards, Zohir Chowdhury, Charity Garland, L. Drew Hill, Michael Johnson, Charles D. Litton, Nicholas L. Lam, David Pennise, Kirk R. Smith
Small, Smart, Fast, and Cheap: Microchip-Based Sensors to Estimate Air Pollution Exposures in Rural Households. Sensors 17 (8) (2017)
Michael Johnson, Robert D. Rosebrugh
Universal Updates for Symmetric Lenses. BX@ETAPS (2017)
Michael Johnson, Robert D. Rosebrugh
Symmetric delta lenses and spans of asymmetric delta lenses. J. Object Technol. 16 (1) (2017)
David Aebischer, John Vatterott Jr., Michael Grimes, Andrew Vatterott, Roderick Jordan, Carlo Reinoso, Bradford Alex Baker, William D. Aldrich, Luis Reinoso, Rodolfo Villalba, Michael Johnson, Christopher Myers, Stefan Conrady, Joseph A. Tatman, Suzanne M. Mahoney, Darrin L. Whaley, Amanda B. Hepler
Bayesian Networks for Combat Equipment Diagnostics. Interfaces 47 (1) (2017)
Michael Johnson, Brian Noble, Mark Johnson, Jim Crafts, Cynthia Manya, John Deforge
Active reliability monitor: Defect level extrinsic reliability monitoring on 22nm POWER8 and zSeries processors. ITC (2016)
Michael Johnson, Robert D. Rosebrugh
Unifying Set-Based, Delta-Based and Edit-Based Lenses. Bx@ETAPS (2016)
Michael Johnson, Robert D. Rosebrugh
Distributing Commas, and the Monad of Anchored Spans. Bx@STAF (2015)
Michael Johnson, Robert D. Rosebrugh
Spans of Delta Lenses. Bx@STAF (2015)
Michael Johnson, Robert D. Rosebrugh
Spans of lenses. EDBT/ICDT Workshops (2014)
Sivakumar Kulasekaran, Jessica Trelogan, Maria Esteva, Michael Johnson
Metadata Integration for an Archaeology Collection Architecture. Dublin Core Conference (2014)
Armagan Bayram, Senay Solak, Michael Johnson
Stochastic models for strategic resource allocation in nonprofit foreclosed housing acquisitions. Eur. J. Oper. Res. 233 (1) (2014)
Michael Johnson, Jorge Pérez, James F. Terwilliger
What Can Programming Languages Say About Data Exchange? EDBT (2014)
Michael Johnson, Robert D. Rosebrugh
Delta Lenses and Opfibrations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Tamer Aldwairi, Bindu Nanduri, Mahalingam Ramkumar, Dilip Gautam, Michael Johnson, Andy D. Perkins
Statistical Methods for Ambiguous Sequence Mappings. BCB (2013)
Michael Johnson
A study of e-market adoption barriers in the local government sector. J. Enterp. Inf. Manag. 25 (6) (2012)
Michael Johnson, Robert D. Rosebrugh, Richard J. Wood
Lenses, fibrations and universal translations. Math. Struct. Comput. Sci. 22 (1) (2012)
Lakdere Benkherouf, Michael Johnson
) policies for jump inventory models. Math. Methods Oper. Res. 76 (3) (2012)
Jeremy Gibbons, Michael Johnson
Relating Algebraic and Coalgebraic Descriptions of Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Michael Johnson, Robert D. Rosebrugh
Lens put-put laws: monotonic and mixed. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012)
Michael Johnson
Public sector e-procurement: a study of benefits from e-markets in the local government sector. Int. J. Serv. Technol. Manag. 16 (1) (2011)
Michael Johnson
Upstream supply chain benefits from e-markets in the UK higher education sector. Int. J. Bus. Inf. Syst. 7 (1) (2011)
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. Appl. Categorical Struct. 19 (1) (2011)
Michael Johnson
Barriers to innovation adoption: a study of e-markets. Ind. Manag. Data Syst. 110 (2) (2010)
Michael Johnson, Stefano Kasangian
A Relational Model of Incomplete Data without NULLs. CATS (2010)
Michael Johnson, Robert D. Rosebrugh, Richard J. Wood
Algebras and Update Strategies. J. Univers. Comput. Sci. 16 (5) (2010)
Steven Ellison, John Dean, Michael Johnson, Cindy Prebola, Charles Fabozzi, Alexis Cenko
Supplying Air Warfare Capability Through High-Performance Computing. Comput. Sci. Eng. 12 (5) (2010)
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)
Lakdere Benkherouf, Michael Johnson
On a stochastic demand jump inventory model. Math. Comput. Model. 50 (7-8) (2009)
Michael Johnson, David A. Naumann, John Power
Category Theoretic Models of Data Refinement. Electron. Notes Theor. Comput. Sci. 225 (2009)
Michael Johnson, Robert D. Rosebrugh
Implementing a Categorical Information System. AMAST (2008)
Michael Johnson, Robert D. Rosebrugh
Constant Complements, Reversibility and Universal View Updates. AMAST (2008)
Jennifer Mankoff, Deanna Matthews, Susan R. Fussell, Michael Johnson
Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints. HICSS (2007)
Michael Johnson, Robert D. Rosebrugh
Fibrations and universal view updatability. Theor. Comput. Sci. 388 (1-3) (2007)
Michael Johnson
Enterprise Software with Half-Duplex Interoperations. I-ESA (2006)
Catherine Menon, Michael Johnson, Charles Lakos
Inconsistency Management and View Updates. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Michael Johnson, Albert Y. Zomaya, Miro Kraetzl
Modeling external network behavior by using internal measurements. J. Parallel Distributed Comput. 64 (12) (2004)
Michael Johnson, Farshad Fotouhi, Sorin Draghici, Ming Dong, Duo Xu
Discovering Document Semantics QBYS: A System for Querying the WWW by Semantics. Multim. Tools Appl. 24 (2) (2004)
Michael Johnson, Robert D. Rosebrugh
Three approaches to Partiality in the Sketch Data Model. Electron. Notes Theor. Comput. Sci. 78 (2003)
Michael Johnson, Christopher N. G. Dampney
Experience in developing interoperations among legacy information systems using partial reverse engineering. ICSM (2003)
Deok-Hoon Kim, Peter Elenius, Michael Johnson, Scott Barrett
Solder joint reliability of a polymer reinforced wafer level package. Microelectron. Reliab. 42 (12) (2002)
Michael Johnson, Robert D. Rosebrugh
Sketch Data Models, Relational Schema and Data Specifications. Electron. Notes Theor. Comput. Sci. 61 (2002)
Richard Buckland, Michael Johnson, Dominic R. Verity
On the Specification of Higher Dimensional Automata. Electron. Notes Theor. Comput. Sci. 68 (1) (2002)
Michael Johnson, Christopher N. G. Dampney
On category theory as a (meta) ontology for information systems research. FOIS (2001)
Michael Johnson, Robert D. Rosebrugh
Update Algorithms for the Sketch Data Model. CSCWD (2001)
Michael Johnson, Robert D. Rosebrugh
View Updatability Based on the Models of a Formal Specification. FME (2001)
Michael Johnson, Christopher N. G. Dampney
Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory. ICEIS (2) (2001)
Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney
View updates in a semantic data modelling paradigm. ADC (2001)
Michael Johnson, Robert D. Rosebrugh
Reverse Engineering Legacy Information Systems for Internet Based Interoperation. ICSM (2001)
Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson
Category-theoretic fibration as an abstraction mechanism in information systems. Acta Informatica 38 (1) (2001)
Wilpen Gorr, Michael Johnson, Stephen Roehrig
Spatial decision support system for home-delivered services. J. Geogr. Syst. 3 (2) (2001)
Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson
Universal Arrow Foundations for Visual Modeling. Diagrams (2000)
Richard Buckland, Michael Johnson
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. AMAST (1996)
Kit Dampney, Michael Johnson
Application of "Consistency Dependency" to Corporate and Project Information Models. OOER (1995)
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)
Michael Johnson, Christopher N. G. Dampney
On the Value of Commutative Diagrams in Information Modelling. AMAST (1993)
Michael Johnson, Paul Sanders
From Z Specifications To Functional Implementations. Z User Workshop (1989)