Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic. - Michael O'Connor (LFCS, 2007)

Aptamers as Theranostic Agents: Modifications, Serum Stability and Functionalisation. - Sarah Shigdar; Joanna Macdonald; Michael O'Connor; Tao Wang 043; Dongxi Xiang; Hadi Al. Shamaileh; Liang Qiao; Ming Wei; Shu-Feng Zhou; Yimin Zhu; Lingxue Kong; Santanu Bhattacharya; et al. (Sensors, 2013)

Nano Simbox: an OpenCL-accelerated framework for interactive molecular dynamics. - Michael O'Connor; Phillip Tew; B. Sage; Simon McIntosh-Smith; David R. Glowacki (IWOCL, 2015)

Addressing Issues of Need, Adaptability, User Acceptability and Ethics in the Participatory Design of New Technology Enabling Wellness, Independence and Dignity for Seniors Living in Residential Homes. - Joan Cahill; Sean McLoughlin; Michael O'Connor; Melissa Stolberg; Sean Wetherall (HCI (27), 2017)

Bifurcations and symmetry in two optimal formation control problems for mobile robotic systems. - Baoyang Deng; Michael O'Connor; Bill Goodwine (Robotica, 2017)

User Requirement Analysis for the Design of a Gamified Ambient Assisted Living Application. - Athanasios I. Kyritsis; Julia Nuss; Lynnette Holding; Peter Rogers; Michael O'Connor; Panagiotis Kostopoulos; Mervyn Suffield; Michel Deriaz; Dimitri Konstantas (ICCHP (2), 2018)

Monitoring Soil Water and Organic Carbon Storage Patterns at the Arctic Foothills, Alaska, Using Insar. - Yue Wu; Jingyi Chen; Michael O'Connor; Stephen B. Ferencz; George W. Kling; M. Bayani Cardenas (IGARSS, 2020)

Combining Virtual Reality Visualization with Ensemble Molecular Dynamics to Study Complex Protein Conformational Changes. - Jordi Juárez Jiménez; Philip Tew; Michael O'Connor; Salomé Llabrés; Rebecca Sage; David R. Glowacki; Julien Michel (J. Chem. Inf. Model., 2020)

The Uncertainty in InSAR-Based Active Layer Soil Water Storage Estimates Over the Arctic Foothills. - Yue Wu; Jingyi Chen; Michael O'Connor; Stephen B. Ferencz; M. Bayani Cardenas; George W. Kling (IGARSS, 2022)

Satisfaction of search (SOS) error and new lesions identification on imaging in central review for clinical trials. - Manish Sharma; Sree Sudha Kota; Madhuri Madasu; Surabhi Bajpai; Yibin Shao; Srinivas Pasupuleti; Michael O'Connor (Image Perception, Observer Performance, and Technology Assessment, 2022)

Using reader disagreement index as a tool for monitoring impact on read quality due to reader fatigue in central reviewers. - Manish Sharma; Madhuri Madasu; Sree Sudha Kota; Surabhi Bajpai; Yibin Shao; Srinivas Pasupuleti; Michael O'Connor (Image Perception, Observer Performance, and Technology Assessment, 2022)

Detect, Fix, and Verify TensorFlow API Misuses. - Wilson Baker; Michael O'Connor; Seyed Reza Shahamiri; Valerio Terragni (SANER, 2022)

Bayesian Learning via Q-Exponential Process. - Shuyi Li; Michael O'Connor; Shiwei Lan (NeurIPS, 2023)

#COVIDisAirborne: AI-enabled multiscale computational microscopy of delta SARS-CoV-2 in a respiratory aerosol. - Abigail C. Dommer; Lorenzo Casalino; Fiona L. Kearns; Mia A. Rosenfeld; Nicholas Wauer; Surl-Hee Ahn; John Russo 003; A. Sofia F. Oliveira; Clare Morris; Anthony T. Bogetti; Anda Trifan; Alexander Brace; et al. (Int. J. High Perform. Comput. Appl., 2023)

Creating the First Confidential GPUs: The team at NVIDIA brings confidentiality and integrity to user code and data for accelerated computing. - Gobikrishna Dhanuskodi; Sudeshna Guha; Vidhya Krishnan; Aruna Manjunatha; Michael O'Connor; Rob Nertney; Phil Rogers (ACM Queue, 2023)

Creating the First Confidential GPUs. - Gobikrishna Dhanuskodi; Sudeshna Guha; Vidhya Krishnan; Aruna Manjunatha; Rob Nertney; Michael O'Connor; Phil Rogers (Commun. ACM, 2024)

Building an Ethics Assurance Case for an Algorithmic Deprescribing Decision Support System. - Michael O'Connor (ICHI, 2025)