Scholar

Rolf Drechsler

Google Scholar ID: 9v_MAAIAAAAJ

Professor at University of Bremen, Director DFKI Bremen, Germany

algorithmsdata structuressystem designverificationtest

Google Scholar↗

Citations & Impact

All-time

Citations

9,106

H-index

39

i10-index

265

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

9 items

Measurement-Driven Adaptive Low-Overhead Implementation of Multi-Controlled Toffoli Gates

2026

Cited

0

Adaptive Clifford+T Decomposition of Large Toffoli Gates with One Clean Ancilla

2026

Cited

0

Performance Gains in Quantum SAT Solvers Using ESOP Encoding

2026

Cited

0

Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing

2026

Cited

0

LLM-based Behaviour Driven Development for Hardware Design

2025

Cited

0

Revolution or Hype? Seeking the Limits of Large Models in Hardware Design

2025

Cited

0

Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution

2025

Cited

0

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)