default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Johnson
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j29]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): 481-500 (2024)- [j28]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: 1-27 (2024) - 2023
- [j27]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): 33:1-33:32 (2023) - [c47]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: 1-4 - 2022
- [j26]Namesh Killemsetty, Michael Johnson, Amit D. Patel:
Understanding housing preferences of slum dwellers in India: A community-based operations research approach. Eur. J. Oper. Res. 298(2): 699-713 (2022) - [c46]Michael Johnson, Betsy DiSalvo:
Learning about Complex Adaptive Systems in Makerspaces. SIGCSE (2) 2022: 1053 - [c45]Nicholas Wilkins, Michael Johnson, Ifeoma Nwogu:
Regression with Uncertainty Quantification in Large Scale Complex Data. SMC 2022: 827-833 - [i4]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 abs/2206.04834 (2022) - 2021
- [j25]Junxia Li, Hui Zhao, Michael Johnson:
Secrecy Performance Analysis of a Cognitive Network for IoT over k - μ Channels. Wirel. Commun. Mob. Comput. 2021: 5548428:1-5548428:12 (2021) - [c44]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: 149-157 - [c43]Erin Hedlund, Michael Johnson, Matthew C. Gombolay:
The Effects of a Robot's Performance on Human Teachers for Learning from Demonstration Tasks. HRI 2021: 207-215 - [c42]Emma Chollet, Bryce Clarke, Michael Johnson, Maurine Songa, Vincent Wang, Gioele Zardini:
Limits and Colimits in a Category of Lenses. ACT 2021: 164-177 - 2020
- [c41]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 - [c40]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: 43-52 - [c39]Michael Johnson, Robert D. Rosebrugh:
The more legs the merrier: A new composition for symmetric (multi-)lenses. ACT 2020: 92-107 - [i3]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 abs/2001.03231 (2020)
2010 – 2019
- 2019
- [j24]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) - [c38]Brendan Fong, Michael Johnson:
Lenses and Learners. Bx@PLW 2019: 16-29 - [c37]Michael Johnson, Robert D. Rosebrugh:
Multicategories of Multiary Lenses. Bx@PLW 2019: 30-44 - [c36]Michael Johnson, François Renaud:
Symmetric c-Lenses and Symmetric d-Lenses are Not Coextensive. Bx@PLW 2019: 66-70 - [i2]Brendan Fong, Michael Johnson:
Lenses and Learners. CoRR abs/1903.03671 (2019) - [i1]Nicholas Wilkins, Michael Johnson, Ifeoma Nwogu:
Regression with Uncertainty Quantification in Large Scale Complex Data. CoRR abs/1912.02163 (2019) - 2018
- [j23]Md Razuan Hossain, Qifeng Zhang, Michael Johnson, Danling Wang:
Highly Sensitive Room-Temperature Sensor Based on Nanostructured K2W7O22 for Application in the Non-Invasive Diagnosis of Diabetes. Sensors 18(11): 3703 (2018) - [c35]Michael Johnson, Perdita Stevens:
Confidentiality in the process of (model-driven) software development. Programming 2018: 1-8 - [c34]Michael Johnson, Robert D. Rosebrugh:
Cospans and symmetric lenses. Programming 2018: 21-29 - 2017
- [j22]Michael Johnson, Robert D. Rosebrugh:
Symmetric delta lenses and spans of asymmetric delta lenses. J. Object Technol. 16(1): 2:1-32 (2017) - [j21]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): 1879 (2017) - [c33]Michael Johnson, Robert D. Rosebrugh:
Universal Updates for Symmetric Lenses. BX@ETAPS 2017: 39-53 - [e4]Romina Eramo, Michael Johnson:
Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, Uppsala, Sweden, April 29, 2017. CEUR Workshop Proceedings 1827, CEUR-WS.org 2017 [contents] - 2016
- [c32]Michael Johnson, Robert D. Rosebrugh:
Unifying Set-Based, Delta-Based and Edit-Based Lenses. Bx@ETAPS 2016: 1-13 - [c31]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: 1-8 - 2015
- [c30]Michael Johnson, Robert D. Rosebrugh:
Spans of Delta Lenses. Bx@STAF 2015: 1-15 - [c29]Michael Johnson, Robert D. Rosebrugh:
Distributing Commas, and the Monad of Anchored Spans. Bx@STAF 2015: 31-42 - 2014
- [j20]Armagan Bayram, Senay Solak, Michael Johnson:
Stochastic models for strategic resource allocation in nonprofit foreclosed housing acquisitions. Eur. J. Oper. Res. 233(1): 246-262 (2014) - [c28]Sivakumar Kulasekaran, Jessica Trelogan, Maria Esteva, Michael Johnson:
Metadata Integration for an Archaeology Collection Architecture. Dublin Core Conference 2014: 53-63 - [c27]Michael Johnson, Robert D. Rosebrugh:
Spans of lenses. EDBT/ICDT Workshops 2014: 112-118 - [c26]Michael Johnson, Jorge Pérez, James F. Terwilliger:
What Can Programming Languages Say About Data Exchange? EDBT 2014: 223-228 - 2013
- [j19]Michael Johnson, Robert D. Rosebrugh:
Delta Lenses and Opfibrations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013) - [c25]Tamer Aldwairi, Bindu Nanduri, Mahalingam Ramkumar, Dilip Gautam, Michael Johnson, Andy D. Perkins:
Statistical Methods for Ambiguous Sequence Mappings. BCB 2013: 674 - 2012
- [j18]Jeremy Gibbons, Michael Johnson:
Relating Algebraic and Coalgebraic Descriptions of Lenses. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j17]Michael Johnson, Robert D. Rosebrugh:
Lens put-put laws: monotonic and mixed. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j16]Michael Johnson:
A study of e-market adoption barriers in the local government sector. J. Enterp. Inf. Manag. 25(6): 509-536 (2012) - [j15]Lakdere Benkherouf, Michael Johnson:
Optimality of (s, S) policies for jump inventory models. Math. Methods Oper. Res. 76(3): 377-393 (2012) - [j14]Michael Johnson, Robert D. Rosebrugh, Richard J. Wood:
Lenses, fibrations and universal translations. Math. Struct. Comput. Sci. 22(1): 25-42 (2012) - 2011
- [j13]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): 1-7 (2011) - [j12]Michael Johnson:
Upstream supply chain benefits from e-markets in the UK higher education sector. Int. J. Bus. Inf. Syst. 7(1): 93-119 (2011) - [j11]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): 1-27 (2011) - [e3]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. Lecture Notes in Computer Science 6486, Springer 2011, ISBN 978-3-642-17795-8 [contents] - 2010
- [j10]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): 18-26 (2010) - [j9]Michael Johnson:
Barriers to innovation adoption: a study of e-markets. Ind. Manag. Data Syst. 110(2): 157-174 (2010) - [j8]Michael Johnson, Robert D. Rosebrugh, Richard J. Wood:
Algebras and Update Strategies. J. Univers. Comput. Sci. 16(5): 729-748 (2010) - [c24]Michael Johnson, Stefano Kasangian:
A Relational Model of Incomplete Data without NULLs. CATS 2010: 89-94 - [c23]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
- [j7]Lakdere Benkherouf, Michael Johnson:
On a stochastic demand jump inventory model. Math. Comput. Model. 50(7-8): 1218-1228 (2009) - 2008
- [c22]Michael Johnson, Robert D. Rosebrugh:
Implementing a Categorical Information System. AMAST 2008: 232-237 - [c21]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
- [j6]Michael Johnson, Robert D. Rosebrugh:
Fibrations and universal view updatability. Theor. Comput. Sci. 388(1-3): 109-129 (2007) - [c20]Jennifer Mankoff, Deanna Matthews, Susan R. Fussell, Michael Johnson:
Leveraging Social Networks To Motivate Individuals to Reduce their Ecological Footprints. HICSS 2007: 87 - 2006
- [c19]Michael Johnson:
Enterprise Software with Half-Duplex Interoperations. I-ESA 2006: 521-530 - [c18]Michael Johnson, David A. Naumann, John Power:
Category Theoretic Models of Data Refinement. MFCSIT 2006: 21-38 - [e2]Michael Johnson, Varmo Vene:
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 [contents] - 2005
- [c17]Catherine Menon, Michael Johnson, Charles Lakos:
Inconsistency Management and View Updates. FESCA@ETAPS 2005: 27-51 - 2004
- [j5]Michael Johnson, Albert Y. Zomaya, Miro Kraetzl:
Modeling external network behavior by using internal measurements. J. Parallel Distributed Comput. 64(12): 1345-1359 (2004) - [j4]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): 155-188 (2004) - 2003
- [c16]Michael Johnson, Christopher N. G. Dampney:
Experience in developing interoperations among legacy information systems using partial reverse engineering. ICSM 2003: 369-372 - [c15]Michael Johnson, Robert D. Rosebrugh:
Three approaches to Partiality in the Sketch Data Model. CATS 2003: 82-99 - 2002
- [j3]Deok-Hoon Kim, Peter Elenius, Michael Johnson, Scott Barrett:
Solder joint reliability of a polymer reinforced wafer level package. Microelectron. Reliab. 42(12): 1837-1848 (2002) - [c14]Richard Buckland, Michael Johnson, Dominic R. Verity:
On the Specification of Higher Dimensional Automata. Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR 2002: 1-11 - [c13]Michael Johnson, Robert D. Rosebrugh:
Sketch Data Models, Relational Schema and Data Specifications. CATS 2002: 51-63 - 2001
- [j2]Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson:
Category-theoretic fibration as an abstraction mechanism in information systems. Acta Informatica 38(1): 1-44 (2001) - [j1]Wilpen Gorr, Michael Johnson, Stephen Roehrig:
Spatial decision support system for home-delivered services. J. Geogr. Syst. 3(2): 181-197 (2001) - [c12]Michael Johnson, Robert D. Rosebrugh, Christopher N. G. Dampney:
View updates in a semantic data modelling paradigm. ADC 2001: 29-36 - [c11]Michael Johnson, Robert D. Rosebrugh:
Update Algorithms for the Sketch Data Model. CSCWD 2001: 367-376 - [c10]Michael Johnson, Robert D. Rosebrugh:
View Updatability Based on the Models of a Formal Specification. FME 2001: 534-549 - [c9]Michael Johnson, Christopher N. G. Dampney:
On category theory as a (meta) ontology for information systems research. FOIS 2001: 59-69 - [c8]Michael Johnson, Christopher N. G. Dampney:
Enterprise Information Systems: Specifying the Links among Project Data Models Using Category Theory. ICEIS (2) 2001: 619-626 - [c7]Michael Johnson, Robert D. Rosebrugh:
Reverse Engineering Legacy Information Systems for Internet Based Interoperation. ICSM 2001: 32- - 2000
- [c6]Zinovy Diskin, Boris Kadish, Frank Piessens, Michael Johnson:
Universal Arrow Foundations for Visual Modeling. Diagrams 2000: 345-360
1990 – 1999
- 1997
- [e1]Michael Johnson:
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 [contents] - 1996
- [c5]Richard Buckland, Michael Johnson:
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. AMAST 1996: 587-590 - 1995
- [c4]Kit Dampney, Michael Johnson:
Application of "Consistency Dependency" to Corporate and Project Information Models. OOER 1995: 445-446 - 1994
- [c3]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
- [c2]Michael Johnson, Christopher N. G. Dampney:
On the Value of Commutative Diagrams in Information Modelling. AMAST 1993: 45-58
1980 – 1989
- 1989
- [c1]Michael Johnson, Paul Sanders:
From Z Specifications To Functional Implementations. Z User Workshop 1989: 86-112
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
