- Reachability relations of timed pushdown automata Lorenzo Clemente Sławomir Lasota Tue 29 December 2020
- Timed recursive state machines: Expressiveness and complexity Massimo Benerecetti Adriano Peron Wed 30 May 2018
- Binary reachability of timed pushdown automata via quantifier elimination Lorenzo Clemente Sławomir Lasota Mon 12 March 2018
- Reachability Games on Recursive Hybrid Automata S. N. Krishna L. Manasa A. Trivedi Wed 28 June 2017
- A Logical Characterization for Dense-time Visibly Pushdown Automata Devendra Bhave Vrunda Dave Shankara Narayanan Krishna Ramchandra Phawade Ashutosh Trivedi Sat 26 December 2015
- Event-Clock Visibly Pushdown Automata Nguyen Tang Mizuhito Ogawa Sat 26 December 2015
- A Logical Characterization of Timed Pushdown Languages Manfred Droste Vitaly Perevoshchikov Sat 26 December 2015
- Logics for Weighted Timed Pushdown Automata Manfred Droste Vitaly Perevoshchikov Sat 26 December 2015
- Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation M'Hemdi Hana Jacques Julliand Pierre-Alain Masson Riadh Robbana Sat 12 September 2015
- What's Decidable About Recursive Hybrid Automata Shankara Narayanan Krishna Lakshmi Manasa Ashutosh Trivedi Sat 12 September 2015
- Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata Kristiina Ausmees Wed 17 September 2014
Library Size: 13G (11 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
