Follow
Dirk Nowotka
Dirk Nowotka
Professor für Informatik, Christian-Albrechts-Universität zu Kiel
Verified email at zs.uni-kiel.de - Homepage
Title
Cited by
Cited by
Year
Height-deterministic pushdown automata
D Nowotka, J Srba
Mathematical Foundations of Computer Science 2007: 32nd International …, 2007
512007
The satisfiability of word equations: Decidable and undecidable theories
JD Day, V Ganesh, P He, F Manea, D Nowotka
Reachability Problems: 12th International Conference, RP 2018, Marseille …, 2018
292018
Minimal duval extensions
T Harju, D Nowotka
International Journal of Foundations of Computer Science 15 (02), 349-354, 2004
262004
The Equation xi = yjzk in a Free Semigroup
T Harju, D Nowotka
Semigroup Forum 68, 488-490, 2004
262004
Testing generalised freeness of words
P Gawrychowski, F Manea, D Nowotka
31st International Symposium on Theoretical Aspects of Computer Science …, 2014
252014
Finding pseudo-repetitions
P Gawrychowski, F Manea, R Mercaş, D Nowotka, C Tiseanu
252012
Binary words with few squares
T Harju, D Nowotka
Bulletin of the EATCS 89, 164-166, 2006
252006
Fine and Wilf’s theorem and pseudo-repetitions
F Manea, R Mercaş, D Nowotka
Mathematical Foundations of Computer Science 2012: 37th International …, 2012
232012
On the independence of equations in three variables
T Harju, D Nowotka
Theoretical computer science 307 (1), 139-172, 2003
222003
On solving word equations using SAT
JD Day, T Ehlers, M Kulczynski, F Manea, D Nowotka, DB Poulsen
Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019
212019
Density of critical factorizations
T Harju, D Nowotka
RAIRO-Theoretical Informatics and Applications 36 (3), 315-327, 2002
212002
The hardness of solving simple word equations
JD Day, F Manea, D Nowotka
arXiv preprint arXiv:1702.07922, 2017
202017
Periodicity and unbordered words: A proof of the extended Duval conjecture
T Harju, D Nowotka
Journal of the ACM (JACM) 54 (4), 20-es, 2007
202007
Periodicity and unbordered words: A proof of the extended Duval conjecture
T Harju, D Nowotka
Journal of the ACM (JACM) 54 (4), 20-es, 2007
202007
On the equation xk= z1k1z2k2⋯ znkn in a free semigroup
T Harju, D Nowotka
Theoretical Computer Science 330 (1), 117-121, 2005
192005
On the equation xk= z1k1z2k2⋯ znkn in a free semigroup
T Harju, D Nowotka
Theoretical Computer Science 330 (1), 117-121, 2005
192005
An SMT solver for regular expressions and linear arithmetic over string length
M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ...
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
172021
Scattered factor-universality of words
L Barker, P Fleischmann, K Harwardt, F Manea, D Nowotka
Developments in Language Theory: 24th International Conference, DLT 2020 …, 2020
162020
Discovering hidden repetitions in words
P Gawrychowski, F Manea, D Nowotka
The Nature of Computation. Logic, Algorithms, Applications: 9th Conference …, 2013
162013
Periodicity and Unbordered Words: A Proof of Duval’s Conjecture
T Harju, D Nowotka
STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science …, 2004
162004
The system can't perform the operation now. Try again later.
Articles 1–20