| 2023 | TrustCom | Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks. | Shashwat Adhikari, Hafizul Asad, Kevin D. Jones |
| 2023 | WiMob | Security Implications of a Satellite Communication Device on Wireless Networks Using Pentesting. | Jordan Gurren, Avanthika Vineetha Harish, Kimberly Tam, Kevin D. Jones |
| 2016 | ICRA | Live-fly, large-scale field experimentation for large numbers of fixed-wing UAVs. | Timothy H. Chung, Michael R. Clement, Michael A. Day, Kevin D. Jones, Duane Davis, Marianna Jones |
| 2015 | DAC | Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. | Hafiz ul Asad, Kevin D. Jones |
| 2014 | DDECS | Verifying robust frequency domain properties of non linear oscillators using SMT. | Hafiz ul Asad, Kevin D. Jones, Frdric Surre |
| 2013 | HCI | Modeling Security Policy and the Effect for End-Users. | Kevin D. Jones, Kizito Salako |
| 2013 | IROS | Planning for opportunistic surveillance with multiple robots. | Dinesh Thakur, Maxim Likhachev, James Keller, Vijay Kumar, Vladimir N. Dobrokhodov, Kevin D. Jones, Jeff Wurz, Isaac Kaminer |
| 2007 | DAC | Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch. | Jaeha Kim, Kevin D. Jones, Mark A. Horowitz |
| 2007 | ICCAD | Variable domain transformation for linear PAC analysis of mixed-signal systems. | Jaeha Kim, Kevin D. Jones, Mark A. Horowitz |
| 1987 | FM | Support Environments for VDM. | Kevin D. Jones |
| 1987 | FM | A Formal Semantics for a DataFlow Machine - Using VDM. | Kevin D. Jones |