- A General Framework for Well-Structured Graph Transformation Systems Barbara Kønig Jan Stuckrath Thu 28 August 2014
- Reducing Clocks in Timed Automata while Preserving Bisimulation Shibashis Guha Chinmay Narayan S. Arun-Kumar Thu 28 August 2014
- Verification for Timed Automata Extended with Unbounded Discrete Data Structures Karin Quaas Thu 28 August 2014
- Adding Negative Prices to Priced Timed Games Thomas Brihaye Gilles Geeraerts Shankara Narayanan Krishna Lakshmi Manasa Benjamin Monmege Ashutosh Trivedi Thu 28 August 2014
- Forbidden substructures and combinatorial dichotomies: WQO and universality Gregory Cherlin Thu 28 August 2014
- 2048 is (PSPACE) Hard, but Sometimes Easy Rahul Mehta Thu 28 August 2014
- Paths in the lambda-calculus. Three years of communications without understanding A Asperti V. Danos C. Laneve L. Regnier Thu 21 August 2014
- Regular expressions for infinite trees and a standard form of automata A.W. Mostowski Thu 21 August 2014
- The emptiness and complementation problems for automata on infinite trees C. Rackoff Thu 21 August 2014
- Branching time temporal logic and amorphous tree automata Orna Bernholtz Orna Grumberg Tue 19 August 2014
- An automata-theoretic approach to branching-time model checking (Extended abstract) Orna Bernholtz Moshe Y. Vardi Pierre Wolper Tue 19 August 2014
- Weak Alternating Automata and Tree Automata Emptiness Orna Kupferman Moshe Y. Vardi Tue 19 August 2014
- A characterization of the minimum cycle mean in a digraph Richard M. Karp Mon 18 August 2014
- The equality problem for rational series with multiplicities in the tropical semiring is undecidable Daniel Krob Mon 18 August 2014
- Infinite games played on finite graphs Robert McNaughton Mon 18 August 2014
- A Logic-Based Approach to Cloud Computing Jan Van den Bussche Mon 18 August 2014
- CONCUR'10 AAVV Mon 11 August 2014
- A Unifying Approach for Multistack Pushdown Automata Salvatore La Torre Margherita Napoli Gennaro Parlato Tue 05 August 2014
- Complexity Bounds for Ordinal-Based Termination Sylvain Schmitz Tue 05 August 2014
- Size-Change Abstraction and Max-Plus Automata Laure Daviaud Thomas Colcombet Florian Zuleger Tue 05 August 2014
Library Size: 13G (12986 entries),
Last Updated: Apr 24, 2026, 19:05:09,
Build Time: N/A
