Integration of vision modules and labeling of surface discontinuities. - Edward B. Gamble; Davi Geiger; Tomaso A. Poggio; Daphna Weinshall (IEEE Trans. Syst. Man Cybern., 1989)

A discontinuity detector based on the pervasive noise in surface property data. - Edward B. Gamble Jr. (CVPR, 1991)

Displacement errors in surface property data. - Edward B. Gamble Jr. (ICPR (1), 1992)

A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft. - Barney Pell; Edward B. Gamble; Erann Gat; Ron Keesing; James Kurien; William Millar; P. Pandurang Nayak; Christian Plaunt; Brian C. Williams (Agents, 1998)

The Impact of Autonomy Technology on Spacecraft Software Architecture: A Case Study. - Edward B. Gamble; Reid G. Simmons (IEEE Intell. Syst., 1998)

A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft. - Barney Pell; Edward B. Gamble; Erann Gat; Ron Keesing; James Kurien; William Millar; Christian Plaunt; Brian C. Williams (Auton. Agents Multi Agent Syst., 1999)

Remote Agent: An Autonomous Control System for the New Millennium. - Kanna Rajan; Douglas E. Bernard; Gregory Dorais; Edward B. Gamble; Bob Kanefsky; James Kurien; William Millar; Nicola Muscettola; P. Pandurang Nayak; Nicolas F. Rouquette; Benjamin D. Smith; William Taylor; et al. (ECAI, 2000)

Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. - Mark L. McKelvin Jr.; Edward B. Gamble Jr.; Gerard J. Holzmann (PRDC, 2011)

Logic Model Checking of Time-Periodic Real-Time Systems. - Mihai Florian; Edward B. Gamble; Gerard J. Holzmann (Infotech@Aerospace, 2012)

Spot: a programming language for verified flight software. - Robert L. Bocchino; Edward B. Gamble; Kim P. Gostelow; Raphael R. Some (HILT, 2014)