Sciweavers

2143 search results - page 25 / 429

» corr 2010

23

CORR
2010
Springer

64views Education» more CORR 2010»

Using Strategy Improvement to Stay Alive

13 years 11 months ago

Using Strategy Improvement to Stay Alive

Download www.fi.muni.cz

Lubos Brim, Jakub Chaloupka

claim paper

Read More »

21

CORR
2010
Springer

42views Education» more CORR 2010»

Local Strategy Improvement for Parity Game Solving

13 years 11 months ago

Local Strategy Improvement for Parity Game Solving

Download www2.tcs.ifi.lmu.de

Oliver Friedmann, Martin Lange

claim paper

Read More »

13

CORR
2010
Springer

73views Education» more CORR 2010»

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

13 years 11 months ago

Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

Download ftp.disi.unige.it

Davide Ancona, Giovanni Lagorio

claim paper

Read More »

13

CORR
2010
Springer

80views Education» more CORR 2010»

Equilibrium and Termination

13 years 11 months ago

Equilibrium and Termination

Download www.pps.jussieu.fr

Vincent Danos, Nicolas Oury

claim paper

Read More »

30

CORR
2010
Springer

87views Education» more CORR 2010»

Testing Reactive Probabilistic Processes

13 years 11 months ago

Testing Reactive Probabilistic Processes

Download www.win.tue.nl

Sonja Georgievska, Suzana Andova

claim paper

Read More »

« Prev « First page 25 / 429 Last » Next »