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 Springer International Publishing : Imprint: Springer, 2016.
    Full-text access
    e-Book
  2. 2
    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 Springer International Publishing : Imprint: Springer, 2019.
    Full-text access
    e-Book
  3. 3
    Exact Design of Digital Microfluidic Biochips

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

    Published Springer International Publishing : Imprint: Springer, 2019.
    Full-text access
    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 Springer International Publishing : Imprint: Springer, 2017.
    Full-text access
    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 Springer International Publishing : Imprint: Springer, 2018.
    Full-text access
    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 Springer International Publishing : Imprint: Springer, 2018.
    Other Authors: “…Drechsler, Rolf…”
    Full-text access
    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 Springer International Publishing : Imprint: Springer, 2016.
    Other Authors: “…Drechsler, Rolf…”
    Full-text access
    e-Book
  8. 8
    Advanced Logic Synthesis

    Advanced Logic Synthesis

    Published Springer International Publishing : Imprint: Springer, 2018.
    Other Authors:
    Full-text access
    e-Book

Search Tools: