SBSAT: a State-Based, BDD-Based Satisfiability Solver. - John V. Franco; Michal Kouril; John S. Schlipf; Jeffrey Ward; Sean A. Weaver; Michael R. Dransfield; W. Mark Vanfleet (SAT, 2003)

Answer Set Programming with Clause Learning. - Jeffrey Ward; John S. Schlipf (LPNMR, 2004)

Mixing of quantum walk on circulant bunkbeds. - Peter Lo; Siddharth Rajaram; Diana Schepens; Daniel Sullivan; Christino Tamon; Jeffrey Ward (Quantum Inf. Comput., 2006)

Software Defined Radio for direction-finding in UAV wildlife tracking. - Kurt VonEhr; Seth Hilaski; Bruce E. Dunne; Jeffrey Ward (EIT, 2016)