 | 2009 |
|---|
| 57 |       | Philippe Chaput,
Vincent Danos,
Prakash Panangaden,
Gordon D. Plotkin:
Approximating Labelled Markov Processes Again!
CALCO 2009: 145-156 |
| 56 | | Jean Krivine,
Vincent Danos,
Arndt Benecke:
Modelling Epigenetic Information Maintenance: A Kappa Tutorial.
CAV 2009: 17-32 |
| 55 | | Philippe Chaput,
Vincent Danos,
Prakash Panangaden,
Gordon D. Plotkin:
Approximating Markov Processes by Averaging.
ICALP (2) 2009: 127-138 |
| 54 | | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling and Model Perturbation.
T. Comp. Sys. Biology 11: 116-137 (2009) |
| 53 | | Vincent Danos,
Linus J. Schumacher:
How liquid is biological signalling?
Theor. Comput. Sci. 410(11): 1003-1012 (2009) |
| 2008 |
|---|
| 52 | | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements.
FMSB 2008: 103-122 |
| 51 | | J. Niel de Beaudrap,
Vincent Danos,
Elham Kashefi,
Martin Rötteler:
Quadratic Form Expansions for Unitaries.
TQC 2008: 29-46 |
| 50 | | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Abstract Interpretation of Cellular Signalling Networks.
VMCAI 2008: 83-97 |
| 49 | | 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 |
| 48 | | Vincent Danos,
Mariangiola Dezani-Ciancaglini:
Preface.
Electr. Notes Theor. Comput. Sci. 192(3): 1-2 (2008) |
| 47 | | Vincent Danos,
Ellie D'Hondt:
Classical Knowledge for Quantum Cryptographic Reasoning.
Electr. Notes Theor. Comput. Sci. 192(3): 39-58 (2008) |
| 46 | | Pierre-Louis Curien,
Vincent Danos,
Jean Krivine,
Min Zhang:
Computational self-assembly.
Theor. Comput. Sci. 404(1-2): 61-75 (2008) |
| 2007 |
|---|
| 45 | | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Scalable Simulation of Cellular Signaling Networks.
APLAS 2007: 139-157 |
| 44 | | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling of Cellular Signalling.
CONCUR 2007: 17-41 |
| 43 | | Vincent Danos,
Ellie D'Hondt,
Elham Kashefi,
Prakash Panangaden:
Distributed Measurement-based Quantum Computation.
Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007) |
| 42 | | Vincent Danos,
Elham Kashefi:
Pauli Measurements are Universal.
Electr. Notes Theor. Comput. Sci. 170: 95-100 (2007) |
| 41 | | Vincent Danos,
Jean Krivine,
Fabien Tarissan:
Self-assembling Trees.
Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007) |
| 40 | | Vincent Danos,
Jean Krivine,
Pawel Sobocinski:
General Reversibility.
Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007) |
| 39 | | Vincent Danos,
Cosimo Laneve:
Preface.
Electr. Notes Theor. Comput. Sci. 180(3): 1-2 (2007) |
| 38 | | Vincent Danos,
Jean Krivine:
Formal Molecular Biology Done in CCS-R.
Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007) |
| 37 | | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The measurement calculus.
J. ACM 54(2): (2007) |
| 36 | | Vincent Danos,
Fabien Tarissan:
Self-assembling graphs.
Natural Computing 6(3): 339-358 (2007) |
| 2006 |
|---|
| 35 | | Vincent Danos,
Elham Kashefi,
Prakash Panangaden:
The One Way to Quantum Computation.
ICALP (2) 2006: 13-21 |
| 34 | | Vincent Danos,
Josee Desharnais,
François Laviolette,
Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems.
Inf. Comput. 204(4): 503-523 (2006) |
| 33 | | 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 | | Vincent Danos,
Jean Krivine:
Transactions in RCCS.
CONCUR 2005: 398-412 |
| 30 | | Vincent Danos,
Fabien Tarissan:
Self Assembling Graphs.
IWINAC (1) 2005: 498-507 |
| 2004 |
|---|
| 29 | | Vincent Danos,
Sylvain Pradalier:
Projective Brane Calculus.
CMSB 2004: 134-148 |
| 28 | | Vincent Danos,
Jean Krivine:
Reversible Communicating Systems.
CONCUR 2004: 292-307 |
| 27 | | Vincent Danos,
Josée Desharnais,
Prakash Panangaden:
Labelled Markov Processes: Stronger and Faster Approximations.
Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004) |
| 26 | | 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 | | Vincent Danos,
Cosimo Laneve:
Formal molecular biology.
Theor. Comput. Sci. 325(1): 69-110 (2004) |
| 2003 |
|---|
| 24 | | Marc Chiaverini,
Vincent Danos:
A Core Modeling Language for the Working Molecular Biologist (Abstract).
CMSB 2003: 166 |
| 23 | | Vincent Danos,
Cosimo Laneve:
Graphs for Core Molecular Biology.
CMSB 2003: 34-46 |
| 22 | | Vincent Danos,
Josee Desharnais,
Prakash Panangaden:
Conditional Expectation and the Approximation of Labelled Markov Processes.
CONCUR 2003: 468-482 |
| 21 | | Vincent Danos,
Cosimo Laneve:
Core Formal Molecular Biology.
ESOP 2003: 302-318 |
| 20 | | Emmanuel Beffara,
Vincent Danos:
Disjunctive normal forms and local exceptions.
ICFP 2003: 203-211 |
| 19 | | Vincent Danos,
Josee Desharnais:
Labelled Markov Processes: Stronger and Faster Approximations.
LICS 2003: 341-350 |
| 18 | | 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 | | Vincent Danos,
Russell Harmer:
Probabilistic game semantics.
ACM Trans. Comput. Log. 3(3): 359-382 (2002) |
| 2001 |
|---|
| 15 | | Vincent Danos,
Russell Harmer:
The Anatomy of Innocence.
CSL 2001: 188-202 |
| 2000 |
|---|
| 14 | | Vincent Danos,
Jean-Louis Krivine:
Disjunctive Tautologies as Synchronisation Schemes.
CSL 2000: 292-301 |
| 13 | | Vincent Danos,
Russell Harmer:
Probabilistic Game Semantics.
LICS 2000: 204-213 |
| 1999 |
|---|
| 12 | | 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 | | 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 | | Vincent Danos,
Jean-Baptiste Joinet,
Harold Schellinx:
Computational isomorphisms in classical logic.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 5 | | 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 |
