Andreas Kuehlmann
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.
- World rank
- #632,124 of 7,710,434 ranked researchers
- Rank in United States
- #215,851 of 1,627,098
- Works
- 114
- Citations
- 3.1k
- Citations per work
- 27.5
What does Andreas Kuehlmann research?
Andreas Kuehlmann's work is mostly in Computer Science (69%), Engineering (19%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences10088.0%
- Computer Science7868.6%
- Engineering2219.4%
- Everything else1412.0%
- 1Hardware and Architecture27% of their works
- 2Computational Theory and Mathematics24% of their works
- 3Electrical and Electronic Engineering19% of their works
- 4Artificial Intelligence8% of their works
- 5Software6% of their works
- 6Computer Networks and Communications4% of their works
Research topics
Which keywords describe Andreas Kuehlmann's research?
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.
- Formal Verification
- Automated Testing
- Low-Power
- Radiation Effects
- ASIC
- High-Level Synthesis
- Test Data Compression
- FPGA
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Embedded Cores
- CMOS Technology
- Reconfigurable Computing
- Placement
- Soft Errors
- VLSI Circuits
- Software Fault Localization
- Static Analysis
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 19 words, with their numbers
- Model Checking742 topics
- Satisfiability Modulo Theories671 topic
- Symbolic Model Checker671 topic
- FPGA462 topics
- Embedded Cores411 topic
- Test Data Compression411 topic
- CMOS Technology302 topics
- High-Level Synthesis281 topic
- Reconfigurable Computing281 topic
- ASIC181 topic
- Placement181 topic
- Radiation Effects171 topic
- Soft Errors171 topic
- Low-Power131 topic
- VLSI Circuits131 topic
- Automated Testing121 topic
- Software Fault Localization121 topic
- Formal Verification71 topic
- Static Analysis71 topic
Where does Andreas Kuehlmann work?
Andreas Kuehlmann's main affiliation in the publication record is Cadence Design Systems (United States), United States.
How many publications and citations does Andreas Kuehlmann have?
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.
Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Andreas Kuehlmann. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.