| 2025 | ICINCO | Witness Byzantine Fault Tolerance with Signature Tree and Proof-of-Navigation for Wide Area Visual Navigation. | Nasim Paykari, Taylor Clark, Ademi Zain, Damian M. Lyons, Mohamed Rahouti |
| 2023 | ICRA | WAVN: Wide Area Visual Navigation for Large-scale, GPS-denied Environments. | Damian M. Lyons, Mohamed Rahouti |
| 2022 | IAS | A Monte Carlo Framework for Incremental Improvement of Simulation Fidelity. | Damian M. Lyons, James Finocchiaro, Michael Novitzky, Christopher Korpela |
| 2021 | ICSoft | A Meta-level Approach for Multilingual Taint Analysis. | Damian M. Lyons, Dino Becaj |
| 2020 | SP | Using Taint Analysis and Reinforcement Learning (TARL) to Repair Autonomous Robot Software. | Damian M. Lyons, Saba B. Zahra |
| 2019 | ICSoft | Towards Lakosian Multilingual Software Design Principles. | Damian M. Lyons, Saba B. Zahra, Thomas M. Marshall |
| 2019 | ICTAI | A Comparison of Contextual Bandit Approaches to Human-in-the-Loop Robot Task Completion with Infrequent Feedback. | Matthew McNeill, Damian M. Lyons |
| 2018 | ICMI | Constructionist steps towards an autonomously empathetic system. | Trevor Buteau, Damian M. Lyons |
| 2018 | ICSoft | Lightweight Call-Graph Construction for Multilingual Software Analysis. | Anne Marie Bogar, Damian M. Lyons, David Baird |
| 2017 | ICSoft | Lightweight Multilingual Software Analysis. | Damian M. Lyons, Anne Marie Bogar, David Baird |
| 2017 | ICTAI | Effect of Field of View in Stereovision-Based Visual Homing. | Damian M. Lyons, Luca Del Signore, Benjamin Barriage |
| 2017 | SMC | Formal performance guarantees for an approach to human in the loop robot missions. | Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Matthew Joseph O'Brien, F. Tang, P. Tang |
| 2016 | ICTAI | Formal Performance Guarantees for Behavior-Based Localization Missions. | Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Matthew Joseph O'Brien, Feng Tang, Peng Tang |
| 2015 | ICTAI | Probabilistic Verification of Multi-robot Missions in Uncertain Environments. | Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, Feng Tang, Peng Tang |
| 2014 | IAS | Leveraging Area Bounds Information for Autonomous Multirobot Exploration. | Tsung-Ming Liu, Damian M. Lyons |
| 2014 | IROS | Verifying and validating multirobot missions. | Damian M. Lyons, Ronald C. Arkin, Shu D. Jiang, Dagan Harrington, T. Liu |
| 2013 | IROS | Getting it right the first time: Robot mission guarantees in the presence of uncertainty. | Damian M. Lyons, Ronald C. Arkin, P. Nirmal, Shu D. Jiang, Tsung-Ming Liu, J. Deeb |
| 2012 | IROS | Designing autonomous robot missions with performance guarantees. | Damian M. Lyons, Ronald C. Arkin, P. Nirmal, Shu D. Jiang |
| 2010 | ICRA | Detection and filtering of landmark occlusions using Terrain Spatiograms. | Damian M. Lyons |
| 2010 | IROS | Selection and recognition of landmarks using terrain spatiograms. | Damian M. Lyons |
| 2009 | IROS | Sharing landmark information using mixture of Gaussian terrain spatiograms. | Damian M. Lyons |
| 2007 | AINA | Combinatorial Fusion Criteria for Robot Mapping. | Damian M. Lyons, D. Frank Hsu, Qiang Ma, Liang Wang |
| 2007 | HRI | A cognitive robotics approach to comprehending human language and behaviors. | D. Paul Benjamin, Deryle W. Lonsdale, Damian M. Lyons |
| 2006 | AINA | Combinatorial Fusion Criteria for Real-Time Tracking. | D. Frank Hsu, Damian M. Lyons, Jizhou Ai |
| 2006 | FUSION | Selecting and Evaluating Combinatorial Fusion Criteria to Improve Multitarget Tracking. | D. Frank Hsu, Damian M. Lyons, Jizhou Ai |
| 2005 | AINA | A Dynamic Pruning and Feature Selection Strategy for Real-Time Tracking. | D. Frank Hsu, Damian M. Lyons |
| 2005 | AVSS | Rank-based multisensory fusion in multitarget video tracking. | Damian M. Lyons, D. Frank Hsu |
| 2004 | ICRA | Towards Performance Guarantees for Emergent Behavior. | Damian M. Lyons, Ronald C. Arkin |
| 2003 | AVSS | Discrete Event Modeling of Misrecognition in PTZ Tracking. | Damian M. Lyons |
| 2003 | AVSS | Experimental Results from Using a Rank and Fuse Approach for Multi-Target Tracking in CCTV Surveillance. | Damian M. Lyons, D. Frank Hsu, C. Usandivaras, F. Montero |
| 2001 | ICCV | A Background Model Initialization Algorithm for Video Surveillance. | Daniel Gutchess, Miroslav Trajkovic, Eric Cohen-Solal, Damian M. Lyons, Anil K. Jain |
| 1994 | ICRA | Planning by Adaptation: Experimental Results. | Damian M. Lyons, Antonius J. Hendriks |
| 1994 | IROS | Using perception to plan incremental adaptations. | Antonius J. Hendriks, Damian M. Lyons |
| 1994 | IROS | Using Perceptions to Plan Incremental Adaptations. | Antonius J. Hendriks, Damian M. Lyons |
| 1993 | IROS | Stable grasping with a multi-fingered robot hand: a behavior-based approach. | Thomas G. Murphy, Damian M. Lyons, Antonius J. Hendriks |
| 1992 | ICRA | Planning for reactive robot behavior. | Damian M. Lyons, Antonius J. Hendriks |
| 1991 | ICRA | Achieving robustness by casting planning as adaptation of a reactive system. | Damian M. Lyons, Antonius J. Hendriks, Sandeep Mehta |
| 1991 | ICTAI | A methodology for creating and adapting reactive systems. | Antonius J. Hendriks, Damian M. Lyons |
| 1990 | ICRA | A process-based approach to task plan representation. | Damian M. Lyons |
| 1990 | SRDS | Representation and Execution Support for Reliable Robot Applications. | Prabha Gopinath, Damian M. Lyons, Sandeep Mehta |
| 1986 | ICRA | Tagged potential fields: An approach to specification of complex manipulator configurations. | Damian M. Lyons |
| 1985 | ICRA | A simple set of grasps for a dextrous hand. | Damian M. Lyons |