Search Sciweavers | Sciweavers

303 search results - page 10 / 61

» Automata on Gauss Words

124

click to vote

TACAS
2005
Springer

86views Algorithms» more TACAS 2005»

Complementation Constructions for Nondeterministic Automata on Infinite Words

15 years 11 months ago

Download www.cs.huji.ac.il

Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

128

click to vote

CAV
2006
Springer

80views Hardware» more CAV 2006»

Don't Care Words with an Application to the Automata-Based Approach for Real Addition

15 years 9 months ago

Download www.cs.ubc.ca

d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit

Jochen Eisinger, Felix Klaedtke

claim paper

Read More »

131

click to vote

CONCUR
2006
Springer

89views Distributed And Parallel Com...» more CONCUR 2006»

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

15 years 9 months ago

Download www.cs.huji.ac.il

Orna Kupferman, Sarai Sheinvald-Faragy

claim paper

Read More »

click to vote

CORR
2008
Springer

69views Education» more CORR 2008»

Safety alternating automata on data words

15 years 6 months ago

Download tocl.acm.org

Ranko Lazic

claim paper

Read More »

click to vote

FUIN
2006

79views more FUIN 2006»

Automata Recognizing No Words: A Statistical Approach

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers