Arbeitsgruppe Zuverlässige Systeme

Dirk Nowotka

Dirk Nowotka   DFG-Heisenberg Professor

Büro: Zimmer 1308, CAP 4

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

Email: dn@informatik.uni-kiel.de

Forschungsinteressen

  • Formale Spezifikation und Verifikation von Systemen
  • Softwarequalität
  • Kombinatorische und algorithmische Probleme auf sequenziellen Strukturen

Kürzliche Aktivitäten

  • Dagstuhl Seminar Combinatoris and Algorithmics of Strings. zusammen mit M. Crochemore, J. Currie und G. Kucherov; März 2014
  • PC Mitglied der WORDS 2013, Turku, Finland
  • Fields Institute Workshop Challenges in Combinatorics on Words. zusammen mit J. Currie und J. Shallit; April 2013

Ausgewählte Publikationen

  • 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)