Agile modelling of cellular signalling (ICCMSE'07) Vincent Danos
Scalable simulation of cellular signaling networks (APLAS'07, invited paper) Vincent Danos, Jerome Feret, Walter Fontana, Jean Krivine
Rule-based modelling of cellular signalling (CONCUR'07, invited paper) Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jean Krivine
Computational Self-assembly (2007) Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang.
Quantum knowledge for cryptographic reasoning (DCM'07) Vincent Danos, Ellie d'Hondt.
A direct approach
to fault-tolerance in measurement-based quantum computation
(quant-ph/0611273, New Journal of Physics 9) Vincent Danos, Elham Kashefi, Harold Ollivier, Marcus Silva.
General Reversibility (EXPRESS'06, ENTCS 175(3))
Vincent Danos, Jean Krivine,
Pawel Sobocinski.
Property-driven statistics of biological networks (CMSB'05, TCSB 6)
Pierre-Yves Bourguignon, Vincent Danos, Francois Kepes, Serge Smidtas, Vincent Schachter.
Phase map decompositions for unitaries (quant-ph/0603266)
Niel de Beaudrap, Vincent Danos, Elham Kashefi.
Self-assembling Trees (SOS'06, ENTCS 175) Vincent Danos, Jean Krivine, Fabien Tarissan.
Bisimulation and Cocongruence for Probabilistic Systems (Information
& Computation 204, 2006) Vincent Danos, Josee Desharnais, Francois Laviolette, Prakash Panangaden.
Distributed measurement-based quantum computation (quant-ph/0506070, QPL'05) Vincent Danos,
Ellie D'Hondt, Elham Kashefi, Prakash Panangaden.
Determinism in the one-way model (quant-ph/0506062, EQIS'05, Physical Review A) Vincent Danos,
Elham Kashefi.
1-qubit versus 2-qubit measurement based quantum computing (2005, Draft) Vincent Danos,
Elham Kashefi.
Pauli Measurements are universal (QPL'05) Vincent Danos,
Elham Kashefi.
Self-assembling Graphs (IWINAC'05) Vincent Danos,
Fabien Tarissan.
Transactions in RCCS (CONCUR'05) Vincent Danos, Jean Krivine.
The Measurement Calculus (quant-ph/0412135, JACM 54(2)) Vincent Danos,
Elham Kashefi, Prakash Panangaden.
Labelled Markov Processes: stronger and faster approximations (ENTCS 87, 2004) Vincent Danos, Josee Desharnais, Prakash Panangaden.
Robust and parsimonious realisations of unitaries in the one-way model (quant-ph/0411071, Physical Review A 72) Vincent Danos,
Elham Kashefi, Prakash Panangaden.
Reversible Communicating Systems (CONCUR'04) Vincent Danos, Jean Krivine.
Projective Brane Calculus (CMSB'04) Vincent Danos, Sylvain Pradalier.
How abstract machines implement head linear reduction (Submitted, 2003) Vincent Danos, Laurent Regnier.
Formal Molecular Biology (TCS 325, 2004) Vincent Danos, Cosimo Laneve.
Modeling and Querying Molecular interaction networks (TCS 325, 2004) Nathalie Chabrier, Marc Chiaverini, Vincent Danos, Francois Fages, Vincent Schachter.
Formal Molecular Biology done in CCS
(Bio-Concur'03)
Vincent Danos,
Jean Krivine.
Graphes et auto-assemblage
(2003) Vincent Danos, Fabien Tarissan.
Disjunctive normal forms specify multi-exception handlers
(ICFP'03)
Emmanuel Beffara, Vincent Danos.
A Core Modeling Language
for the Working Molecular Biologist
(CMSB'03)
Marc Chiaverini, Vincent Danos.
Conditional
Expectation and the Approximation of Labelled Markov Processes
(CONCUR'03) Vincent Danos, Josee Desharnais,
Prakash Panangaden.
A Fixpoint Logic for
Labelled Markov Processes
(FICS'03) Vincent Danos, Josee Desharnais.
Core Formal Molecular Biology
(ESOP'03), Vincent Danos, Cosimo Laneve.
Labelled Markov Processes: stronger and
faster approximants
(LICS'03) Vincent Danos, Josee Desharnais.
Une note sur les chaines de Markov etiquetees
(Unpublished, 2003) Vincent Danos,
Josee
Desharnais.
Graphs for Core Molecular Biology
(CMSB'03), Vincent Danos,
Cosimo Laneve.
Probabilistic
Games Semantics (Long version, ACM Transactions
on Computational Logic, 2002) Vincent Danos,
Russell Harmer.
The Anatomy of Innocence (CSL'01) Vincent Danos, Russell Harmer.
Disjunctive
Tautologies as Synchronisation Schemes (CSL'00) Vincent Danos,
Jean-Louis Krivine.
Probabilistic Games Semantics (LICS'00) Vincent Danos, Russell Harmer.
Linear Logic and Elementary Time (ICC'99,
Information & Computation 183) Vincent Danos,
Jean-Baptiste Joinet.
Reversible, Irreversible and Optimal Lambda-Machines (TCS 227, 1999)
Vincent Danos,
Laurent
Regnier.
Timeless Games (CSL'97)
Patrick Baillot, Vincent Danos,
Thomas Ehrhard,
Laurent Regnier.
Believe it or not, AJM's games model is a model of classical Linear Logic
(LICS'97) Patrick Baillot, Vincent Danos, Thomas Ehrhard,
Laurent Regnier.
Directed virtual reductions (CSL'96) Vincent Danos,
Marco Pedicini, Laurent Regnier.
Games
Semantics and Abstract Machines (LICS'96),
Vincent Danos,
Hugo Herbelin,
Laurent Regnier.
Computational isomorphisms in classical logic
(TCS 294, 2003) Vincent Danos, Jean-Baptiste Joinet,
Harold Schellinx.
A new deconstructive logic: Linear Logic
(JSL 62, 1997) Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx.
LKQ and LKT: sequent calculi for second order logic based upon dual
linear decompositions of the classical implication
(London Mathematical Society Lecture Notes, 222, 1995)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx.
On the linear decoration of intuitionistic derivations
(Archive for Mathematical Logic)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx.
Proof-nets and
the Hilbert space (London Mathematical
Society Lecture Notes, 222, 1995) Vincent Danos, Laurent Regnier.
Paths in Lambda-Calculus (LICS'94)
Andrea Asperti, Vincent Danos,
Cosimo Laneve, Laurent Regnier.
Local and Asynchronous Beta Reduction (LICS'93) Vincent Danos, Laurent Regnier.
The structure of exponentials: uncovering the dynamics of linear logic proofs (KGC'93) Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx.