CORR 2010 | Sciweavers

10

click to vote

CORR
2010
Springer

123views Education» more CORR 2010»

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior

13 years 4 months ago

Download www.sti.uniurb.it

Alessandro Aldini

claim paper

Read More »

7

click to vote

CORR
2010
Springer

90views Education» more CORR 2010»

Two-Domain DNA Strand Displacement

13 years 4 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 »

5

click to vote

CORR
2010
Springer

49views Education» more CORR 2010»

Towards the Design of Heuristics by Means of Self-Assembly

13 years 4 months ago

Download www.cs.nott.ac.uk

Germán Terrazas, Dario Landa-Silva, Natalio...

claim paper

Read More »

7

click to vote

CORR
2010
Springer

66views Education» more CORR 2010»

The space of measurement outcomes as a spectrum for non-commutative algebras

13 years 4 months ago

Download www.comlab.ox.ac.uk

Bas Spitters

claim paper

Read More »

4

click to vote

CORR
2010
Springer

80views Education» more CORR 2010»

Equilibrium and Termination

13 years 4 months ago

Download www.pps.jussieu.fr

Vincent Danos, Nicolas Oury

claim paper

Read More »

9

click to vote

CORR
2010
Springer

95views Education» more CORR 2010»

Causality and the Semantics of Provenance

13 years 4 months ago

Download homepages.inf.ed.ac.uk

James Cheney

claim paper

Read More »

5

click to vote

CORR
2010
Springer

74views Education» more CORR 2010»

Formats of Winning Strategies for Six Types of Pushdown Games

13 years 4 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 »

4

click to vote

CORR
2010
Springer

73views Education» more CORR 2010»

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

13 years 4 months ago

Download ftp.disi.unige.it

Davide Ancona, Giovanni Lagorio

claim paper

Read More »

6

click to vote

CORR
2010
Springer

71views Education» more CORR 2010»

On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions

13 years 4 months ago

Download www.sti.uniurb.it

Marco Bernardo

claim paper

Read More »

5

click to vote

CORR
2010
Springer

59views Education» more CORR 2010»

Playing Muller Games in a Hurry

13 years 4 months ago

Download www.automata.rwth-aachen.de

John Fearnley, Martin Zimmermann 0002

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers