Transformation Between Regular Expressions and omega-Automata. - Christof Löding; Andreas Tollkötter (MFCS, 2016)

State Space Reduction For Parity Automata. - Christof Löding; Andreas Tollkötter (CSL, 2020)