Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10
click to vote
CORR
2010
Springer
74
views
Education
»
more
CORR 2010
»
Formats of Winning Strategies for Six Types of Pushdown Games
13 years 7 months ago
Download
www-i7.informatik.rwth-aachen.de
ndence fails. In the conclusion we address the question of an abstract criterion that explains the results.
Wladimir Fridman
claim paper
Read More »
8
click to vote
CORR
2010
Springer
73
views
Education
»
more
CORR 2010
»
Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas
13 years 7 months ago
Download
ftp.disi.unige.it
Davide Ancona, Giovanni Lagorio
claim paper
Read More »
17
click to vote
CORR
2010
Springer
71
views
Education
»
more
CORR 2010
»
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions
13 years 7 months ago
Download
www.sti.uniurb.it
Marco Bernardo
claim paper
Read More »
10
click to vote
CORR
2010
Springer
59
views
Education
»
more
CORR 2010
»
Playing Muller Games in a Hurry
13 years 7 months ago
Download
www.automata.rwth-aachen.de
John Fearnley, Martin Zimmermann 0002
claim paper
Read More »
19
click to vote
CORR
2010
Springer
42
views
Education
»
more
CORR 2010
»
Local Strategy Improvement for Parity Game Solving
13 years 7 months ago
Download
www2.tcs.ifi.lmu.de
Oliver Friedmann, Martin Lange
claim paper
Read More »
20
click to vote
CORR
2010
Springer
42
views
Education
»
more
CORR 2010
»
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
13 years 7 months ago
Download
perseo.dif.um.es
Davide Bresolin, Pietro Sala, Guido Sciavicco
claim paper
Read More »
18
click to vote
CORR
2010
Springer
64
views
Education
»
more
CORR 2010
»
Using Strategy Improvement to Stay Alive
13 years 7 months ago
Download
www.fi.muni.cz
Lubos Brim, Jakub Chaloupka
claim paper
Read More »
23
click to vote
CORR
2010
Springer
62
views
Education
»
more
CORR 2010
»
How do we remember the past in randomised strategies?
13 years 7 months ago
Download
www.liafa.jussieu.fr
Julien Cristau, Claire David, Florian Horn
claim paper
Read More »
20
click to vote
CORR
2010
Springer
37
views
Education
»
more
CORR 2010
»
The Cardinality of an Oracle in Blum-Shub-Smale Computation
13 years 7 months ago
Download
qcpages.qc.cuny.edu
Wesley Calvert, Ken Kramer, Russell Miller
claim paper
Read More »
21
click to vote
CORR
2010
Springer
79
views
Education
»
more
CORR 2010
»
Safe Recursion on Notation into a Light Logic by Levels
13 years 7 months ago
Download
www.di.unito.it
Luca Roversi, Luca Vercelli
claim paper
Read More »
« first
‹ previous
…
736
737
738
739
740
741
742
743
744
…
next ›
last »