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
12
click to vote
CORR
2010
Springer
46
views
Education
»
more
CORR 2010
»
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games
13 years 7 months ago
Download
react.cs.uni-sb.de
Markus Rabe, Sven Schewe
claim paper
Read More »
23
click to vote
CORR
2010
Springer
87
views
Education
»
more
CORR 2010
»
Testing Reactive Probabilistic Processes
13 years 7 months ago
Download
www.win.tue.nl
Sonja Georgievska, Suzana Andova
claim paper
Read More »
11
click to vote
CORR
2010
Springer
69
views
Education
»
more
CORR 2010
»
Stochastic Calculus of Wrapped Compartments
13 years 7 months ago
Download
www.di.unito.it
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, E...
claim paper
Read More »
11
click to vote
CORR
2010
Springer
49
views
Education
»
more
CORR 2010
»
Quantitative Fairness Games
13 years 7 months ago
Download
people.na.infn.it
Alessandro Bianco, Marco Faella, Fabio Mogavero, A...
claim paper
Read More »
22
click to vote
CORR
2010
Springer
123
views
Education
»
more
CORR 2010
»
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior
13 years 7 months ago
Download
www.sti.uniurb.it
Alessandro Aldini
claim paper
Read More »
22
click to vote
CORR
2010
Springer
90
views
Education
»
more
CORR 2010
»
Two-Domain DNA Strand Displacement
13 years 7 months ago
Download
lucacardelli.name
We investigate the computing power of a restricted class of DNA strand displacement structures: those that are made of double strands with nicks (interruptions) in the top strand....
Luca Cardelli
claim paper
Read More »
11
click to vote
CORR
2010
Springer
49
views
Education
»
more
CORR 2010
»
Towards the Design of Heuristics by Means of Self-Assembly
13 years 7 months ago
Download
www.cs.nott.ac.uk
Germán Terrazas, Dario Landa-Silva, Natalio...
claim paper
Read More »
13
click to vote
CORR
2010
Springer
66
views
Education
»
more
CORR 2010
»
The space of measurement outcomes as a spectrum for non-commutative algebras
13 years 7 months ago
Download
www.comlab.ox.ac.uk
Bas Spitters
claim paper
Read More »
9
click to vote
CORR
2010
Springer
80
views
Education
»
more
CORR 2010
»
Equilibrium and Termination
13 years 7 months ago
Download
www.pps.jussieu.fr
Vincent Danos, Nicolas Oury
claim paper
Read More »
18
click to vote
CORR
2010
Springer
95
views
Education
»
more
CORR 2010
»
Causality and the Semantics of Provenance
13 years 7 months ago
Download
homepages.inf.ed.ac.uk
James Cheney
claim paper
Read More »
« first
‹ previous
…
735
736
737
738
739
740
741
742
743
…
next ›
last »