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)