- Minimization of Tree Automata Thomas von Bomhard Mon 28 May 2012
- Timed cooperating automata Ruggero Lanotte Andrea Maggiolo-Schettini Adriano Peron Mon 28 May 2012
- Distributed Timed Automata Padmanabhan Krishnan Mon 28 May 2012
- On the ill-timed but well-caused Luca Aceto David Murphy Mon 28 May 2012
- The Regular Real-Time Languages Thomas A. Henzinger Jean-François Raskin Pierre-Yves Schobbens Mon 28 May 2012
- A determinizable class of timed automata Rajeev Alur Limor Fix Thomas A. Henzinger Mon 28 May 2012
- Distributed Event Clock Automata - Extended Abstract James Jerson Ortiz Axel Legay Pierre-Yves Schobbens Mon 28 May 2012
- State-complexity of finite-state devices, state compressibility and incompressibility Jean-Camille Birget Mon 28 May 2012
- Message-passing automata are expressively equivalent to EMSO logic Benedikt Bollig Martin Leucker Mon 28 May 2012
- Message-Passing Automata Are Expressively Equivalent to EMSO Logic Benedikt Bollig Martin Leucker Mon 28 May 2012
- Timed Unfoldings for Networks of Timed Automata Patricia Bouyer Serge Haddad Pierre-Alain Reynier Mon 28 May 2012
- Notes on Finite Asynchronous Automata Wieslaw Zielonka Sun 27 May 2012
- Trace theory A Mazurkiewicz Sun 27 May 2012
- A Partial Approach to Model Checking P. Godefroid P. Wolper Sun 27 May 2012
- Topological Complexity of Context-Free omega-Languages: A Survey Olivier Finkel Sun 27 May 2012
- Finite automata, definable sets, and regular expressions over In-tapes Yaacov Choueka Sun 27 May 2012
- Theories of automata on I-tapes: A simplified approach Yaacov Choueka Sun 27 May 2012
- Decidability and Complexity Results for Timed Automata via Channel Machines Parosh Aziz Abdulla Johann Deneux Joel Ouaknine James Worrell Sun 27 May 2012
- Computable queries for relational data bases (Preliminary Report) Ashok K. Chandra David Harel Sat 26 May 2012
- TaPAS: The Talence Presburger Arithmetic Suite Jérôme Leroux Gérald Point Sat 26 May 2012
Library Size: 13G (12972 entries),
Last Updated: Apr 16, 2026, 22:09:35,
Build Time: N/A
