Logic verification based on diagnosis techniques. - Andreas G. Veneris; Alexander Smith 001; Magdy S. Abadir (ASP-DAC, 2003)

Design diagnosis using Boolean satisfiability. - Alexander Smith 001; Andreas G. Veneris; Anastasios Viglas (ASP-DAC, 2004)

Debugging sequential circuits using Boolean satisfiability. - Moayad Fahim Ali; Andreas G. Veneris; Alexander Smith 001; Sean Safarpour; Rolf Drechsler; Magdy S. Abadir (ICCAD, 2004)

Fault diagnosis and logic debugging using Boolean satisfiability. - Alexander Smith 001; Andreas G. Veneris; Moayad Fahim Ali; Anastasios Viglas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

Evolving a Scalable Multirobot Controller Using an Artificial Neural Tissue Paradigm. - Jekanthan Thangavelautham; Alexander D. S. Smith; Dale Boucher; Jim Richard; Gabriele M. T. D'Eleuterio (ICRA, 2007)

Autonomous multirobot excavation for lunar applications. - Jekanthan Thangavelautham; Kenneth Law; Terence Fu; Nader Abu El Samid; Alexander D. S. Smith; Gabriele M. T. D'Eleuterio (Robotica, 2017)