Reachability problem for weak multi-pushdown automata Wojciech Czerwi´nski, Piotr Hofman, and Sławomir Lasota? Institute of Informatics, University of Warsaw wczerwin,ph209519,

Source URL: www.mimuw.edu.pl

On Boundedness Problems for Pushdown Vector Addition Systems J´erˆome Leroux Gr´egoire Sutre

Source URL: www.dcs.warwick.ac.uk

An Intersection Type System for Deterministic Pushdown Automata Takeshi Tsukada1 and Naoki Kobayashi2 1 2

Source URL: www-kb.is.s.u-tokyo.ac.jp

On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension J´erˆome Leroux Gr´egoire Sutre

Source URL: www.dcs.warwick.ac.uk

Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University

Source URL: dimvar.github.io

Reachability in Pushdown Register Automata Andrzej Murawski University of Warwick

Source URL: highlights-conference.org

A Pumping Lemma for Collapsible Pushdown Graphs of Level 2 Alexander Kartzow Universität Leipzig, Institut für Informatik, Johannisgasse 26, 04103 Leipzig∗ Abstract

Source URL: www.kartzow.de

Bisimilarity of Pushdown Automata is Nonelementary Michael Benedikt (Oxford) Stefan G¨ oller (Bremen) Stefan Kiefer (Oxford)

Source URL: highlights-conference.org

• Models of computation
• Pushdown automaton

The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-order Pushdown Automata Arnaud Carayol1 and Stefan W¨ohrle2 1

Source URL: www-igm.univ-mlv.fr

Collapsible Pushdown Graphs of Level 2 Are Tree-Automatic

Source URL: www.kartzow.de