- Finite counting automata Marcel-Paul Schützenberger Wed 05 December 2012
- On context-free languages and push-down automata Marcel-Paul Schützenberger Wed 05 December 2012
- A Remark on Acceptable Sets of Numbers Marcel-Paul Schützenberger Wed 05 December 2012
- Weighted automata and weighted logics Manfred Droste Paul Gastin Wed 05 December 2012
- Probabilistic Automata and Probabilistic Logic Thomas Weidner Wed 05 December 2012
- Model checking of systems with many identical timed processes Parosh Aziz Abdulla Bengt Jonsson Wed 05 December 2012
- Real-Time Control with Parametric Timed Reachability Games Aleksandra Jovanovic Sebastien Faucou Didier Lime Olivier H. Roux Wed 05 December 2012
- Parametric real-time reasoning Rajeev Alur Thomas A. Henzinger Moshe Y. Vardi Wed 05 December 2012
- A comparison of succinctly represented finite-state systems Romain Brenguier Stefan Gøller Ocan Sankur Wed 05 December 2012
- Dynamic typing in a statically-typed language M. Abadi L. Cardelli B. Pierce Gordon Plotkin Tue 04 December 2012
- LTL with the freeze quantifier and register automata Stéphane Demri Ranko Lazic Tue 04 December 2012
- Realizability of Dynamic MSC Languages Benedikt Bollig Loic Helouet Tue 04 December 2012
- Multiple Counters Automata, Safety Analysis and Presburger Arithmetic Hubert Comon Yan Jurski Tue 04 December 2012
- Elements of an automata theory over partial orders Wolfgang Thomas Tue 04 December 2012
- Visibly pushdown automata with multiplicities: finiteness and k-boundedness Mathieu Caralp Pierre-Alain Reynier Jean-Marc Talbot Tue 04 December 2012
- Antichains for Visibly Pushdown Automata Mizuhito Ogawa Nguyen Van Tang Nao Hirokawa Tue 04 December 2012
- Beyond Language Equivalence on Visibly Pushdown Automata Jiří Srba Tue 04 December 2012
- Congruences for visibly pushdown languages Rajeev Alur Viraj Kumar P. Madhusudan Mahesh Viswanathan Tue 04 December 2012
- Visibly pushdown automata: from language equivalence to simulation and bisimulation Jiří Srba Tue 04 December 2012
- Visibly pushdown languages Rajeev Alur P. Madhusudan Tue 04 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
