2009 |
51 | EE | Vincent Danos,
Linus J. Schumacher:
How liquid is biological signalling?
Theor. Comput. Sci. 410(11): 1003-1012 (2009) |
2008 |
50 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements.
FMSB 2008: 103-122 |
49 | EE | J. Niel de Beaudrap,
Vincent Danos,
Elham Kashefi,
Martin Rötteler:
Quadratic Form Expansions for Unitaries.
TQC 2008: 29-46 |
48 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Abstract Interpretation of Cellular Signalling Networks.
VMCAI 2008: 83-97 |
47 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Investigation of a Biological Repair Scheme.
Workshop on Membrane Computing 2008: 1-12 |
46 | EE | Pierre-Louis Curien,
Vincent Danos,
Jean Krivine,
Min Zhang:
Computational self-assembly.
Theor. Comput. Sci. 404(1-2): 61-75 (2008) |
2007 |
45 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Scalable Simulation of Cellular Signaling Networks.
APLAS 2007: 139-157 |
44 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling of Cellular Signalling.
CONCUR 2007: 17-41 |
43 | EE | Vincent Danos,
Ellie D'Hondt,
Elham Kashefi,
Prakash Panangaden:
Distributed Measurement-based Quantum Computation.
Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007) |
42 | EE | Vincent Danos,
Elham Kashefi:
Pauli Measurements are Universal.
Electr. Notes Theor. Comput. Sci. 170: 95-100 (2007) |
41 | EE | Vincent Danos,
Jean Krivine,
Fabien Tarissan:
Self-assembling Trees.
Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007) |
40 | EE | Vincent Danos,
Jean Krivine,
Pawel Sobocinski:
General Reversibility.
Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007) |
39 | EE | Vincent Danos,
Cosimo Laneve:
Preface.
Electr. Notes Theor. Comput. Sci. 180(3): 1-2 (2007) |
38 | EE | Vincent Danos,
Jean Krivine:
Formal Molecular Biology Done in CCS-R.
Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007) |
37 | EE | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The measurement calculus.
J. ACM 54(2): (2007) |
36 | EE | Vincent Danos,
Fabien Tarissan:
Self-assembling graphs.
Natural Computing 6(3): 339-358 (2007) |
2006 |
35 | EE | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The One Way to Quantum Computation.
ICALP (2) 2006: 13-21 |
34 | EE | Vincent Danos,
Josee Desharnais,
François Laviolette,
Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems.
Inf. Comput. 204(4): 503-523 (2006) |
33 | EE | Pierre-Yves Bourguignon,
Vincent Danos,
François Képès,
Serge Smidtas,
Vincent Schächter:
Property-Driven Statistics of Biological Networks.
T. Comp. Sys. Biology: 1-15 (2006) |
2005 |
32 | | Vincent Danos,
Vincent Schächter:
Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
Springer 2005 |
31 | EE | Vincent Danos,
Jean Krivine:
Transactions in RCCS.
CONCUR 2005: 398-412 |
30 | EE | Vincent Danos,
Fabien Tarissan:
Self Assembling Graphs.
IWINAC (1) 2005: 498-507 |
2004 |
29 | EE | Vincent Danos,
Sylvain Pradalier:
Projective Brane Calculus.
CMSB 2004: 134-148 |
28 | EE | Vincent Danos,
Jean Krivine:
Reversible Communicating Systems.
CONCUR 2004: 292-307 |
27 | EE | Vincent Danos,
Josée Desharnais,
Prakash Panangaden:
Labelled Markov Processes: Stronger and Faster Approximations.
Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004) |
26 | EE | Nathalie Chabrier-Rivier,
Marc Chiaverini,
Vincent Danos,
François Fages,
Vincent Schächter:
Modeling and querying biomolecular interaction networks.
Theor. Comput. Sci. 325(1): 25-44 (2004) |
25 | EE | Vincent Danos,
Cosimo Laneve:
Formal molecular biology.
Theor. Comput. Sci. 325(1): 69-110 (2004) |
2003 |
24 | EE | Marc Chiaverini,
Vincent Danos:
A Core Modeling Language for the Working Molecular Biologist (Abstract).
CMSB 2003: 166 |
23 | EE | Vincent Danos,
Cosimo Laneve:
Graphs for Core Molecular Biology.
CMSB 2003: 34-46 |
22 | EE | Vincent Danos,
Josee Desharnais,
Prakash Panangaden:
Conditional Expectation and the Approximation of Labelled Markov Processes.
CONCUR 2003: 468-482 |
21 | EE | Vincent Danos,
Cosimo Laneve:
Core Formal Molecular Biology.
ESOP 2003: 302-318 |
20 | EE | Emmanuel Beffara,
Vincent Danos:
Disjunctive normal forms and local exceptions.
ICFP 2003: 203-211 |
19 | EE | Vincent Danos,
Josee Desharnais:
Labelled Markov Processes: Stronger and Faster Approximations.
LICS 2003: 341-350 |
18 | EE | Vincent Danos,
Jean-Baptiste Joinet:
Linear logic and elementary time.
Inf. Comput. 183(1): 123-137 (2003) |
17 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
Computational isomorphisms in classical logic.
Theor. Comput. Sci. 294(3): 353-378 (2003) |
2002 |
16 | EE | Vincent Danos,
Russell Harmer:
Probabilistic game semantics.
ACM Trans. Comput. Log. 3(3): 359-382 (2002) |
2001 |
15 | EE | Vincent Danos,
Russell Harmer:
The Anatomy of Innocence.
CSL 2001: 188-202 |
2000 |
14 | EE | Vincent Danos,
Jean-Louis Krivine:
Disjunctive Tautologies as Synchronisation Schemes.
CSL 2000: 292-301 |
13 | EE | Vincent Danos,
Russell Harmer:
Probabilistic Game Semantics.
LICS 2000: 204-213 |
1999 |
12 | EE | Vincent Danos,
Laurent Regnier:
Reversible, Irreversible and Optimal lambda-Machines.
Theor. Comput. Sci. 227(1-2): 79-97 (1999) |
1997 |
11 | | Patrick Baillot,
Vincent Danos,
Thomas Ehrhard,
Laurent Regnier:
Timeless Games.
CSL 1997: 56-77 |
10 | EE | Patrick Baillot,
Vincent Danos,
Thomas Ehrhard,
Laurent Regnier:
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
LICS 1997: 68-75 |
9 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
A New Deconstructive Logic: Linear Logic.
J. Symb. Log. 62(3): 755-807 (1997) |
1996 |
8 | | Vincent Danos,
Marco Pedicini,
Laurent Regnier:
Directed Virtual Reductions.
CSL 1996: 76-88 |
7 | | Vincent Danos,
Hugo Herbelin,
Laurent Regnier:
Game Semantics & Abstract Machines.
LICS 1996: 394-405 |
6 | EE | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
Computational isomorphisms in classical logic.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
5 | EE | Vincent Danos,
Laurent Regnier:
Reversible, Irreversible and Optimal Lambda-machines.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
1994 |
4 | | Vincent Danos:
Une logique à grain fain: la logique linéaire.
JFPLC 1994: 311- |
3 | | Andrea Asperti,
Vincent Danos,
Cosimo Laneve,
Laurent Regnier:
Paths in the lambda-calculus
LICS 1994: 426-436 |
1993 |
2 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.
Kurt Gödel Colloquium 1993: 159-171 |
1 | | Vincent Danos,
Laurent Regnier:
Local and asynchronous beta-reduction (an analysis of Girard's execution formula)
LICS 1993: 296-306 |