Incremental Non-Backtracking Focusing: A Polynomially Bounded Generalization Algorithm for Version Spaces. - Benjamin D. Smith; Paul S. Rosenbloom (AAAI, 1990)

Knowledge Acquisition for the Onboard Planner of an Autonomous Spacecraft. - Benjamin D. Smith; Kanna Rajan; Nicola Muscettola (EKAW, 1997)

Robust Periodic Planning and Execution for Autonomous Spacecraft. - Barney Pell; Erann Gat; Ron Keesing; Nicola Muscettola; Benjamin D. Smith (IJCAI, 1997)

Issues in Temporal Reasoning for Autonomous Control Systems. - Nicola Muscettola; Paul H. Morris; Barney Pell; Benjamin D. Smith (Agents, 1998)

Automated Planning and Scheduling for Goal-Based Autonomous Spacecraft. - Steve A. Chien; Nicola Muscettola; Kanna Rajan; Benjamin D. Smith; Gregg R. Rabideau (IEEE Intell. Syst., 1998)

Planning in Interplanetary Space: Theory and Practice. - Ari K. Jónsson; Paul H. Morris; Nicola Muscettola; Kanna Rajan; Benjamin D. Smith (AIPS, 2000)

Challenges and Methods in Testing the Remote Agent Planner. - Benjamin D. Smith; Martin S. Feather; Nicola Muscettola (AIPS, 2000)

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)

Automatic Generation of Test Oracles-From Pilot Studies to Application. - Martin S. Feather; Benjamin D. Smith (Autom. Softw. Eng., 2001)

The RADARSAT-MAMM Automated Mission Planner. - Benjamin D. Smith; Barbara E. Engelhardt; Darren H. Mutz (AI Mag., 2002)

Interactive High Performance Computing for Music. - Benjamin D. Smith; Guy E. Garnett (ICMC, 2011)

The Self-Supervising Machine. - Benjamin D. Smith; Guy E. Garnett (NIME, 2011)

Improvising Musical Structure with Hierarchical Neural Nets. - Benjamin D. Smith; Guy E. Garnett (MUME@AIIDE, 2012)

Reinforcement Learning and the Creative, Automated Music Improviser. - Benjamin D. Smith; Guy E. Garnett (EvoMUSART, 2012)

Enabling Live presence: Dynamic video Compression for the Telematic arts. - Benjamin D. Smith (ICMC, 2012)

Advancing Expert Human-Computer Interaction through Music. - Benjamin D. Smith; Guy E. Garnett (ICMC, 2012)

Machine listening: acoustic interface with ART. - Benjamin D. Smith; Guy E. Garnett (IUI, 2012)

Unsupervised Play: Machine Learning Toolkit for Max. - Benjamin D. Smith; Guy E. Garnett (NIME, 2012)

Tracking Creative Musical Structure: The Hunt for the Intrinsically Motivated Generative Agent. - Benjamin D. Smith (MUME@AIIDE, 2013)

ML.* Machine Learning Library as a Musical Partner in the Computer-Acoustic Composition Flight. - Benjamin D. Smith; W. Scott Deal (ICMC, 2014)

Relative Sound Localization for Sources in a Haphazard Speaker Array. - Neal Andersen; Benjamin D. Smith (ICMC, 2016)

Electro Contra: Innovation for Tradition. - Benjamin D. Smith (ICMC, 2016)

Big Tent: A Portable Immersive Intermedia Environment. - Benjamin D. Smith; Robin Cox (ICMC, 2016)

Play it Again: Evolved Audio Effects and Synthesizer Programming. - Benjamin D. Smith (EvoMUSART, 2017)

Arraynger: new interface for interactive 360° spatialization. - Benjamin D. Smith; Neal Andersen (NIME, 2017)

Real time Pattern Based Melodic Query for Music Continuation System. - Sanjay Majumder; Benjamin D. Smith (Audio Mostly Conference, 2018)

Music Recombination Using a Genetic Algorithm. - Sanjay Majumder; Benjamin D. Smith (ICMC, 2018)

GPU-accelerated solutions of the nonlinear Schrödinger equation for simulating 2D spinor BECs. - Benjamin D. Smith; Logan W. Cooke; Lindsay J. LeBlanc (Comput. Phys. Commun., 2022)