Search Sciweavers | Sciweavers

33 search results - page 1 / 7

» concur 2006

128

Voted

CONCUR
2006
Springer

91views Distributed And Parallel Com...» more CONCUR 2006»

Generic Forward and Backward Simulations

15 years 10 months ago

Download unit.aist.go.jp

Ichiro Hasuo

claim paper

Read More »

125

click to vote

CONCUR
2006
Springer

66views Distributed And Parallel Com...» more CONCUR 2006»

Second-Order Simple Grammars

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

134

click to vote

CONCUR
2006
Springer

89views Distributed And Parallel Com...» more CONCUR 2006»

Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words

15 years 10 months ago

Download www.cs.huji.ac.il

Orna Kupferman, Sarai Sheinvald-Faragy

claim paper

Read More »

126

Voted

CONCUR
2006
Springer

81views Distributed And Parallel Com...» more CONCUR 2006»

Sortings for Reactive Systems

15 years 10 months ago

Download www.itu.dk

Lars Birkedal, Søren Debois, Thomas T. Hild...

claim paper

Read More »

130

Voted

CONCUR
2006
Springer

112views Distributed And Parallel Com...» more CONCUR 2006»

Reachability in Recursive Markov Decision Processes

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers