Search Sciweavers | Sciweavers

327 search results - page 8 / 66

» Algorithms for infinite huffman-codes

Voted

SOFSEM
2010
Springer

107views Theoretical Computer Science» more SOFSEM 2010»

Linear Complementarity Algorithms for Infinite Games

16 years 24 days ago

Download www.sofsem.cz

John Fearnley, Marcin Jurdzinski, Rahul Savani

claim paper

Read More »

111

Voted

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

click to vote

TACAS
2007
Springer

67views Algorithms» more TACAS 2007»

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes

15 years 10 months ago

Download www.liafa.jussieu.fr

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

claim paper

Read More »

102

Voted

TACAS
2005
Springer

86views Algorithms» more TACAS 2005»

Complementation Constructions for Nondeterministic Automata on Infinite Words

15 years 9 months ago

Download www.cs.huji.ac.il

Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

121

click to vote

WDAG
2000
Springer

72views Algorithms» more WDAG 2000»

Computing with Infinitely Many Processes

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers