Search Results - Drechsler, Rolf

Rolf Drechsler

Rolf Drechsler is an electrical engineer at the University of Bremen, Germany. He was named a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2015 for his contributions in testing and verification of electronic circuits and systems. He was named as an ACM Fellow in 2023. Provided by Wikipedia
  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Reversible and Quantum Circuits Optimization and Complexity Analysis /

    Reversible and Quantum Circuits Optimization and Complexity Analysis / by Abdessaied, Nabila, Drechsler, Rolf

    Published 2016
    Full-text access
    View in OPAC
    e-Book
  2. 2
    Exact Design of Digital Microfluidic Biochips

    Exact Design of Digital Microfluidic Biochips by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf

    Published 2019
    Full-text access
    View in OPAC
    e-Book
  3. 3
    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test /

    Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test / by Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf

    Published 2019
    Full-text access
    View in OPAC
    e-Book
  4. 4
    Automatic Methods for the Refinement of System Models From the Specification to the Implementation /

    Automatic Methods for the Refinement of System Models From the Specification to the Implementation / by Seiter, Julia, Wille, Robert, Drechsler, Rolf

    Published 2017
    Full-text access
    View in OPAC
    e-Book
  5. 5
    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf

    Published 2018
    Full-text access
    View in OPAC
    e-Book
  6. 6
    Formal System Verification State-of the-Art and Future Trends /

    Formal System Verification State-of the-Art and Future Trends /

    Published 2018
    Other Authors: “…Drechsler, Rolf…”
    Full-text access
    View in OPAC
    e-Book
  7. 7
    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /

    Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2015 /

    Published 2016
    Other Authors: “…Drechsler, Rolf…”
    Full-text access
    View in OPAC
    e-Book
  8. 8
    Advanced Logic Synthesis

    Advanced Logic Synthesis

    Published 2018
    Other Authors:
    Full-text access
    View in OPAC
    e-Book

Search Tools: