Juniorprofessur für Informatik

One-pass Synthesis for Digital Microfluidic Biochips: A Survey (2020) Keszöcze O, Wille R, Drechsler R Conference contribution, Original article Error Analysis for Loop Programs using Anytime Instructions in Approximate Computing (2020) Keszöcze O, König M, Brand M, Teich J Conference contribution, Original article A fast BDD Minimization Framework for Approximate Computing (2020) Wendler A, Keszöcze O Conference contribution, Original article Probabilistic Error Propagation through Approximated Boolean Networks (2020) Echavarria Gutiérrez JA, Wildermann S, Keszöcze O, Teich J Conference contribution, Original article Run-Time Enforcement of Non-Functional Application Requirements in Heterogeneous Many-Core Systems (2020) Teich J, Pourmohseni B, Keszöcze O, Spieck J, Wildermann S Conference contribution, Original article Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning (2020) Keszöcze O, Schmitz K, Schloeter J, Drechsler R Book chapter / Article in edited volumes Chatbot-Based Assertion Generation from Natural Language Specifications (2019) Keszöcze O, Harris IG Conference contribution Computational Complexity of Error Metrics in Approximate Computing (2018) Keszöcze O, Soeken M, Drechsler R Book chapter / Article in edited volumes Exact Design of Digital Microfluidic Biochips (2018) Keszöcze O, Wille R, Drechsler R Authored book, Monography Automatic Reliability Analysis in the Presence of Probabilistic Common Cause Failures (2017) Khosravi F, Glaß M, Teich J Journal article, Original article