High-performance implementations of the Descartes method. - Jeremy R. Johnson; Werner Krandick; Kevin Lynch; David G. Richardson; Anatole D. Ruslanov (ISSAC, 2006)

On the use of computational geometry to detect software faults at runtime. - Edward Stehle; Kevin Lynch; Maxim Shevertalov; Chris Rorres; Spiros Mancoridis (ICAC, 2010)

Reverse Engineering Utility Functions Using Genetic Programming to Detect Anomalous Behavior in Software. - Sunny Wong 001; Melissa Aaron; Jeffrey Segall; Kevin Lynch; Spiros Mancoridis (WCRE, 2010)

Diagnosis of software failures using computational geometry. - Edward Stehle; Kevin Lynch; Maxim Shevertalov; Chris Rorres; Spiros Mancoridis (ASE, 2011)

Guest Editorial Special Section on 2012 Workshop on the Algorithmic Foundations of Robotics (WAFR). - Kevin Lynch (IEEE Trans Autom. Sci. Eng., 2013)

Cognitive Benefits of a Simple Visual Metrics Architecture. - John King; Kathy Sonderer; Kevin Lynch (HCI (21), 2016)

Semantic design space refinement for model-based systems engineering. - Matt Schmit; Simon Briceno; Kyle Collins; Dimitri Mavris; Kevin Lynch; George Ball (SysCon, 2016)

Conceptual design acceleration for cyber-physical systems. - Kevin Lynch; Randall Ramsey; George Ball; Matt Schmit; Kyle Collins (SysCon, 2017)

Raise to Speak: An Accurate, Low-power Detector for Activating Voice Assistants on Smartwatches. - Shiwen Zhao; Brandt Westing; Shawn Scully; Heri Nieto; Roman Holenstein; Minwoo Jeong; Krishna Sridhar; Brandon Newendorp; Mike Bastian; Sethu Raman; Tim Paek; Kevin Lynch; et al. (KDD, 2019)