- The equality problem for vector addition systems is undecidable Michel Hack Mon 04 November 2013
- A partial solution to the reachability-problem for vector-addition systems Jan van Leeuwen Mon 04 November 2013
- A unified approach for studying the properties of transition systems Joseph Sifakis Mon 04 November 2013
- A New Proof of a Theorem by Ginsburg and Spanier Markus Kracht Mon 04 November 2013
- Concurrency and automata on infinite sequences David Park Wed 30 October 2013
- Une généralisation des théorèmes de Higman et de Simon aux mots infinis A. Finkel Wed 30 October 2013
- Non-primitive recursive decidability of products of modal logics with expanding domains D. Gabelaia A. Kurucz F. Wolter M. Zakharyaschev Wed 30 October 2013
- Improving pushdown system model checking Akash Lal Thomas Reps Wed 30 October 2013
- A Short Visit to the STS Hierarchy Nathalie Bertrand Ph. Schnoebelen Wed 30 October 2013
- Highlights AAVV Wed 30 October 2013
- Hyperplane Separation Technique for Multidimensional Mean-Payoff Games Krishnendu Chatterjee Yaron Velner Tue 29 October 2013
- Mean-Payoff Pushdown Games Krishnendu Chatterjee Yaron Velner Tue 29 October 2013
- Alternating Refinement Relations Rajeev Alur Thomas A. Henzinger Orna Kupferman Moshe Y. Vardi Mon 28 October 2013
- Faster Algorithms for Alternating Refinement Relations Krishnendu Chatterjee Siddhesh Chaubal Pritish Kamath Mon 28 October 2013
- Complementation constructions for nondeterministic automata on infinite words Orna Kupferman Moshe Y. Vardi Mon 28 October 2013
- Efficient Regular Linear Temporal Logic Using Dualization and Stratification Cesar Sánchez Julín Samborski-Forlese Mon 28 October 2013
- Learn with SAT to Minimize Buchi Automata Stephan Barth Martin Hofmann Mon 28 October 2013
- Minimising deterministic Buchi automata precisely using SAT solving Rudiger Ehlers Mon 28 October 2013
- On the virtue of patience: minimizing Buchi automata Rudiger Ehlers Bernd Finkbeiner Mon 28 October 2013
- The rabin index of parity games Michael Huth Jim Huan-Pu Kuo Nir Piterman Sun 27 October 2013
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
