- Simulation Relations for Alternating Parity Automata and Parity Games Carsten Fritz Thomas Wilke Mon 02 April 2012
- Simulation relations for alternating Buchi automata Carsten Fritz Thomas Wilke Mon 02 April 2012
- Fair Simulation Relations, Parity Games, and State Space Reduction for Buchi Automata Kousha Etessami Thomas Wilke Rebecca A. Schuller Mon 02 April 2012
- Fair Simulation Relations, Parity Games, and State Space Reduction for Buchi Automata Kousha Etessami Thomas Wilke Rebecca A. Schuller Mon 02 April 2012
- LTL to Buchi Automata Translation: Fast and More Deterministic Tomáš Babiak Mojmír Křetínský Vojtěch Řehák Jan Strejček Mon 02 April 2012
- Conference reviewing considered harmful Thomas Anderson Mon 02 April 2012
- Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata Sebastian Preugschat Thomas Wilke Mon 02 April 2012
- On the Complexity of Computing Probabilistic Bisimilarity Di Chen Franck van Breugel James Worrell Mon 02 April 2012
- On the Complexity of the Equivalence Problem for Probabilistic Automata Stefan Kiefer Andrzej S. Murawski Joel Ouaknine Bjørn Wachter James Worrell Mon 02 April 2012
- Ramsey-Based Analysis of Parity Automata Oliver Friedmann Martin Lange Mon 02 April 2012
- Analysis of Communicating Automata Anca Muscholl Wed 21 March 2012
- Du Problème de sous-mot de Post et de la complexité des canaux non fiables Pierre Chambart Wed 21 March 2012
- Cutting Through Regular Post Embedding Problems Prateek Karandikar Philippe Schnoebelen Tue 20 March 2012
- Lossy Counter Machines Decidability Cheat Sheet Philippe Schnoebelen Tue 20 March 2012
- Mixing Lossy and Perfect Fifo Channels Pierre Chambart Philippe Schnoebelen Tue 20 March 2012
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems Pierre Chambart Philippe Schnoebelen Tue 20 March 2012
- Universality of R-automata with Value Copying Parosh Aziz Abdulla Pavel Krcal Wang Yi Tue 20 March 2012
- Symbolically Bounding the Drift in Time-Constrained MSC Graphs S. Akshay Blaise Genest Loic Hélouet Shaofa Yang Mon 19 March 2012
- Optimal Zielonka-type construction of deterministic asynchronous automata Blaise Genest Hugo Gimbert Anca Muscholl Igor Walukiewicz Mon 19 March 2012
- Distributed time-asynchronous automata Cătălin Dima Ruggero Lanotte Mon 19 March 2012
Library Size: 13G (12970 entries),
Last Updated: Apr 16, 2026, 08:51:39,
Build Time: N/A
