Search Sciweavers | Sciweavers

113 search results - page 12 / 23

» Height-Deterministic Pushdown Automata

click to vote

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

15 years 9 months ago

Download www.fi.muni.cz

Javier Esparza, Antonín Kucera, Richard May...

claim paper

Read More »

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

15 years 9 months ago

Download www.fi.muni.cz

Tomás Brázdil, Antonín Kucera...

claim paper

Read More »

125

click to vote

CAV
2001
Springer

88views Hardware» more CAV 2001»

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

15 years 8 months ago

Download www.eecs.wsu.edu

Zhe Dang

claim paper

Read More »

115

Voted

COCO
2006
Springer

95views Algorithms» more COCO 2006»

Derandomization of Probabilistic Auxiliary Pushdown Automata Classes

15 years 7 months ago

Download smartech.gatech.edu

H. Venkateswaran

claim paper

Read More »

Voted

CORR
2008
Springer

70views Education» more CORR 2008»

On the Expressive Power of 2-Stack Visibly Pushdown Automata

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers