Alexander D. S. Smith

According to our database, Alexander D. S. Smith authored at least 6 papers between 2003 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

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

2007

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

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

2005

Fault diagnosis and logic debugging using Boolean satisfiability.

Alexander Smith, Andreas G. Veneris, Moayad Fahim Ali, Anastasios Viglas

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

2004

Debugging sequential circuits using Boolean satisfiability.

Moayad Fahim Ali, Andreas G. Veneris, Alexander Smith, Sean Safarpour, Rolf Drechsler, Magdy S. Abadir

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

Design diagnosis using Boolean satisfiability.

Alexander Smith, Andreas G. Veneris, Anastasios Viglas

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003

Logic verification based on diagnosis techniques.

Andreas G. Veneris, Alexander Smith, Magdy S. Abadir

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003