Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Vincent Danos
2010 – today
- 2013
[j30]Vincent Danos, Russell Harmer, Glynn Winskel: Constraining rule-based dynamics with types. Mathematical Structures in Computer Science 23(2): 272-289 (2013)- [j29]Vincent Danos, Nicolas Oury: Equilibrium and termination II: the case of Petri nets. Mathematical Structures in Computer Science 23(2): 290-307 (2013)
- [c37]Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer: Thermodynamic Graph-Rewriting. CONCUR 2013: 380-394
- 2012
- [c36]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
- 2011
- [j28]Vincent Danos, Thomas Ehrhard: Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. 209(6): 966-991 (2011)
- [c35]Giorgio Bacci, Vincent Danos, Ohad Kammar: On the Statistical Thermodynamics of Reversible Communicating Processes. CALCO 2011: 1-18
- [c34]
- 2010
- [c33]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
- [c32]
2000 – 2009
- 2009
- [j27]Vincent Danos: Agile Modelling of Cellular Signalling (Invited Paper). Electr. Notes Theor. Comput. Sci. 229(4): 3-10 (2009)
- [j26]Vincent Danos, Linus J. Schumacher: How liquid is biological signalling? Theor. Comput. Sci. 410(11): 1003-1012 (2009)
- [j25]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)
- [c31]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Labelled Markov Processes Again! CALCO 2009: 145-156
- [c30]Jean Krivine, Vincent Danos, Arndt Benecke: Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV 2009: 17-32
- [c29]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Markov Processes by Averaging. ICALP (2) 2009: 127-138
- [e2]S. Barry Cooper, Vincent Danos (Eds.): Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature. EPTCS 9, 2009
- 2008
- [j24]Vincent Danos, Mariangiola Dezani-Ciancaglini: Preface. Electr. Notes Theor. Comput. Sci. 192(3): 1-2 (2008)
- [j23]Vincent Danos, Ellie D'Hondt: Classical Knowledge for Quantum Cryptographic Reasoning. Electr. Notes Theor. Comput. Sci. 192(3): 39-58 (2008)
- [j22]Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang: Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008)
- [c28]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122
- [c27]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
- [c26]J. Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Rötteler: Quadratic Form Expansions for Unitaries. TQC 2008: 29-46
- [c25]Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97
- 2007
- [j21]Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden: Distributed Measurement-based Quantum Computation. Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007)
- [j20]Vincent Danos, Elham Kashefi: Pauli Measurements are Universal. Electr. Notes Theor. Comput. Sci. 170: 95-100 (2007)
- [j19]Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling Trees. Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007)
- [j18]Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)
- [j17]
- [j16]Vincent Danos, Jean Krivine: Formal Molecular Biology Done in CCS-R. Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007)
- [j15]
- [j14]
- [c24]Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157
- [c23]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41
- 2006
- [j13]Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)
- [j12]Pierre-Yves Bourguignon, Vincent Danos, François Képès, Serge Smidtas, Vincent Schächter: Property-Driven Statistics of Biological Networks. : 1-15 (2006)
- [c22]Vincent Danos, Elham Kashefi, Prakash Panangaden: The One Way to Quantum Computation. ICALP (2) 2006: 13-21
- 2005
- [c21]
- [c20]
- [e1]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
- 2004
- [j11]Vincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004)
- [j10]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)
- [j9]
- [c19]
- [c18]
- 2003
- [j8]Vincent Danos, Jean-Baptiste Joinet: Linear logic and elementary time. Inf. Comput. 183(1): 123-137 (2003)
- [j7]Emmanuel Beffara, Vincent Danos: Disjunctive normal forms and local exceptions. SIGPLAN Notices 38(9): 203-211 (2003)
- [j6]Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. Theor. Comput. Sci. 294(3): 353-378 (2003)
- [c17]
- [c16]Marc Chiaverini, Vincent Danos: A Core Modeling Language for the Working Molecular Biologist (Abstract). CMSB 2003: 166
- [c15]Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482
- [c14]
- [c13]
- [c12]Vincent Danos, Josee Desharnais: Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350
- 2002
- [j5]Vincent Danos, Russell Harmer: Probabilistic game semantics. ACM Trans. Comput. Log. 3(3): 359-382 (2002)
- 2001
- [c11]
- 2000
- [c10]Vincent Danos, Jean-Louis Krivine: Disjunctive Tautologies as Synchronisation Schemes. CSL 2000: 292-301
- [c9]
1990 – 1999
- 1999
- [j4]Vincent Danos, Laurent Regnier: Reversible, Irreversible and Optimal lambda-Machines. Theor. Comput. Sci. 227(1-2): 79-97 (1999)
- 1997
- [j3]Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: A New Deconstructive Logic: Linear Logic. J. Symb. Log. 62(3): 755-807 (1997)
- [c8]
- [c7]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
- 1996
- [j2]Vincent Danos, Laurent Regnier: Reversible, Irreversible and Optimal Lambda-machines. Electr. Notes Theor. Comput. Sci. 3: 40-60 (1996)
- [j1]Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. Electr. Notes Theor. Comput. Sci. 3: 183-195 (1996)
- [c6]
- [c5]Vincent Danos, Hugo Herbelin, Laurent Regnier: Game Semantics & Abstract Machines. LICS 1996: 394-405
- 1994
- [c4]
- [c3]Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier: Paths in the lambda-calculus. LICS 1994: 426-436
- 1993
- [c2]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
- [c1]Vincent Danos, Laurent Regnier: Local and asynchronous beta-reduction (an analysis of Girard's execution formula). LICS 1993: 296-306
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team