The Power of String Solving: Simplicity of Comparison, AST 2020 (M. Kulczynski, F. Manea, D. Nowotka, D. Poulsen)
Rule-based Word Equation Solving, FormaliSE 2020 (J. Day, M. Kulczynski, F. Manea, D. Nowotka, D. Poulsen)
Estimating End-to-End Latencies in Automotive Cyber-physical Systems, MARS 2020 (M. Friese, D. Nowotka)
Scattered Factor-Universality of Words, DLT 2020 (L. Barker, P. Fleischmann, K. Harwardt, F. Manea, D. Nowotka)
Reconstructing Words from Right-Bounded-Block Words, DLT 2020 (P. Fleischmann, M. Lejeune, F. Manea, D. Nowotka. M. Rigo)
On Collapsing Prefix Normal Words, LATA 2020 (P. Fleischmann, M. Kulczynski, D. Nowotka, D. Poulsen)
Hide and seek with repetitions, J. Comput. Syst. Sci., 2019 (P. Gawrychowski, F. Manea, R. Mercas, D. Nowotka)
Rollercoasters: Long Sequences without Short Runs, SIAM J. Discrete Math., 2019 (T. Biedl, A. Biniaz, R. Cummings, A. Lubiw, F. Manea, D. Nowotka, J. Shallit)
Lagrange’s Theorem for Binary Squares, MFCS 2018 (P. Madhusudan, D. Nowotka, A. Rajasekaran, J. Shallit)
Rollercoasters and Caterpillars, ICALP 2018 - Track A (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 - Track B (D. Nowotka, A. Saarela)
A modal mu perspective on solving parity games in quasi-polynomial time, LICS 2018 (M. K. Lehtinen)
Statistical Model Checking of LLVM Code, FM 2018 (A. Legay, D. Nowotka, D. Poulsen and L.-M. Traonouez)
Estimating Latencies of Task Sequences in Multi-Core Automotive ECUs, SIES 2018 (M. Friese, T. Ehlers, D. Nowotka)