CORR 2010 | Sciweavers

27

click to vote

CORR
2010
Springer

123views Education» more CORR 2010»

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

13 years 11 months ago

Download www.sti.uniurb.it

Alessandro Aldini

claim paper

Read More »

31

click to vote

CORR
2010
Springer

90views Education» more CORR 2010»

Two-Domain DNA Strand Displacement

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

13

click to vote

CORR
2010
Springer

49views Education» more CORR 2010»

Towards the Design of Heuristics by Means of Self-Assembly

13 years 11 months ago

Download www.cs.nott.ac.uk

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

claim paper

Read More »

15

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 11 months ago

Download www.comlab.ox.ac.uk

Bas Spitters

claim paper

Read More »

13

click to vote

CORR
2010
Springer

80views Education» more CORR 2010»

Equilibrium and Termination

13 years 11 months ago

Download www.pps.jussieu.fr

Vincent Danos, Nicolas Oury

claim paper

Read More »

22

click to vote

CORR
2010
Springer

95views Education» more CORR 2010»

Causality and the Semantics of Provenance

13 years 11 months ago

Download homepages.inf.ed.ac.uk

James Cheney

claim paper

Read More »

10

click to vote

CORR
2010
Springer

74views Education» more CORR 2010»

Formats of Winning Strategies for Six Types of Pushdown Games

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

13

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 11 months ago

Download ftp.disi.unige.it

Davide Ancona, Giovanni Lagorio

claim paper

Read More »

18

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 11 months ago

Download www.sti.uniurb.it

Marco Bernardo

claim paper

Read More »

15

click to vote

CORR
2010
Springer

59views Education» more CORR 2010»

Playing Muller Games in a Hurry

13 years 11 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