Search Sciweavers | Sciweavers

113 search results - page 12 / 23

» Height-Deterministic Pushdown Automata

120

click to vote

LICS
2005
IEEE

76views Automated Reasoning» more LICS 2005»

Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

16 years 1 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

141

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

16 years 1 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

189

Voted

CAV
2001
Springer

88views Hardware» more CAV 2001»

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

16 years 6 days ago

Download www.eecs.wsu.edu

Zhe Dang

claim paper

Read More »

175

click to vote

COCO
2006
Springer

95views Algorithms» more COCO 2006»

Derandomization of Probabilistic Auxiliary Pushdown Automata Classes

15 years 11 months ago

Download smartech.gatech.edu

H. Venkateswaran

claim paper

Read More »

113

Voted

CORR
2008
Springer

70views Education» more CORR 2008»

On the Expressive Power of 2-Stack Visibly Pushdown Automata

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers