- A BDD-Like Implementation of an Automata Package Jean-Michel Couvreur Tue 20 November 2012
- FAST Extended Release Sébastien Bardin Jérôme Leroux Gérald Point Tue 20 November 2012
- Games on Higher Order Multi-stack Pushdown Systems Anil Seth Tue 20 November 2012
- Emptiness of Multi-pushdown Automata Is 2ETIME-Complete Mohamed Faouzi Atig Benedikt Bollig Peter Habermehl Tue 20 November 2012
- Multi-Push-Down Languages and Grammars Luca Breveglieri Alessandra Cherubini Claudio Citrini Stefano Crespi-Reghizzi Tue 20 November 2012
- Church's Thesis and Principles for Mechanisms Robin Gandy Tue 20 November 2012
- Model-Checking of Ordered Multi-Pushdown Automata Mohamed F. Atig Mon 19 November 2012
- Presburger Counter Machines Jérôme Leroux Mon 19 November 2012
- Bisimilarity of Pushdown Systems is Nonelementary Michael Benedikt Stefan Gøller Stefan Kiefer Andrzej S. Murawski Mon 19 November 2012
- Rigid tree automata and applications Florent Jacquemard Francis Klay Camille Vacher Fri 02 November 2012
- On regular tree languages and deterministic pushdown automata Jan Janoušek Bořivoj Melichar Fri 02 November 2012
- Alternating tree automata Giora Slutzki Fri 02 November 2012
- Abstractions for timed automata B Srivathsan Thu 01 November 2012
- Problèmes de placement, de coloration et d'identification Petru Valicov Thu 01 November 2012
- Using Forward Reachability Analysis for Verification of Lossy Channel Systems Parosh Aziz Abdulla Aurore Collomb-Annichini Ahmed Bouajjani Bengt Jonsson Thu 01 November 2012
- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations Parosh Abdulla Giorgio Delzanno Laurent Van Begin Thu 01 November 2012
- Regularity problems for visibly pushdown languages Vince Bárány Christof Løding Olivier Serre Thu 01 November 2012
- A Probabilistic Kleene Theorem Benedikt Bollig Paul Gastin Benjamin Monmege Marc Zeitoun Thu 01 November 2012
- On the Expressive Power of 2-Stack Visibly Pushdown Automata Benedikt Bollig Thu 01 November 2012
- 2-visibly Pushdown Automata Dario Carotenuto Aniello Murano Adriano Peron Thu 01 November 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
