Andreas Kuehlmann
About
Andreas Kuehlmann has authored 40 papers that have received a total of 857 indexed citations.
This includes 29 papers in Computational Theory and Mathematics, 26 papers in Hardware and Architecture and 17 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (28 papers), VLSI and Analog Circuit Testing (17 papers) and Embedded Systems Design Techniques (12 papers). Andreas Kuehlmann is often cited by papers focused on Formal Methods in Verification (28 papers), VLSI and Analog Circuit Testing (17 papers) and Embedded Systems Design Techniques (12 papers) and collaborates with scholars based in United States, Sweden and Brazil. Andreas Kuehlmann's co-authors include Ellen Sentovich, Malay Ganai, Robert K. Brayton, Reinaldo A. Bergamaschi and Kaushik Ravindran and has published in prestigious journals such as IBM Journal of Research and Development, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and IEEE Transactions on Very Large Scale Integration (VLSI) Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by C Crevoisier are about Top fields papers by Dominik Beck are about Top fields papers by Noha N. Nassar are about Top authors papers by R. Meenakshi Sundaram are co-authored with Top authors papers by S. Manivannan are co-authored with Top journals papers by Fadong Li are published in Top fields papers by Roy Rosin are about Top authors papers by Chaofeng Zhao are co-authored with