Sciweavers

97 search results - page 1 / 20

» icalp 2009

65

ICALP
2009
Springer

88views Programming Languages» more ICALP 2009»

Superhighness and Strong Jump Traceability

15 years 2 months ago

Superhighness and Strong Jump Traceability

Download www.cs.auckland.ac.nz

André Nies

claim paper

Read More »

43

ICALP
2009
Springer

127views Programming Languages» more ICALP 2009»

Competitive Analysis of Aggregate Max in Windowed Streaming

15 years 4 months ago

Competitive Analysis of Aggregate Max in Windowed Streaming

Download cgi.di.uoa.gr

Luca Becchetti, Elias Koutsoupias

claim paper

Read More »

52

ICALP
2009
Springer

124views Programming Languages» more ICALP 2009»

Exact and Approximate Bandwidth

15 years 4 months ago

Exact and Approximate Bandwidth

Download www.mimuw.edu.pl

Marek Cygan, Marcin Pilipczuk

claim paper

Read More »

73

ICALP
2009
Springer

106views Programming Languages» more ICALP 2009»

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

15 years 4 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 »

64

ICALP
2009
Springer

103views Programming Languages» more ICALP 2009»

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

15 years 1 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 »