- The rabin index of parity games Michael Huth Jim Huan-Pu Kuo Nir Piterman Sun 27 October 2013
- Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds Maciej Gazda Tim A.C. Willemse Fri 25 October 2013
- LTL Satisfiability Checking Revisited Jianwen Li Lijun Zhang Geguang Pu Moshe Y. Vardi Jifeng He Fri 25 October 2013
- Solving Partial-Information Stochastic Parity Games Sumit Nain Moshe Y. Vardi Fri 25 October 2013
- Pushdown module checking with imperfect information Benjamin Aminof Axel Legay Aniello Murano Olivier Serre Moshe Y. Vardi Fri 25 October 2013
- Profile Trees for Buchi Word Automata, with Application to Determinization Seth Fogarty Orna Kupferman Moshe Y. Vardi Thomas Wilke Fri 25 October 2013
- Project Proposal: An Automata-Theoretic Approach to Software Model-Checking Javier Esparza Stefan Schwoon Fri 25 October 2013
- On Flatness for 2-Dimensional Vector Addition Systems with States Jérôme Leroux Grégoire Sutre Fri 25 October 2013
- The context-freeness of the languages associated with vector addition systems is decidable Sylviane R. Schwer Fri 25 October 2013
- On the Context-Freeness Problem for Vector Addition Systems Jerome Leroux Vincent Penelle Gregoire Sutre Fri 25 October 2013
- Software Model Checking for People Who Love Automata Matthias Heizmann Jochen Hoenicke Andreas Podelski Fri 25 October 2013
- Linear Ranking for Linear Lasso Programs Matthias Heizmann Jochen Hoenicke Jan Leike Andreas Podelski Fri 25 October 2013
- Kronos: A model-checking tool for real-time systems Marius Bozga Conrado Daws Oded Maler Alfredo Olivero Stavros Tripakis Sergio Yovine Thu 24 October 2013
- Kleene-Schutzenberger and Buchi Theorems for Weighted Timed Automata Karin Quaas Wed 23 October 2013
- A programming model for deterministic task parallelism Polyvios Pratikakis Hans Vandierendonck Spyros Lyberis Dimitrios S. Nikolopoulos Tue 22 October 2013
- The determinacy of infinite games with eventual perfect monitoring Eran Shmaya Tue 22 October 2013
- Finitely additive stochastic games with Borel measurable payoffs A. Maitra W. Sudderth Tue 22 October 2013
- Digitisation and Full Abstraction for Dense-Time Model Checking Joel Ouaknine Mon 21 October 2013
- Pushdown timed automata: a binary reachability characterization and safety verification Zhe Dang Mon 21 October 2013
- Complexity bounds for some finite forms of Kruskal's theorem Andreas Weiermann Mon 21 October 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
