Rolf Drechsler

489 papers and 4.0k indexed citations i.

About

Rolf Drechsler has authored 489 papers that have received a total of 4.0k indexed citations. This includes 272 papers in Computational Theory and Mathematics, 233 papers in Hardware and Architecture and 216 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (193 papers), VLSI and Analog Circuit Testing (153 papers) and Embedded Systems Design Techniques (107 papers). Rolf Drechsler is often cited by papers focused on Formal Methods in Verification (193 papers), VLSI and Analog Circuit Testing (153 papers) and Embedded Systems Design Techniques (107 papers) and collaborates with scholars based in Germany, Austria and United States. Rolf Drechsler's co-authors include Robert Wille, Mathias Soeken, Daniel Große, Görschwin Fey and Bernd Becker and has published in prestigious journals such as Physical Review A, Computers in Human Behavior and Expert Systems with Applications

In The Last Decade

Rankless by CCL
2025