Edit Distance for Pushdown Automata∗ Krishnendu Chatterjee, Thomas A. Henzinger, Rasmus Ibsen-Jensen, and Jan Otop IST Austria August 11, 2015 Abstract

Source URL: www.cs.au.dk

A Saturation Method for Collapsible Pushdown Systems C. Broadbent1 , A. Carayol2, M. Hague1,2 , and O. Serre1 1 LIAFA, Universit´e Paris Diderot – Paris 7 & CNRS 2

Source URL: www.cs.rhul.ac.uk

23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

Source URL: www.cs.rhul.ac.uk

Analysing Mu-Calculus Properties of Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory

Source URL: www.cs.rhul.ac.uk

Formal Methods in System Design manuscript No. (will be inserted by the editor) Analyzing Probabilistic Pushdown Automata Tom´asˇ Br´azdil · Javier Esparza · Stefan Kiefer · Anton´ın Kuˇcera

Source URL: www.fi.muni.cz

Asynchronously Communicating Visibly Pushdown Systems Domagoj Babi´c Google Research joint work with Zvonimir Rakamari´c

Source URL: zvonimir.info

Effective Fractal Dimension Bibliography John M. Hitchcock [1] P. Albert, E. Mayordomo, and P. Moser. Bounded pushdown dimension vs Lempel Ziv information density. Technical Report arXiv:c

Source URL: www.cs.uwyo.edu

JFP): 218–283, c Cambridge University Press 2014 ⃝ 218

Source URL: ilyasergey.net

• Models of computation
• Formal languages
• Pushdown automaton
• Finite automata
• Nondeterministic finite automaton
• Computability
• Abstract interpretation
• Context-free language
• Symbol
• Nested stack automaton
• Tree stack automaton

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

Source URL: rp2015.mimuw.edu.pl

An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems Anil Seth CSE Department, I.I.T. Kanpur, Kanpur, INDIA.

Source URL: www.cse.iitk.ac.in