Dependable Systems Group

Dirk Nowotka

Prof. Dr. Dirk Nowotka Heisenberg Fellow

Office: room 1308, CAP 4

Phone: +49 431 880-4199 
Fax: +49 431 880-5745 

Email: nowotka@zs.uni-kiel.de

Research Interests

  • Formal specification and verification of systems
  • Software quality
  • Combinatorial and algorithmic problems on sequential structure

Selected Publications

  • Communication in Massively-Parallel SAT Solving, ICTAI 2014. (mit T. Ehlers und Ph. Sieweck)
  • Cubic patterns with permutations, JCSS, 81(7):1298-1310, 2015. (mit F. Manea, M. Müller)
  • Testing Generalised Freeness of Words, STACS 2014. (with P. Gawrychowski, F. Manea)
  • Finding Pseudo-Repetitions, STACS 2013. (with P. Gawrychowski, F. Manea, R. Mercas, D. Nowotka, C. Tiseanu)
  • The Ehrenfeucht-Silberger Problem, JCT-A, 119(3):668–682, 2012.  (with Š. Holub)
  • Weinbaum Factorizations of Primitive Words, Izv. VUZ. Mat., (1):21-33, 2010. (with V. Diekert and T. Harju)
  • Maximal Intersection Queries in Randomized Input Models, ToCS, 46(1):104-119, 2010. (with B. Hoffmann, M. Lifshits, and Y. Lifshits)
  • Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture, JACM, 54(4):20, 2007. (with T. Harju)
  • Border Correlation of Binary Words, JCT-A, 108(2):331-341, 2004. (with T. Harju)