- Descriptional Complexity of Unambiguous Input-driven Pushdown Automata Alexander Okhotin Kai Salomaa Fri 08 June 2018
- The Language Theory of Bounded Context-Switching Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato Fri 08 November 2013
- Tree automata with memory, visibility and structural constraints Hubert Comon-Lundh Florent Jacquemard Nicolas Perrin Mon 15 July 2013
- A Note on Nested Words Andreas Blass Yuri Gurevich Mon 15 July 2013
- Checking conformance of a producer and a consumer Evan Driscoll Amanda Burton Thomas Reps Mon 15 July 2013
- Visibly pushdown automata for streaming XML Viraj Kumar P. Madhusudan Mahesh Viswanathan Mon 15 July 2013
- Visibly pushdown automata on trees: universality and u-universality Véronique Bruyère Marc Ducobu Olivier Gauwin Mon 15 July 2013
- Visibly Pushdown Automata: Universality and Inclusion via Antichains Véronique Bruyère Marc Ducobu Olivier Gauwin Mon 15 July 2013
- 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
- Visibly Pushdown Languages and Term Rewriting Jacques Chabin Pierre Réty Thu 11 October 2012
- Communicating Visibly Pushdown Processes Stefan D. Bruda Tawhid Bin Waez Sat 07 July 2012
- Asynchronously Communicating Visibly Pushdown Systems Domagoj Babic Zvonimir Rakamaric Thu 24 May 2012
- Minimizing Variants of Visibly Pushdown Automata Patrick Chervet Igor Walukiewicz Mon 30 April 2012
Library Size: 13G (18 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
