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 


Research Interests

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

Recent Services

Editor of the International Journal of Foundations of Computer Science (IJFCS).

See also Projects.


Selected Publications

  • Rollercoasters and Caterpillars, ICALP 2018 (T. Biedl, A. Biniaz, R. Cummings, A. Lubiw, F. Manea, D. Nowotka, J. Shallit)
  • An optimal bound on the solution sets of one-variable word equations and its consequences, ICALP 2018 (D. Nowotka, A. Saarela)
  • Statistical Model Checking of LLVM Code, FM 2018 (A. Legay, D. Nowotka, D. Poulsen and L.-M. Traonouez)
  • The extended equation of Lyndon and Schützenberger. JCSS (F. Manea, M. Müller, D. Nowotka, S. Seki)
  • Communication in Massively-Parallel SAT Solving, ICTAI 2014. (T. Ehlers, D. Nowotka, Ph. Sieweck)
  • Cubic patterns with permutations, JCSS, 81(7):1298-1310, 2015. (F. Manea, M. Müller, D. Nowotka)
  • Testing Generalised Freeness of Words, STACS 2014. (P. Gawrychowski, F. Manea, D. Nowotka)
  • Finding Pseudo-Repetitions, STACS 2013. (P. Gawrychowski, F. Manea, R. Mercas, D. Nowotka, C. Tiseanu)
  • The Ehrenfeucht-Silberger Problem, JCT-A, 119(3):668–682, 2012.  (Š. Holub, D. Nowotka)
  • Weinbaum Factorizations of Primitive Words, Izv. VUZ. Mat., (1):21-33, 2010. (V. Diekert, T. Harju, D. Nowotka)
  • Maximal Intersection Queries in Randomized Input Models, ToCS, 46(1):104-119, 2010. (B. Hoffmann, M. Lifshits, Y. Lifshits, D. Nowotka)
  • Periodicity and Unbordered Words: A Proof of the Extended Duval Conjecture, JACM, 54(4):20, 2007. (T. Harju, D. Nowotka)
  • Border Correlation of Binary Words, JCT-A, 108(2):331-341, 2004. (T. Harju, D. Nowotka)