Pushdown - PDFSEARCH.IO - Document Search Engine

Pushdown
Results: 244

#	Item
11	23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡ Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:58
12	Deterministic Pushdown Automata and Unary Languages Giovanni Pighizzini Dipartimento di Informatica e Comunicazione Università degli Studi di Milano Add to Reading List Source URL: pighizzini.di.unimi.it Language: English - Date: 2008-11-12 17:29:49
13	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 Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:58
14	Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org PUSHDOWN COMPRESSION P. ALBERT 1 , E. MAYORDOMO 1 , P. MOSER 2 , AND S. PERIFEL Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2008-02-05 02:56:54
15	Using Dynamic Pushdown Networks to Automate a Modular Information-flow Analysis Heiko Mantel1, Markus M¨ uller-Olm2, Matthias Perner1, and Alexander Wenner2 1 Add to Reading List Source URL: www.mais.informatik.tu-darmstadt.de Language: English - Date: 2016-03-15 10:13:19
16	Analysing Mu-Calculus Properties of Pushdown Systems M. Hague and C.-H. L. Ong Oxford University Computing Laboratory Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:59
17	Saturation algorithms for model-checking pushdown systems∗ Arnaud Carayol Matthew Hague LIGM Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2014-06-02 12:07:33
18	Model Checking Recursive Programs with Numeric Data Types Matthew Hague and Anthony Widjaja Lin Oxford University Computing Laboratory Abstract. Pushdown systems (PDS) naturally model sequential recursive programs. Nume Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2013-02-08 18:19:57
19	A Posteriori Environment Analysis with Pushdown Delta CFA Kimball Germane Matthew Might University of Utah, USA Add to Reading List Source URL: matt.might.net - Date: 2017-03-27 15:41:26
20	On the complexity of membership and counting in height-deterministic pushdown automata Nutan Limaye1 , Meena Mahajan1 , and Antoine Meyer2 1 2 Add to Reading List Source URL: www.imsc.res.in - Date: 2008-02-29 07:33:09

UPDATE