- Unifying Buchi Complementation Constructions Seth J. Fogarty Orna Kupferman Thomas Wilke Moshe Y. Vardi Mon 08 April 2013
- Determinization of ømega-automata unified Hrishikesh Karmarkar Supratik Chakraborty Fri 04 May 2012
- On Minimal Odd Rankings for Buchi Complementation Hrishikesh Karmarkar Supratik Chakraborty Fri 04 May 2012
- On Complementing Nondeterministic Buchi Automata Sankar Gurumurthy Orna Kupferman Fabio Somenzi Moshe Y. Vardi Wed 04 April 2012
- Weak alternating automata are not that weak Orna Kupferman Moshe Y. Vardi Tue 03 April 2012
- Buchi Complementation Made Tight Sven Schewe Tue 03 April 2012
- Unifying Buchi Complementation Constructions Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke Tue 06 March 2012
- State of Buechi Complementation (Full Version) Ming-Hsien Tsai Seth Fogarty Moshe Y Vardi Yih-Kuen Tsay Tue 06 March 2012
Library Size: 13G (8 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
