Adnan Aziz
About
Adnan Aziz has authored 23 papers that have received a total of 305 indexed citations.
This includes 14 papers in Computational Theory and Mathematics, 10 papers in Electrical and Electronic Engineering and 10 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (13 papers), Embedded Systems Design Techniques (8 papers) and Software Testing and Debugging Techniques (5 papers). Adnan Aziz is often cited by papers focused on Formal Methods in Verification (13 papers), Embedded Systems Design Techniques (8 papers) and Software Testing and Debugging Techniques (5 papers) and collaborates with scholars based in United States, Israel and Switzerland. Adnan Aziz's co-authors include Carl Pixley, Vigyan Singhal, Robert K. Brayton, Jun Yuan and Baker Mohammad and has published in prestigious journals such as IEEE Micro, ACM Transactions on Design Automation of Electronic Systems and Formal Methods in System Design
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Mark R. Freiermuth are about Top authors papers by Rozita Doosti are co-authored with Top countries impacted by papers by Alexandr Zubov Top countries impacted by papers by Kátia L.P. Morais Top journals papers by A. Batlle are published in Top authors papers by Bradley Wilsmore are co-authored with Top fields papers by A. Pugliese are about Top authors papers by Martha Craft‐Rosenberg are co-authored with