- Regular model checking Parosh Aziz Abdulla Thu 24 May 2012
- Asynchronously Communicating Visibly Pushdown Systems Domagoj Babic Zvonimir Rakamaric Thu 24 May 2012
- Context-Bounded Analysis of Concurrent Queue Systems Salvatore La Torre P. Madhusudan Gennaro Parlato Thu 24 May 2012
- The decidability of the reachability problem for vector addition systems (Preliminary Version) George S. Sacerdote Richard L. Tenney Thu 24 May 2012
- Decidability of reachability in vector addition systems (Preliminary Version) S. Rao Kosaraju Thu 24 May 2012
- Bounded MSC communication Markus Lohrey Anca Muscholl Thu 24 May 2012
- Partial Order Reductions for Timed Systems Johan Bengtsson Bengt Jonsson Johan Lilius Wang Yi Wed 23 May 2012
- Reachability problems for communicating finite state machines Jan Pachl Wed 23 May 2012
- Languages, Automata, and Logic Wolfgang Thomas Wed 23 May 2012
- Trees, automata, and games Yuri Gurevich Leo Harrington Wed 23 May 2012
- Banach-Mazur Games on Graphs Erich Graedel Wed 23 May 2012
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic David Janin Igor Walukiewicz Tue 22 May 2012
- The Planning Spectrum - One, Two, Three, Infinity M. Pistore M. Y. Vardi Tue 22 May 2012
- The Planning Spectrum - One, Two, Three, Infinity Marco Pistore Moshe Y. Vardi Tue 22 May 2012
- Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games Dietmar Berwanger Erich Gradel Stephan Kreutzer Tue 22 May 2012
- From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata Nir Piterman Mon 21 May 2012
- From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata Nir Piterman Mon 21 May 2012
- Solving games without determinization Thomas A. Henzinger Nir Piterman Mon 21 May 2012
- Monadic second order logic on tree-like structures Igor Walukiewicz Sat 19 May 2012
- Monadic second-order logic on tree-like structures Igor Walukiewicz Sat 19 May 2012
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
