Alexander Smith

26 papers and 501 indexed citations i.

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