The equivalence of tautological and "strict" entailment: Proof of an amended conjecture of Lewy's. - Michael Clark (J. Philos. Log., 1980)

Remote Internet-based lidar experimentation and education. - Nimmi C. Parikh; Jo Ann Parikh; Michael Clark; Megan Damon; Sean Mandable; Martin Connors (IGARSS, 2004)

Visual enhancement of micro CT bone density images. - John S. DaPonte; Michael Clark; Megan Damon; Rebecca Kamins; Thomas Sadowski; Charles Tirrell (Visual Information Processing, 2005)

Quantitative confirmation of visual improvements to micro-CT bone density images. - John S. DaPonte; Michael Clark; Paul Nelson; Thomas Sadowski; Elizabeth Wood (Visual Information Processing, 2006)

Testing Driver Skill for High-Speed Autonomous Vehicles. - Chris Urmson; William Whittaker; Sam Harbaugh; Michael Clark; Phillip L. Koon (Computer, 2006)

A robust approach to high-speed navigation for unrehearsed desert terrain. - Chris Urmson; Charlie Ragusa; David Ray; Joshua Anhalt; Daniel Bartz; Tugrul Galatali; Alexander Gutierrez; Josh Johnston; Sam Harbaugh; Hiroki Kato; William C. Messner; Nick Miller; et al. (J. Field Robotics, 2006)

Enthalpy of Solvation Correlations for Gaseous Solutes Dissolved in Water and in 1-Octanol Based on the Abraham Model. - Christina Mintz; Michael Clark; William E. Acree Jr.; Michael H. Abraham (J. Chem. Inf. Model., 2007)

Characterization of Room-Temperature Ionic Liquids by the Abraham Model with Cation-Specific and Anion-Specific Equation Coefficients. - Laura Sprunger; Michael Clark; William E. Acree Jr.; Michael H. Abraham (J. Chem. Inf. Model., 2007)

Robust wireless channel based secret key extraction. - Michael Clark (MILCOM, 2012)

FlexQuery: An online query system for interactive remote visual data exploration at large scale. - Hongbo Zou; Karsten Schwan; Magdalena Slawiñska; Matthew Wolf; Greg Eisenhauer; Fang Zheng 003; Jai Dayal; Jeremy Logan; Qing Liu 002; Scott Klasky; Tanja Bode; Michael Clark; et al. (CLUSTER, 2013)

A Maya use case: adaptable scientific workflows with ADIOS for general relativistic astrophysics. - Magdalena Slawiñska; Michael Clark; Matthew Wolf; Tanja Bode; Hongbo Zou; Pablo Laguna; Jeremy Logan; Matthew Kinsey; Scott Klasky (XSEDE, 2013)

Variant Priorization and Analysis Incorporating Problematic Regions of the Genome. - Anil Patwardhan; Michael Clark; Alex Morgan 004; Stephen A. Chervitz; Mark Pratt; Gábor T. Bartha; Gemma Chandratillake; Sarah Garcia; Nan Leng; Richard Chen (Pacific Symposium on Biocomputing, 2014)

AMD "ZEN 2". - David Suggs; Dan Bouvier; Michael Clark; Kevin Lepak; Mahesh Subramony (Hot Chips Symposium, 2019)

Agile Scrum Development in an ad hoc Software Collaboration. - Amanda L. Baxter; Segev Y. BenZvi; Walter M. Bonivento; Adam Brazier; Michael Clark; Alexis Coleiro; David Collom; Marta Colomer-Molla; Bryce Cousins; Aliwen Delgado Orellana; Damien Dornic; Vladislav Ekimtcov; et al. (CoRR, 2021)

Passwords and Cryptwords: The Final Limits on Lengths. - Michael Clark; Kent E. Seamons (NSPW, 2022)

Developing a Competitive Resource-Based View Strategy for Academic Libraries. - Michael Clark (Libr. Trends, 2022)

Collaborative experience between scientific software projects using Agile Scrum development. - Amanda L. Baxter; Segev Y. BenZvi; Walter M. Bonivento; Adam Brazier; Michael Clark; Alexis Coleiro; David Collom; Marta Colomer-Molla; Bryce Cousins; Aliwen Delgado Orellana; Damien Dornic; Vladislav Ekimtcov; et al. (Softw. Pract. Exp., 2022)

Choose From a List: A User Study of Random Password Memorability. - Michael Clark; Gregory L. Snow; Kent E. Seamons (CHI, 2025)