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

13 items

LLM-enabled Behavior Driven Development Workflow for Formally Verified Hardware Designs

2026

Cited

0

SAQC: A SAT-Aware Compilation Framework for QAOA-Based Quantum Optimization

2026

Cited

0

TRACE: Traversal and Reasoning Algebraic Computing Engine for Formal Hardware Verification

2026

Cited

0

Behavior-Driven Explainability

2026

Cited

0

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)