- Tight bounds for reachability problems on one-counter and pushdown systems Jakob Cetti Hansen Adam Husted Kjelstrøm Andreas Pavlogiannis Thu 29 April 2021
- Analyzing pushdown systems with stack manipulation Fu Song Fri 16 August 2019
- Language equivalence of probabilistic pushdown automata Vojtěch Forejt Petr Jančar Stefan Kiefer James Worrell Tue 12 June 2018
- Timed recursive state machines: Expressiveness and complexity Massimo Benerecetti Adriano Peron Wed 30 May 2018
- Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems Kousha Etessami Dominik Wojtczak Mihalis Yannakakis Thu 27 March 2014
- Effcient CTL model-checking for pushdown systems Fu Song Tayssir Touili Wed 13 November 2013
- Model Checking CTL Properties of Pushdown Systems Igor Walukiewicz Wed 13 November 2013
- Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks Jonathan Kochems C.-H.Luke Ong Tue 12 November 2013
- Mean-Payoff Pushdown Games Krishnendu Chatterjee Yaron Velner Tue 29 October 2013
- Introspective pushdown analysis Christopher Earl Ilya Sergey J. Ian Johnson Matthew Might David Van Horn Mon 22 July 2013
- Subcubic algorithms for recursive state machines Swarat Chaudhuri Thu 27 June 2013
Library Size: 13G (11 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
