Prof. Dr. Oliver Keszöcze

Juniorprofessur für Informatik

Look-Ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits (2016) Wille R, Keszocze O, Walter M, Rohrs P, Chattopadhyay A, Drechsler R Conference contribution, Conference Contribution Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs (2016) Wille R, Keszocze O, Othmer L, Thomsen MK, Drechsler R Conference contribution A General and Exact Routing Methodology for Digital Microfluidic Biochips (2016) Keszocze O, Wille R, Chakrabarty K, Drechsler R Conference contribution, Conference Contribution Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision (2016) Keszöcze O, Wille R Book chapter / Article in edited volumes Scalable One-Pass Synthesis for Digital Microfluidic Biochips (2015) Wille R, Keszocze O, Drechsler R, Boehnisch T, Kroker A Journal article, Original article Reverse BDD-Based Synthesis for Splitter-Free Optical Circuits (2015) Wille R, Keszocze O, Hopfmuller C, Drechsler R Conference contribution, Conference Contribution Exact Routing for Digital Microfluidic Biochips with Temporary Blockages (2015) Keszocze O, Wille R, Drechsler R Conference contribution, Conference Contribution Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen (2015) Wille R, Keszocze O, Drechsler R Edited Volume A Logic for Cardinality Constraints (2014) Riener H, Keszocze O, Drechsler R, Fey G Conference contribution, Conference Contribution (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications (2014) Keszocze O, Keiner B, Richter M, Antpöhler G, Wille R Conference contribution, Conference Contribution