STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Rolf Drechsler | lit.salon
Rolf Drechsler
No bio available.
Add one in Open Library.
Books by Rolf Drechsler (50 max)
+ shelf
+ list
Advanced Boolean Techniques Selected Papers from the 13th International Workshop on Boolean Problems
2019
Rolf Drechsler, Mathias Soeken
+ shelf
+ list
Spectral Techniques in VLSI CAD
2001
Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller
+ shelf
+ list
Advanced BDD Optimization
2005
Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler
+ shelf
+ list
High Quality Test Pattern Generation and Boolean Satisfiability
2012
Stephan Eggersglüß, Rolf Drechsler
+ shelf
+ list
Formal Specification Level Algorithms, Concepts and Methods
2014
Mathias Soeken, Rolf Drechsler
+ shelf
+ list
Reversible and Quantum Circuits Optimization and Complexity Analysis
2016
Nabila Abdessaied, Rolf Drechsler
+ shelf
+ list
In-Memory Computing : Synthesis and Optimization
2019
Saeideh Shirinzadeh, Rolf Drechsler
+ shelf
+ list
Towards One-Pass Synthesis
2002
Rolf Drechsler, Wolfgang Günther
+ shelf
+ list
Evolutionary Algorithms for Embedded System Design
2003
Rolf Drechsler
+ shelf
+ list
Advanced formal verification
2004
Rolf Drechsler
+ shelf
+ list
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
2015
Rolf Drechsler, Ulrich Kühne
+ shelf
+ list
Automatic Methods for the Refinement of System Models From the Specification to the Implementation
2016
Julia Seiter, Robert Wille, Rolf Drechsler
+ shelf
+ list
Formal System Verification State-Of the-Art and Future Trends
2017
Rolf Drechsler
+ shelf
+ list
Advanced Logic Synthesis
2017
André Inácio Reis, Rolf Drechsler
+ shelf
+ list
Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test
2018
Arun Chandrasekharan, Daniel Große, Rolf Drechsler
+ shelf
+ list
Exact Design of Digital Microfluidic Biochips
2018
Oliver Keszocze, Robert Wille, Rolf Drechsler
+ shelf
+ list
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
2018
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
+ shelf
+ list
Information Storage A Multidisciplinary Perspective
2019
Cornelia S. Große, Rolf Drechsler
+ shelf
+ list
Automated Analysis of Virtual Prototypes at the Electronic System Level Design Understanding and Applications
2020
Mehran Goli, Rolf Drechsler
+ shelf
+ list
Enhanced Virtual Prototyping Featuring RISC-V Case Studies
2020
Vladimir Herdt, Daniel Große, Rolf Drechsler
+ shelf
+ list
Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems
2021
Rolf Drechsler, Daniel Große
+ shelf
+ list
Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques
2021
Sebastian Huhn, Rolf Drechsler
+ shelf
+ list
Enhanced Virtual Prototyping for Heterogeneous Systems
2022
Muhammad Hassan, Daniel Große, Rolf Drechsler
+ shelf
+ list
Design Automation for Field-Coupled Nanotechnologies
2022
Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
+ shelf
+ list
Formal Verification of Structurally Complex Multipliers
2023
Alireza Mahzoon, Daniel Große, Rolf Drechsler
+ shelf
+ list
Evolutionary algorithms for VLSI CAD
1998
Rolf Drechsler
+ shelf
+ list
Evolutionary Algorithms for VLSI CAD
1998
Rolf Drechsler
+ shelf
+ list
Graphenbasierte Funktionsdarstellung Boolesche und Pseudo-Boolesche Funktionen
1998
Rolf Drechsler, Bernd Becker
+ shelf
+ list
Binary decision diagrams: theory and implementation
1998
Rolf Drechsler
+ shelf
+ list
Binary Decision Diagrams Theory and Implementation
1998
Rolf Drechsler
+ shelf
+ list
Formal Verification of Circuits
2000
Rolf Drechsler
+ shelf
+ list
Formal Verification of Circuits
2000
Rolf Drechsler
+ shelf
+ list
Towards One-Pass Synthesis
2002
Rolf Drechsler
+ shelf
+ list
Towards One-Pass Synthesis
2002
Rolf Drechsler, Wolfgang Gunther
+ shelf
+ list
Towards One-Pass Synthesis
2002
Rolf Drechsler
+ shelf
+ list
Evolutionary algorithms for embedded system design
2003
Rolf Drechsler
+ shelf
+ list
Advanced Formal Verification
2004
Rolf Drechsler
+ shelf
+ list
Applications of Evolutionary Computing : Evoworkshops EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC
2005
Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, David W. Corne, Rolf Drechsler
+ shelf
+ list
Applications of Evolutionary Computing : EvoWorkshops 2007 EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings
2007
Mario Giacobini, Anthony Brabazon, Stefano Cagoni, Gianni A. Di Caro, Rolf Drechsler
+ shelf
+ list
Advanced Formal Verification
2007
Rolf Drechsler
+ shelf
+ list
Applications of Evolutionary Computing : EvoWorkshops 2008 EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog
2008
Mario Giacobini, Anthony Brabazon, Stefano Cagnoni, Gianni A. Di Caro, Rolf Drechsler
+ shelf
+ list
Robustness and Usability in Modern Design Flows
2008
Fey Goerschwin, Rolf Drechsler
+ shelf
+ list
Test pattern generation using Boolean proof engines
2009
Rolf Drechsler
+ shelf
+ list
Test Pattern Generation using Boolean Proof Engines
2010
Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille
+ shelf
+ list
Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen (XLeitfäden der Informatik) (German Edition)
2012
Rolf Drechsler, Bernd Becker
+ shelf
+ list
High Quality Test Pattern Generation Robust Algorithms Using Boolean Satisfiability
2012
Rolf Drechsler
+ shelf
+ list
Quality-Driven SystemC Design
2014
Daniel Große, Rolf Drechsler
+ shelf
+ list
Computer Wie Funktionieren Smartphone, Tablet and Co. ?
2017
Rolf Drechsler
+ shelf
+ list
Natural Language Processing for Electronic Design Automation
2020
Mathias Soeken, Rolf Drechsler
+ shelf
+ list
Noch Analog Oder Lebst du Schon?: Mit Noerdman Durch Die Welt Von Heute... und Morgen
2021
Rolf Drechsler, Jannis Stoppe
