Vincent Danos

	2011
64		Giorgio Bacci, Vincent Danos, Ohad Kammar: On the Statistical Thermodynamics of Reversible Communicating Processes. CALCO 2011: 1-18
63		Vincent Danos, Heinz Koeppl, John Wilson-Kanamori: Cooperative Assembly Systems. DNA 2011: 1-20
	2010
62		Vincent Danos, Nicolas Oury: Equilibrium and Termination DCM 2010: 75-84
61		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
	2009
60		S. Barry Cooper, Vincent Danos: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature DCM 2009
59		Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Labelled Markov Processes Again! CALCO 2009: 145-156
58		Jean Krivine, Vincent Danos, Arndt Benecke: Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV 2009: 17-32
57		Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin: Approximating Markov Processes by Averaging. ICALP (2) 2009: 127-138
56		Vincent Danos: Agile Modelling of Cellular Signalling (Invited Paper). Electr. Notes Theor. Comput. Sci. 229(4): 3-10 (2009)
55		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)
54		Vincent Danos, Linus J. Schumacher: How liquid is biological signalling? Theor. Comput. Sci. 410(11): 1003-1012 (2009)
	2008
53		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122
52		J. Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Rötteler: Quadratic Form Expansions for Unitaries. TQC 2008: 29-46
51		Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97
50		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
49		Vincent Danos, Mariangiola Dezani-Ciancaglini: Preface. Electr. Notes Theor. Comput. Sci. 192(3): 1-2 (2008)
48		Vincent Danos, Ellie D'Hondt: Classical Knowledge for Quantum Cryptographic Reasoning. Electr. Notes Theor. Comput. Sci. 192(3): 39-58 (2008)
47		Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang: Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008)
	2007
46		Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157
45		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41
44		Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden: Distributed Measurement-based Quantum Computation. Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007)
43		Vincent Danos, Elham Kashefi: Pauli Measurements are Universal. Electr. Notes Theor. Comput. Sci. 170: 95-100 (2007)
42		Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling Trees. Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007)
41		Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)
40		Vincent Danos, Cosimo Laneve: Preface. Electr. Notes Theor. Comput. Sci. 180(3): 1-2 (2007)
39		Vincent Danos, Jean Krivine: Formal Molecular Biology Done in CCS-R. Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007)
38		Vincent Danos, Elham Kashefi, Prakash Panangaden: The measurement calculus. J. ACM 54(2): (2007)
37		Vincent Danos, Fabien Tarissan: Self-assembling graphs. Natural Computing 6(3): 339-358 (2007)
	2006
36		Vincent Danos, Elham Kashefi, Prakash Panangaden: The One Way to Quantum Computation. ICALP (2) 2006: 13-21
35		Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006)
34		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
33		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
32		Vincent Danos, Jean Krivine: Transactions in RCCS. CONCUR 2005: 398-412
31		Vincent Danos, Fabien Tarissan: Self Assembling Graphs. IWINAC (1) 2005: 498-507
	2004
30		Vincent Danos, Sylvain Pradalier: Projective Brane Calculus. CMSB 2004: 134-148
29		Vincent Danos, Jean Krivine: Reversible Communicating Systems. CONCUR 2004: 292-307
28		Vincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004)
27		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)
26		Vincent Danos, Cosimo Laneve: Formal molecular biology. Theor. Comput. Sci. 325(1): 69-110 (2004)
	2003
25		Marc Chiaverini, Vincent Danos: A Core Modeling Language for the Working Molecular Biologist (Abstract). CMSB 2003: 166
24		Vincent Danos, Cosimo Laneve: Graphs for Core Molecular Biology. CMSB 2003: 34-46
23		Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482
22		Vincent Danos, Cosimo Laneve: Core Formal Molecular Biology. ESOP 2003: 302-318
21		Emmanuel Beffara, Vincent Danos: Disjunctive normal forms and local exceptions. ICFP 2003: 203-211
20		Vincent Danos, Josee Desharnais: Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350
19		Vincent Danos, Jean-Baptiste Joinet: Linear logic and elementary time. Inf. Comput. 183(1): 123-137 (2003)
18		Emmanuel Beffara, Vincent Danos: Disjunctive normal forms and local exceptions. SIGPLAN Notices 38(9): 203-211 (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: 183-195 (1996)
5		Vincent Danos, Laurent Regnier: Reversible, Irreversible and Optimal Lambda-machines. Electr. Notes Theor. Comput. Sci. 3: 40-60 (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

Coauthor Index

1	Andrea Asperti	[3]
2	Giorgio Bacci	[64]
3	Patrick Baillot	[10] [11]
4	J. Niel de Beaudrap	[52]
5	Emmanuel Beffara	[18] [21]
6	Arndt Benecke	[58]
7	Pierre-Yves Bourguignon	[34]
8	Nathalie Chabrier-Rivier	[27]
9	Philippe Chaput	[57] [59]
10	Marc Chiaverini	[25] [27]
11	S. Barry Cooper	[60]
12	Pierre-Louis Curien	[47]
13	Ellie D'Hondt	[44] [48]
14	Josée Desharnais (Josee Desharnais)	[20] [23] [28] [35]
15	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[49]
16	Thomas Ehrhard	[10] [11]
17	François Fages	[27]
18	Jérôme Feret	[45] [46] [50] [51] [53] [55] [61]
19	Walter Fontana	[45] [46] [50] [51] [53] [55] [61]
20	Russell Harmer	[13] [15] [16] [45] [50] [53] [55] [61]
21	Hugo Herbelin	[7]
22	Jean-Baptiste Joinet	[2] [6] [9] [17] [19]
23	Ohad Kammar	[64]
24	Elham Kashefi	[36] [38] [43] [44] [52]
25	François Képès	[34]
26	Heinz Koeppl	[63]
27	Jean Krivine	[29] [32] [39] [41] [42] [45] [46] [47] [50] [51] [53] [55] [58] [61]
28	Jean-Louis Krivine	[14]
29	Cosimo Laneve	[3] [22] [24] [26] [40]
30	François Laviolette	[35]
31	Nicolas Oury	[62]
32	Prakash Panangaden	[23] [28] [35] [36] [38] [44] [57] [59]
33	Marco Pedicini	[8]
34	Gordon D. Plotkin	[57] [59]
35	Sylvain Pradalier	[30]
36	Laurent Regnier	[1] [3] [5] [7] [8] [10] [11] [12]
37	Martin Rötteler (Martin Roetteler)	[52]
38	Vincent Schächter	[27] [33] [34]
39	Harold Schellinx	[2] [6] [9] [17]
40	Linus J. Schumacher	[54]
41	Serge Smidtas	[34]
42	Pawel Sobocinski	[41]
43	Fabien Tarissan	[31] [37] [42]
44	John Wilson-Kanamori	[63]
45	Min Zhang	[47]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page