Sciweavers

97 search results - page 1 / 20

» icalp 2009

28

ICALP
2009
Springer

88views Programming Languages» more ICALP 2009»

Superhighness and Strong Jump Traceability

14 years 3 months ago

Superhighness and Strong Jump Traceability

Download www.cs.auckland.ac.nz

André Nies

claim paper

Read More »

21

ICALP
2009
Springer

127views Programming Languages» more ICALP 2009»

Competitive Analysis of Aggregate Max in Windowed Streaming

14 years 5 months ago

Competitive Analysis of Aggregate Max in Windowed Streaming

Download cgi.di.uoa.gr

Luca Becchetti, Elias Koutsoupias

claim paper

Read More »

27

ICALP
2009
Springer

124views Programming Languages» more ICALP 2009»

Exact and Approximate Bandwidth

14 years 5 months ago

Exact and Approximate Bandwidth

Download www.mimuw.edu.pl

Marek Cygan, Marcin Pilipczuk

claim paper

Read More »

26

ICALP
2009
Springer

106views Programming Languages» more ICALP 2009»

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

14 years 5 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 »

24

ICALP
2009
Springer

103views Programming Languages» more ICALP 2009»

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

14 years 2 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 »