Last revised 06.10.12
Vincent Danos
Directeur de Recherches CNRS, Université Paris-Diderot
Équipe Preuves, Programmes, Systèmes
tel: +33 1 4427 9930, fax: +33 1 4427 8654
Currently Chair of Computational Systems Biology at the School of Informatics, and Director of SynthSys (Centre for Synthetic and Systems Biology), University of Edinburgh.

Editorial Boards

Transactions on Computational Systems Biology
Logical Methods in Computer Science
International Journal of Software and Informatics
Mathematical Structures in Computer Science

Papers

Approximations for stochastic graph rewriting (ICFEM, 2014) Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
-
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models (FSTTCS, 2012) Vincent Danos, Jrrome Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh, Glynn Winskel
Rigid geometric constraints for Kappa models (SASB, 2012, Workshop of Static Analysis and Systems Biology) Vincent Danos, Ricardo Honorato-Zimmer, Sebastian Jaramillo-Riveri, Sandro Stucki
Coarse-graining the Dynamics of Ideal Branched Polymers (SASB, 2012, Workshop of Static Analysis and Systems Biology) Vincent Danos, Ricardo Honorato, Sebastian Jaramillo, Sandro Stucki
Combinatorial complexity and compositional drift in protein interaction networks (PloS one, e32032, 2012) Eric Deeds, Jean Krivine, Jerome Feret, Vincent Danos, Walter Fontana
-
Cooperative Assembly Systems (DNA 17, 2011, invited paper) Vincent Danos, Heinz Koeppl, John Wilson-Kanamori
On the statistical thermodynamics of communicating processes (CALCO'11, invited paper) Giorgio Bacci, Vincent Danos, Ohad Kammar
Energy and Termination II: the case of Petri nets (MSCS 2011, to appear) Vincent Danos, Nicolas Oury
Probabilistic coherence spaces as a model of higher-order probabilistic computation (Information and Computation 209 (6), 966-991, 2011) Vincent Danos, Thomas Ehrhard
-
Energy and Termination (DCM'10, revised and extended 2011 version) Vincent Danos, Nicolas Oury
Intrinsic Information carriers in combinatorial dynamical systems (Chaos 20, 037108, 2010) Russell Harmer, Vincent Danos, Jerome Feret, Jean Krivine, Walter Fontana
Abstracting the differential semantics of rule-based models (LICS'10, invited paper) Vincent Danos, Jerome Feret, Walter Fontana, Russel Harmer, Jean Krivine
-
Rule-based modeling for protein-protein interaction networks - the cyanobacterial circadian clock as a case study (WCSB'09) Heinz Koeppl, Marc Hafner, Vincent Danos
A Statistical Analysis of Receptor Clustering using Random Graphs (WCSB'09) Heinz Koeppl, Linus Schumacher, Vincent Danos
Extended Measurement Calculus (Chapter 5 of Semantic Techniques for Quantum Computation, CUP, 2009) Vincent Danos, Elham Kashefi, Prakash Panangaden, Simon Perdrix
Approximating Markov Processes by Averaging (ICALP'09) Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon Plotkin
Rule-based modelling and model refinement (Chapter 4 of Elements of Computational Systems Biology, Wiley, 2009) Elaine Murphy, Vincent Danos, Jerome Feret, Russ Harmer, Jean Krivine
Internal coarse-graining of molecular systems (PNAS 106, 6453-6458, 2009) Jerome Feret, Vincent Danos, Jean Krivine, Russel Harmer, Walter Fontana
Rule-based modelling and model perturbation (TCSB XI, 116-137, 2009) Vincent Danos, Jerome Feret, Walter Fontana, Russ Harmer, Jean Krivine
Modelling epigenetic information maintenance: a Kappa tutorial (CAV'09, invited tutorial, revised version) Jean Krivine, Vincent Danos, Arndt Benecke
How liquid is biological signalling? (TCS 410(11), 1003-1012, 2009) Vincent Danos, Linus Schumacher
-
Agile modelling of cellular signalling (ICCMSE'07, SOS'08 invited paper, revised version) Vincent Danos
Rule-based modelling, symmetries, refinements (FMSB'08) Vincent Danos, Jerome Feret, Walter Fontana, Russell Harmer, Jean Krivine
Quadratic Form Expansions for Unitaries (TQC'08) Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Roetteler
Abstract Interpretation of cellular signalling networks (VMCAI'08) Vincent Danos, Jerome Feret, Walter Fontana, Jean Krivine
-
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 (TCS 404 (1-2), 2008) 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.