| 2008 |
|---|
| 45 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Abstract Interpretation of Cellular Signalling Networks.
VMCAI 2008: 83-97 |
| 2007 |
|---|
| 44 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Scalable Simulation of Cellular Signaling Networks.
APLAS 2007: 139-157 |
| 43 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling of Cellular Signalling.
CONCUR 2007: 17-41 |
| 42 | EE | Vincent Danos,
Ellie D'Hondt,
Elham Kashefi,
Prakash Panangaden:
Distributed Measurement-based Quantum Computation.
Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007) |
| 41 | EE | Vincent Danos,
Elham Kashefi:
Pauli Measurements are Universal.
Electr. Notes Theor. Comput. Sci. 170: 95-100 (2007) |
| 40 | EE | Vincent Danos,
Jean Krivine,
Fabien Tarissan:
Self-assembling Trees.
Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007) |
| 39 | EE | Vincent Danos,
Jean Krivine,
Pawel Sobocinski:
General Reversibility.
Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007) |
| 38 | EE | Vincent Danos,
Cosimo Laneve:
Preface.
Electr. Notes Theor. Comput. Sci. 180(3): 1-2 (2007) |
| 37 | EE | Vincent Danos,
Jean Krivine:
Formal Molecular Biology Done in CCS-R.
Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007) |
| 36 | EE | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The measurement calculus.
J. ACM 54(2): (2007) |
| 35 | EE | Vincent Danos,
Fabien Tarissan:
Self-assembling graphs.
Natural Computing 6(3): 339-358 (2007) |
| 2006 |
|---|
| 34 | EE | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The One Way to Quantum Computation.
ICALP (2) 2006: 13-21 |
| 33 | EE | Vincent Danos,
Josee Desharnais,
François Laviolette,
Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems.
Inf. Comput. 204(4): 503-523 (2006) |
| 32 | 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 |
|---|
| 31 | | 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 |
| 30 | EE | Vincent Danos,
Jean Krivine:
Transactions in RCCS.
CONCUR 2005: 398-412 |
| 29 | EE | Vincent Danos,
Fabien Tarissan:
Self Assembling Graphs.
IWINAC (1) 2005: 498-507 |
| 2004 |
|---|
| 28 | EE | Vincent Danos,
Sylvain Pradalier:
Projective Brane Calculus.
CMSB 2004: 134-148 |
| 27 | EE | Vincent Danos,
Jean Krivine:
Reversible Communicating Systems.
CONCUR 2004: 292-307 |
| 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 |
