Height-deterministic pushdown automata D Nowotka, J Srba Mathematical Foundations of Computer Science 2007: 32nd International …, 2007 | 51 | 2007 |

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 | 29 | 2018 |

Minimal duval extensions T Harju, D Nowotka International Journal of Foundations of Computer Science 15 (02), 349-354, 2004 | 26 | 2004 |

The Equation x^{i} = y^{j}z^{k} in a Free SemigroupT Harju, D Nowotka Semigroup Forum 68, 488-490, 2004 | 26 | 2004 |

Testing generalised freeness of words P Gawrychowski, F Manea, D Nowotka 31st International Symposium on Theoretical Aspects of Computer Science …, 2014 | 25 | 2014 |

Finding pseudo-repetitions P Gawrychowski, F Manea, R Mercaş, D Nowotka, C Tiseanu | 25 | 2012 |

Binary words with few squares T Harju, D Nowotka Bulletin of the EATCS 89, 164-166, 2006 | 25 | 2006 |

Fine and Wilf’s theorem and pseudo-repetitions F Manea, R Mercaş, D Nowotka Mathematical Foundations of Computer Science 2012: 37th International …, 2012 | 23 | 2012 |

On the independence of equations in three variables T Harju, D Nowotka Theoretical computer science 307 (1), 139-172, 2003 | 22 | 2003 |

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 | 21 | 2019 |

Density of critical factorizations T Harju, D Nowotka RAIRO-Theoretical Informatics and Applications 36 (3), 315-327, 2002 | 21 | 2002 |

The hardness of solving simple word equations JD Day, F Manea, D Nowotka arXiv preprint arXiv:1702.07922, 2017 | 20 | 2017 |

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 | 20 | 2007 |

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 | 20 | 2007 |

On the equation xk= z1k1z2k2⋯ znkn in a free semigroup T Harju, D Nowotka Theoretical Computer Science 330 (1), 117-121, 2005 | 19 | 2005 |

On the equation xk= z1k1z2k2⋯ znkn in a free semigroup T Harju, D Nowotka Theoretical Computer Science 330 (1), 117-121, 2005 | 19 | 2005 |

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 | 17 | 2021 |

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 | 16 | 2020 |

Discovering hidden repetitions in words P Gawrychowski, F Manea, D Nowotka The Nature of Computation. Logic, Algorithms, Applications: 9th Conference …, 2013 | 16 | 2013 |

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 | 16 | 2004 |