Vincent Danos

Vincent Danos, Russell Harmer, Glynn Winskel: Constraining rule-based dynamics with types. Mathematical Structures in Computer Science 23(2): 272-289 (2013)

Vincent Danos, Nicolas Oury: Equilibrium and termination II: the case of Petri nets. Mathematical Structures in Computer Science 23(2): 290-307 (2013)

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel: Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS 2012: 276-288

Vincent Danos, Thomas Ehrhard: Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. 209(6): 966-991 (2011)

Giorgio Bacci, Vincent Danos, Ohad Kammar: On the Statistical Thermodynamics of Reversible Communicating Processes. CALCO 2011: 1-18

Vincent Danos, Heinz Koeppl, John Wilson-Kanamori: Cooperative Assembly Systems. DNA 2011: 1-20

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. LICS 2010: 362-381

Vincent Danos, Nicolas Oury: Equilibrium and Termination. DCM 2010: 75-84

Vincent Danos: Agile Modelling of Cellular Signalling (Invited Paper). Electr. Notes Theor. Comput. Sci. 229(4): 3-10 (2009)

Vincent Danos, Linus J. Schumacher: How liquid is biological signalling? Theor. Comput. Sci. 410(11): 1003-1012 (2009)

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)

Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Labelled Markov Processes Again! CALCO 2009: 145-156

Jean Krivine, Vincent Danos, Arndt Benecke: Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV 2009: 17-32

Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Markov Processes by Averaging. ICALP (2) 2009: 127-138

S. Barry Cooper, Vincent Danos (Eds.): Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature. EPTCS 9, 2009

Vincent Danos, Mariangiola Dezani-Ciancaglini: Preface. Electr. Notes Theor. Comput. Sci. 192(3): 1-2 (2008)

Vincent Danos, Ellie D'Hondt: Classical Knowledge for Quantum Cryptographic Reasoning. Electr. Notes Theor. Comput. Sci. 192(3): 39-58 (2008)

Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang: Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008)

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122

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

J. Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Rötteler: Quadratic Form Expansions for Unitaries. TQC 2008: 29-46

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97

Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden: Distributed Measurement-based Quantum Computation. Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007)

Vincent Danos, Elham Kashefi: Pauli Measurements are Universal. Electr. Notes Theor. Comput. Sci. 170: 95-100 (2007)

Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling Trees. Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007)

Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)

Vincent Danos, Cosimo Laneve: Preface. Electr. Notes Theor. Comput. Sci. 180(3): 1-2 (2007)

Vincent Danos, Jean Krivine: Formal Molecular Biology Done in CCS-R. Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007)

Vincent Danos, Elham Kashefi, Prakash Panangaden: The measurement calculus. J. ACM 54(2) (2007)

Vincent Danos, Fabien Tarissan: Self-assembling graphs. Natural Computing 6(3): 339-358 (2007)

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41

Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)

Pierre-Yves Bourguignon, Vincent Danos, François Képès, Serge Smidtas, Vincent Schächter: Property-Driven Statistics of Biological Networks. : 1-15 (2006)

Vincent Danos, Elham Kashefi, Prakash Panangaden: The One Way to Quantum Computation. ICALP (2) 2006: 13-21

Vincent Danos, Jean Krivine: Transactions in RCCS. CONCUR 2005: 398-412

Vincent Danos, Fabien Tarissan: Self Assembling Graphs. IWINAC (1) 2005: 498-507

Vincent Danos, Vincent Schächter (Eds.): Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3082, Springer 2005, isbn 3-540-25375-0

Vincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004)

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)

Vincent Danos, Cosimo Laneve: Formal molecular biology. Theor. Comput. Sci. 325(1): 69-110 (2004)

Vincent Danos, Sylvain Pradalier: Projective Brane Calculus. CMSB 2004: 134-148

Vincent Danos, Jean Krivine: Reversible Communicating Systems. CONCUR 2004: 292-307

Vincent Danos, Jean-Baptiste Joinet: Linear logic and elementary time. Inf. Comput. 183(1): 123-137 (2003)

Emmanuel Beffara, Vincent Danos: Disjunctive normal forms and local exceptions. SIGPLAN Notices 38(9): 203-211 (2003)

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. Theor. Comput. Sci. 294(3): 353-378 (2003)

Vincent Danos, Cosimo Laneve: Graphs for Core Molecular Biology. CMSB 2003: 34-46

Marc Chiaverini, Vincent Danos: A Core Modeling Language for the Working Molecular Biologist (Abstract). CMSB 2003: 166

Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482

Vincent Danos, Cosimo Laneve: Core Formal Molecular Biology. ESOP 2003: 302-318

Emmanuel Beffara, Vincent Danos: Disjunctive normal forms and local exceptions. ICFP 2003: 203-211

Vincent Danos, Josee Desharnais: Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350

Vincent Danos, Russell Harmer: Probabilistic game semantics. ACM Trans. Comput. Log. 3(3): 359-382 (2002)

Vincent Danos, Russell Harmer: The Anatomy of Innocence. CSL 2001: 188-202

Vincent Danos, Jean-Louis Krivine: Disjunctive Tautologies as Synchronisation Schemes. CSL 2000: 292-301

Vincent Danos, Russell Harmer: Probabilistic Game Semantics. LICS 2000: 204-213

Vincent Danos, Laurent Regnier: Reversible, Irreversible and Optimal lambda-Machines. Theor. Comput. Sci. 227(1-2): 79-97 (1999)

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: A New Deconstructive Logic: Linear Logic. J. Symb. Log. 62(3): 755-807 (1997)

Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier: Timeless Games. CSL 1997: 56-77

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

Vincent Danos, Laurent Regnier: Reversible, Irreversible and Optimal Lambda-machines. Electr. Notes Theor. Comput. Sci. 3: 40-60 (1996)

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. Electr. Notes Theor. Comput. Sci. 3: 183-195 (1996)

Vincent Danos, Marco Pedicini, Laurent Regnier: Directed Virtual Reductions. CSL 1996: 76-88

Vincent Danos, Hugo Herbelin, Laurent Regnier: Game Semantics & Abstract Machines. LICS 1996: 394-405

Vincent Danos: Une logique à grain fain: la logique linéaire. JFPLC 1994: 311-

Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier: Paths in the lambda-calculus. LICS 1994: 426-436

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

Vincent Danos, Laurent Regnier: Local and asynchronous beta-reduction (an analysis of Girard's execution formula). LICS 1993: 296-306