Question 1

What does Andreas Kuehlmann research?

Accepted Answer

Andreas Kuehlmann publishes mostly in Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering, on topics such as Formal Methods in Verification, VLSI and Analog Circuit Testing and Embedded Systems Design Techniques.

Question 2

Which keywords describe Andreas Kuehlmann's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, FPGA, Embedded Cores, Test Data Compression, CMOS Technology and High-Level Synthesis.

Question 3

Where does Andreas Kuehlmann work?

Accepted Answer

Andreas Kuehlmann's main affiliation in the publication record is Cadence Design Systems (United States), United States.

Question 4

How many publications and citations does Andreas Kuehlmann have?

Accepted Answer

OpenAlex counts 114 works and 3,137 citations for Andreas Kuehlmann, an h-index of 29, ranking #632,124 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Andreas Kuehlmann's h-index high?

Accepted Answer

An h-index of 29 is at or above that of 96% of the 7,394 ranked researchers whose main subfield is Hardware and Architecture, which is in the top 4.6%.