Prof. Dr. Oliver Keszöcze


Juniorprofessur für Informatik

Publications (Download BibTeX)

Go to first page Go to previous page 1 of 3 Go to next page Go to last page

Keszöcze, O., & Harris, I.G. (2019). Chatbot-based assertion generation from natural language specifications. In Proceedings of the Forum on Specification & Design Languages. Southampton, GB.
Keszöcze, O., Schmitz, K., Schloeter, J., & Drechsler, R. (2019). Improving SAT Solving Using Monte Carlo Tree Search-based Clause Learning. In Rolf Drechsler, Mathias Soeken (Eds.), Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems. Springer International Publishing.
Keszöcze, O., Soeken, M., & Drechsler, R. (2018). Computational Complexity of Error Metrics in Approximate Computing. In Bernd Steinbach (Eds.), Further Improvements in the Boolean Domain. (pp. Cambridge Scholars Publishing).
Keszöcze, O., Wille, R., & Drechsler, R. (2018). Exact Design of Digital Microfluidic Biochips. Springer.
Keszocze, O., Ibrahim, M., Wille, R., Chakrabarty, K., & Drechsler, R. (2018). Exact synthesis of biomolecular protocols for multiple sample pathways on digital microfluidic biochips. (pp. 121-126). IEEE Computer Society.
Keszocze, O. (2018). Exakter Entwurf digitaler mikrofluidischer Biochips. In Steffen Hölldobler (Eds.), Ausgezeichnete Informatikdissertationen 2017. (pp. 121-130).
Keszocze, O., Niemann, P., Friedemann, A., & Drechsler, R. (2018). On the complexity of design tasks for Digital Microfluidic Biochips. Microelectronics Journal, 78, 35-45.
Keszocze, O., Soeken, M., & Drechsler, R. (2018). The complexity of error metrics. Information Processing Letters, 139, 1-7.
Schmitz, K., Keszocze, O., Schmidt, J., Grosse, D., & Drechsler, R. (2018). Towards dynamic execution environment for system security protection against hardware flaws. (pp. 557-562). IEEE Computer Society.
Castryck, W., Demeyer, J., De Vos, A., Keszocze, O., & Soeken, M. (2018). Translating between the roots of the identity in quantum computers. (pp. 254-259). IEEE Computer Society.

Last updated on 2019-22-01 at 17:51

Share link