Search Sciweavers | Sciweavers

327 search results - page 8 / 66

» Algorithms for infinite huffman-codes

149

click to vote

SOFSEM
2010
Springer

107views Theoretical Computer Science» more SOFSEM 2010»

Linear Complementarity Algorithms for Infinite Games

16 years 4 months ago

Download www.sofsem.cz

John Fearnley, Marcin Jurdzinski, Rahul Savani

claim paper

Read More »

174

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 2 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

124

click to vote

TACAS
2007
Springer

67views Algorithms» more TACAS 2007»

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

16 years 1 months ago

Download www.liafa.jussieu.fr

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

claim paper

Read More »

149

click to vote

TACAS
2005
Springer

86views Algorithms» more TACAS 2005»

Complementation Constructions for Nondeterministic Automata on Infinite Words

16 years 28 days ago

Download www.cs.huji.ac.il

Orna Kupferman, Moshe Y. Vardi

claim paper

Read More »

166

Voted

WDAG
2000
Springer

72views Algorithms» more WDAG 2000»

Computing with Infinitely Many Processes

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers