Alternation Removal in Büchi Automata. - Udi Boker; Orna Kupferman; Adin Rosenberg (ICALP (2), 2010)

The Blowup in Translating LTL to Deterministic Automata. - Orna Kupferman; Adin Rosenberg (MoChArt, 2010)