Alexander Smith

26 papers and 480 indexed citations i.

About

Alexander Smith has authored 26 papers that have received a total of 480 indexed citations. This includes 11 papers in Computational Theory and Mathematics, 6 papers in Electrical and Electronic Engineering and 5 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (5 papers), VLSI and Analog Circuit Testing (5 papers) and Topological and Geometric Data Analysis (5 papers). Alexander Smith is often cited by papers focused on Formal Methods in Verification (5 papers), VLSI and Analog Circuit Testing (5 papers) and Topological and Geometric Data Analysis (5 papers) and collaborates with scholars based in United States, Canada and China. Alexander Smith's co-authors include Ví­ctor M. Zavala, Andreas Veneris, Magdy S. Abadir, G.M.T. D’Eleuterio and Jekan Thangavelautham and has published in prestigious journals such as Journal of Biological Chemistry, ACS Nano and Applied Catalysis B Environment and Energy

In The Last Decade

Rankless by CCL
2025