- Alternating automata and program verification Moshe Y. Vardi Thu 05 April 2012
- Forms of Determinism for Automata (Invited Talk) Thomas Colcombet Thu 05 April 2012
- Weak MSO+U over infinite trees Mikolaj Bojanczyk Szymon Torunczyk Thu 05 April 2012
- The Limits of Decidability for First Order Logic on CPDA Graphs Christopher H. Broadbent Thu 05 April 2012
- Lecture notes on Automata, Logics, Algebras and Games K Narayan Kumar Thu 05 April 2012
- Finite-state Automata on Infinite Inputs Madhavan Mukund Thu 05 April 2012
- Reasoning about infinite computations Moshe Y. Vardi Pierre Wolper Wed 04 April 2012
- Branching vs. Linear Time: Final Showdown Moshe Y. Vardi Wed 04 April 2012
- On Complementing Nondeterministic Buchi Automata Sankar Gurumurthy Orna Kupferman Fabio Somenzi Moshe Y. Vardi Wed 04 April 2012
- Safraless decision procedures O. Kupferman M.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
- Synthesis of Succinct Systems John Fearnley Doron Peled Sven Schewe Tue 03 April 2012
- Mediating for Reduction (on Minimizing Alternating Buchi Automata) Parosh Za. Abdulla Yu-Fang Chen Lukas Holik Tomas Vojnar Tue 03 April 2012
- Model Checking Infinite-State Systems: Generic and Specific Approaches Anthony Widjaja Lin Tue 03 April 2012
- Stuttering Equivalence for Parity Games Sjoerd Cranen Jeroen J. A. Keiren Tim A. C. Willemse Tue 03 April 2012
- Multipebble simulations for alternating automata Lorenzo Clemente Richard Mayr Mon 02 April 2012
- Simulation-Based Simplification of omega-Automata Carsten Fritz Mon 02 April 2012
- Constructing Buchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Buchi Automata Carsten Fritz Mon 02 April 2012
- State Space Reductions for Alternating Buchi Automata Quotienting by Simulation Equivalences Carsten Fritz Thomas Wilke Mon 02 April 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A