Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation. - Frank Imeson; Ariq Emtenan; Siddharth Garg; Mahesh V. Tripunitara (USENIX Security Symposium, 2013)

A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints. - Frank Imeson; Stephen L. Smith 001 (ICRA, 2014)

Multi-robot task planning and sequencing using the SAT-TSP language. - Frank Imeson; Stephen L. Smith 001 (ICRA, 2015)

Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way). - Frank Imeson; Saeed Nejati; Siddharth Garg; Mahesh V. Tripunitara (WOOT, 2016)

Clustering in discrete path planning for approximating minimum length paths. - Frank Imeson; Stephen L. Smith 001 (ACC, 2017)

The Need for Declarative Properties in Digital IC Security. - Mohamed El Massad; Frank Imeson; Siddharth Garg; Mahesh Tripunitara (ACM Great Lakes Symposium on VLSI, 2017)

GLNS: An effective large neighborhood search heuristic for the Generalized Traveling Salesman Problem. - Stephen L. Smith 001; Frank Imeson (Comput. Oper. Res., 2017)

Robotic Path Planning for High-Level Tasks in Discrete Environments. - Frank Imeson (2018)

An SMT-Based Approach to Motion Planning for Multiple Robots With Complex Constraints. - Frank Imeson; Stephen L. Smith 001 (IEEE Trans. Robotics, 2019)

Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage Planning. - Megnath Ramesh; Frank Imeson; Baris Fidan; Stephen L. Smith 001 (IEEE Robotics Autom. Lett., 2022)

Approximate Environment Decompositions for Robot Coverage Planning using Submodular Set Cover. - Megnath Ramesh; Frank Imeson; Baris Fidan; Stephen L. Smith 001 (CDC, 2024)

Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments. - Megnath Ramesh; Frank Imeson; Baris Fidan; Stephen L. Smith 001 (IEEE Trans. Robotics, 2024)