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
International Symposium on Mathematical Foundations of Computer Science, 125-134, 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
342018
An SMT solver for regular expressions and linear arithmetic over string length
M Berzish, M Kulczynski, F Mora, F Manea, JD Day, D Nowotka, ...
International Conference on Computer Aided Verification, 289-312, 2021
322021
Scattered factor-universality of words
L Barker, P Fleischmann, K Harwardt, F Manea, D Nowotka
International Conference on Developments in Language Theory, 14-28, 2020
302020
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
292019
The Equation xi = yjzk in a Free Semigroup
T Harju, D Nowotka
Semigroup Forum 68, 488-490, 2004
272004
Minimal duval extensions
T Harju, D Nowotka
International Journal of Foundations of Computer Science 15 (02), 349-354, 2004
252004
Testing generalised freeness of words
P Gawrychowski, F Manea, D Nowotka
31st International Symposium on Theoretical Aspects of Computer Science …, 2014
242014
Finding pseudo-repetitions
P Gawrychowski, F Manea, R Mercaş, D Nowotka, C Tiseanu
242012
Binary words with few squares
T Harju, D Nowotka
Bulletin of the EATCS 89, 164-166, 2006
242006
Z3str4: A multi-armed string solver
F Mora, M Berzish, M Kulczynski, D Nowotka, V Ganesh
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
232021
On the independence of equations in three variables
T Harju, D Nowotka
Theoretical computer science 307 (1), 139-172, 2003
232003
Fine and Wilf’s theorem and pseudo-repetitions
F Manea, R Mercaş, D Nowotka
International Symposium on Mathematical Foundations of Computer Science, 668-680, 2012
222012
Density of critical factorizations
T Harju, D Nowotka
RAIRO-Theoretical Informatics and Applications 36 (3), 315-327, 2002
222002
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
Estimation of the click volume by large scale regression analysis
Y Lifshits, D Nowotka
International Computer Science Symposium in Russia, 216-226, 2007
172007
The system can't perform the operation now. Try again later.
Articles 1–20