Publikationen

Seite 1 von 3.

Kenneth Schmitz; Oliver Keszöcze; Jurij Schmidt; Daniel Große; Rolf Drechsler
Towards Dynamic Execution Environment for System Security Protection against Hardware Flaws
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2018), July 9-11, Hong Kong, …
Oliver Keszöcze; Philipp Niemann; Arved Friedemann; Rolf Drechsler
On the complexity of design tasks for Digital Microfluidic Biochips
In: Microelectronics Journal, Vol. 78, Pages 35-45, Elsevier, 2018.
Oliver Keszöcze; Mathias Soeken; Rolf Drechsler
The complexity of error metrics
In: Information Processing Letters, Vol. 139, Pages 1-7, Elsevier, 2018.
Kenneth Schmitz; Oliver Keszöcze; Jil Meywerk; Rolf Drechsler
ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling
In: 13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany, …
Oliver Keszöcze; Kenneth Schmitz; Jens Schloeter; Rolf Drechsler
Improving SAT solving using Monte Carlo Tree Search-based Clause Learning
In: 13th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-13), September 19-21, Bremen, Germany, …
Oliver Keszöcze; Robert Wille; Rolf Drechsler
Exact Design of Digital Microfluidic Biochips
Springer, 2018.
Robert Wille; Oliver Keszöcze; Marcel Walter; Patrick Röhrs; Anupam Chattopadhyay; Rolf Drechsler
Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits
In: 21st Asia and South Pacific Design Automation Conference. Asia and South Pacific Design Automation Conference (ASP-DAC-21), 21st, January 25-28, …
Robert Wille; Oliver Keszöcze; Stefan Hillmich; Marcel Walter; Alberto Garcia-Ortiz
Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic
In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.
Arighna Deb; Robert Wille; Oliver Keszöcze; Stefan Hillmich; Rolf Drechsler
Synthesis of Optical Circuits with Contradictory Optimization Objectives
In: 2nd International Workshop on Optical/Photonic Interconnects for Computing Systems (OPTICS Workshop). Optical/Photonic Interconnects for Computing …
Jannis Ulrich Stoppe; Oliver Keszöcze; Robert Wille; Rolf Drechsler
BioViz: An Interactive Visualization Engine for Microfluidic Biochips
In: 3rd Workshop on Design Automation for Understanding Hardware Designs. Workshop on Design Automation for Understanding Hardware Designs (DUHDe-03), …