- The Complexity of Model Checking Multi-stack Systems B. Bollig D. Kuske R. Mennicke Sun 23 February 2014
- Adjacent Ordered Multi-Pushdown Systems Mohamed Faouzi Atig K. Narayan Kumar Prakash Saivasan Tue 12 November 2013
- The Language Theory of Bounded Context-Switching Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato Fri 08 November 2013
- Reachability Problem for Weak Multi-Pushdown Automata Wojciech Czerwiński Piotr Hofman Sławomir Lasota Sun 25 November 2012
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems Anil Seth Sun 25 November 2012
- Global Model Checking of Ordered Multi-Pushdown Systems Mohamed Faouzi Atig Sun 25 November 2012
- From Multi to Single Stack Automata Mohamed Faouzi Atig Sun 25 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
- Model-Checking of Ordered Multi-Pushdown Automata Mohamed F. Atig Mon 19 November 2012
Library Size: 13G (11 entries),
Last Updated: Apr 05, 2026, 07:51:09,
Build Time: N/A
