2019

• Keszöcze O., Harris IG.:
  Chatbot-based assertion generation from natural language specifications
  Forum on Specification & Design Languages (Southampton, 2. September 2019 - 4. September 2019)
  BibTeX: Download
• Keszöcze O., Schmitz K., Schloeter J., Drechsler R.:
  Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning
  In: Rolf Drechsler, Mathias Soeken (Hrsg.): Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems, Springer International Publishing, 2019
  ISBN: 978-3-030-20322-1
  URL: https://www.springerprofessional.de/advanced-boolean-techniques/16907760
  BibTeX: Download

2018

• Castryck W., Demeyer J., De Vos A., Keszocze O., Soeken M.:
  Translating between the roots of the identity in quantum computers
  48th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2018
  DOI: 10.1109/ISMVL.2018.00051
  BibTeX: Download
• Keszocze O.:
  Exakter Entwurf digitaler mikrofluidischer Biochips
  In: Steffen Hölldobler (Hrsg.): Ausgezeichnete Informatikdissertationen 2017, 2018, S. 121-130 (Lecture Notes in Informatics, Bd.18)
  ISBN: 978-3-88579-977-1
  BibTeX: Download
• Keszocze O., Ibrahim M., Wille R., Chakrabarty K., Drechsler R.:
  Exact synthesis of biomolecular protocols for multiple sample pathways on digital microfluidic biochips
  31st International Conference on VLSI Design, VLSID 2018
  DOI: 10.1109/VLSID.2018.48
  BibTeX: Download
• Keszocze O., Niemann P., Friedemann A., Drechsler R.:
  On the complexity of design tasks for Digital Microfluidic Biochips
  In: Microelectronics Journal 78 (2018), S. 35-45
  ISSN: 0026-2692
  DOI: 10.1016/j.mejo.2018.05.013
  BibTeX: Download
• Keszocze O., Soeken M., Drechsler R.:
  The complexity of error metrics
  In: Information Processing Letters 139 (2018), S. 1-7
  ISSN: 0020-0190
  DOI: 10.1016/j.ipl.2018.06.010
  BibTeX: Download
• Keszöcze O., Soeken M., Drechsler R.:
  Computational Complexity of Error Metrics in Approximate Computing
  In: Bernd Steinbach (Hrsg.): Further Improvements in the Boolean Domain, 2018, S. Cambridge Scholars Publishing
  ISBN: 978-1-5275-0371-7
  BibTeX: Download
• Keszöcze O., Wille R., Drechsler R.:
  Exact Design of Digital Microfluidic Biochips
  Springer, 2018
  ISBN: 978-3-319-90936-3
  URL: https://www.springer.com/us/book/9783319909356
  BibTeX: Download
• Schmitz K., Keszocze O., Schmidt J., Grosse D., Drechsler R.:
  Towards dynamic execution environment for system security protection against hardware flaws
  17th IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2018
  DOI: 10.1109/ISVLSI.2018.00107
  BibTeX: Download

2017

• Keszocze O., Li Z., Grimmer A., Wille R., Chakrabarty K., Drechsler R.:
  Exact routing for micro-electrode-dot-array digital microfluidic biochips
  22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017
  DOI: 10.1109/ASPDAC.2017.7858407
  BibTeX: Download
• Schneider L., Keszocze O., Stoppe J., Drechsler R.:
  Effects of cell shapes on the routability of Digital Microfluidic Biochips
  20th Design, Automation and Test in Europe, DATE 2017
  DOI: 10.23919/DATE.2017.7927252
  BibTeX: Download
• Stoppe J., Keszocze O., Luenert M., Wille R., Drechsler R.:
  BioViz: An Interactive Visualization Engine for the Design of Digital Microfluidic Biochips
  2017 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2017
  DOI: 10.1109/ISVLSI.2017.38
  BibTeX: Download
• Wille R., Keszocze O., Othmer L., Thomsen MK., Drechsler R.:
  An automated approach for generating and checking control logic for reversible hardware description language-based designs
  In: Journal of Low Power Electronics 13 (2017), S. 633-641
  ISSN: 1546-1998
  DOI: 10.1166/jolpe.2017.1515
  BibTeX: Download
• Wille R., Keszocze O., Othmer L., Thomsen MK., Drechsler R.:
  Generating and checking control logic in the HDL-based design of reversible circuits
  6th International Symposium on Embedded Computing and System Design, ISED 2016
  DOI: 10.1109/ISED.2016.7977045
  BibTeX: Download

2016

• Keszocze O., Wille R., Chakrabarty K., Drechsler R.:
  A general and exact routing methodology for Digital Microfluidic Biochips
  34th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
  DOI: 10.1109/ICCAD.2015.7372663
  BibTeX: Download
• Keszöcze O., Wille R.:
  Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision
  In: Frank Oppenheimer, Julio Luis Medina Pasaje (Hrsg.): Languages, Design Methods, and Tools for Electronic System Design, 2016, S. 101 - 112 (Lecture Notes in Electrical Enginieering)
  ISBN: 978-3-319-24457-0
  URL: https://www.springer.com/de/book/9783319244556
  BibTeX: Download
• Wille R., Keszocze O., Hillmich S., Walter M., Garcia-Ortiz A.:
  Synthesis of approximate coders for on-chip interconnects using reversible logic
  19th Design, Automation and Test in Europe Conference and Exhibition, DATE 2016
  URL: https://www.scopus.com/record/display.uri?eid=2-s2.0-84973635861∨igin=inward
  BibTeX: Download
• Wille R., Keszocze O., Othmer L., Thomsen MK., Drechsler R.:
  Initial ideas for automatic design and verification of control logic in reversible HDLs work in progress report
  8th International Conference on Reversible Computation, RC 2016
  DOI: 10.1007/978-3-319-40578-0_11
  BibTeX: Download

2015

• Keszocze O., Wille R., Drechsler R.:
  Exact routing for digital microfluidic biochips with temporary blockages
  2014 33rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2014
  DOI: 10.1109/ICCAD.2014.7001383
  BibTeX: Download
• Wille R., Keszocze O., Drechsler R., Boehnisch T., Kroker A.:
  Scalable one-pass synthesis for digital microfluidic biochips
  In: IEEE Design & Test 32 (2015), S. 41-50
  ISSN: 2168-2356
  DOI: 10.1109/MDAT.2015.2455344
  BibTeX: Download
• Wille R., Keszocze O., Hopfmuller C., Drechsler R.:
  Reverse BDD-based synthesis for splitter-free optical circuits
  2015 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015
  DOI: 10.1109/ASPDAC.2015.7059000
  BibTeX: Download
• Wille R., Keszöcze O., Drechsler R. (Hrsg.):
  Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
  2015
  (Technische Informatik)
  ISBN: 978-3-8440-3467-7
  URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8440-3467-7
  BibTeX: Download

2013

• Keszocze O., Soeken M., Kuksa E., Drechsler R.:
  Lips: An IDE for model driven engineering based on natural language processing
  2013 1st International Workshop on Natural Language Analysis in Software Engineering, NaturaLiSE 2013 (San Francisco, CA)
  DOI: 10.1109/NAturaLiSE.2013.6611718
  BibTeX: Download