Sciweavers

97 search results - page 1 / 20

» icalp 2009

104

Voted

ICALP
2009
Springer

88views Programming Languages» more ICALP 2009»

Superhighness and Strong Jump Traceability

15 years 8 months ago

Superhighness and Strong Jump Traceability

Download www.cs.auckland.ac.nz

André Nies

claim paper

Read More »

78

Voted

ICALP
2009
Springer

127views Programming Languages» more ICALP 2009»

Competitive Analysis of Aggregate Max in Windowed Streaming

15 years 10 months ago

Competitive Analysis of Aggregate Max in Windowed Streaming

Download cgi.di.uoa.gr

Luca Becchetti, Elias Koutsoupias

claim paper

Read More »

97

Voted

ICALP
2009
Springer

124views Programming Languages» more ICALP 2009»

Exact and Approximate Bandwidth

15 years 10 months ago

Exact and Approximate Bandwidth

Download www.mimuw.edu.pl

Marek Cygan, Marcin Pilipczuk

claim paper

Read More »

132

Voted

ICALP
2009
Springer

106views Programming Languages» more ICALP 2009»

A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata

15 years 10 months ago

A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata

Download www.liafa.jussieu.fr

Thomas Colcombet, Konrad Zdanowski

claim paper

Read More »

110

Voted

ICALP
2009
Springer

103views Programming Languages» more ICALP 2009»

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

15 years 7 months ago

Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types

Download rap.dsi.unifi.it

Lucia Acciai, Michele Boreale

claim paper

Read More »

« Prev « First page 1 / 20 Last » Next »