Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rolf Drechsler

Measurement and Evaluation of Calorimetric Descriptors for the Suitability for Evolutionary High-Throughput Material Development

Materials Science

English

Quantum Circuit Optimization by Hadamard Gate Reduction

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

FoREnSiC– An Automatic Debugging Environment for C Programs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Self-Practicing of Logic Circuits Through Mobile Devices: Lecturers’ and Students’ Perceptions

English

Exact One-Pass Synthesis of Digital Microfluidic Biochips

English

Formal Verification of Integer Multipliers by Combining Gröbner Basis With Logic Reduction

English

Proving Transaction and System-Level Properties of Untimed SystemC TLM Designs

English

Hierarchical Synthesis of Reversible Circuits Using Positive and Negative Davio Decomposition

English

A Compact and Efficient SAT Encoding for Quantum Circuits

English

Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL

English