Alexander Smith

Fault diagnosis and logic debugging using Boolean satisfiability

Alexander Smith, Andreas Veneris, Moayad Fahim Ali et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 269 citations

Engineering, Computer Engineering, Computer Science +14

A machine learning framework for the analysis and prediction of catalytic activity from experimental data

Alexander Smith, Andrea Keane, James A. Dumesic et al. · Applied Catalysis B: Environmental · 2019 · 128 citations

Natural Sciences, Chemical Engineering, Chemistry +16

Debugging sequential circuits using Boolean satisfiability

Moayad Fahim Ali, Andreas Veneris, Alexander Smith et al. · 2005 · 69 citations

Engineering, Computer Engineering, Computer Science +14

Design diagnosis using Boolean satisfiability

Alexander Smith, Andreas Veneris, Anastasios Viglas · 2004 · 60 citations

Engineering, Computer Science, Digital Design +14

Convolutional Network Analysis of Optical Micrographs for Liquid Crystal Sensors

Alexander Smith, Nicholas L. Abbott, Ví­ctor M. Zavala · The Journal of Physical Chemistry C · 2020 · 58 citations

Computing, Computer Science, Materials Science +17