2009 | ||
---|---|---|
51 | EE | Vincent Danos, Linus J. Schumacher: How liquid is biological signalling? Theor. Comput. Sci. 410(11): 1003-1012 (2009) |
2008 | ||
50 | EE | Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122 |
49 | EE | J. Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Rötteler: Quadratic Form Expansions for Unitaries. TQC 2008: 29-46 |
48 | EE | Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97 |
47 | EE | 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 |
46 | EE | Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang: Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008) |
2007 | ||
45 | EE | Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157 |
44 | EE | Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41 |
43 | EE | Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden: Distributed Measurement-based Quantum Computation. Electr. Notes Theor. Comput. Sci. 170: 73-94 (2007) |
42 | EE | Vincent Danos, Elham Kashefi: Pauli Measurements are Universal. Electr. Notes Theor. Comput. Sci. 170: 95-100 (2007) |
41 | EE | Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling Trees. Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007) |
40 | EE | Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007) |
39 | EE | Vincent Danos, Cosimo Laneve: Preface. Electr. Notes Theor. Comput. Sci. 180(3): 1-2 (2007) |
38 | EE | Vincent Danos, Jean Krivine: Formal Molecular Biology Done in CCS-R. Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007) |
37 | EE | Vincent Danos, Elham Kashefi, Prakash Panangaden: The measurement calculus. J. ACM 54(2): (2007) |
36 | EE | Vincent Danos, Fabien Tarissan: Self-assembling graphs. Natural Computing 6(3): 339-358 (2007) |
2006 | ||
35 | EE | Vincent Danos, Elham Kashefi, Prakash Panangaden: The One Way to Quantum Computation. ICALP (2) 2006: 13-21 |
34 | EE | Vincent Danos, Josee Desharnais, François Laviolette, Prakash Panangaden: Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006) |
33 | EE | 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 | ||
32 | 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 | |
31 | EE | Vincent Danos, Jean Krivine: Transactions in RCCS. CONCUR 2005: 398-412 |
30 | EE | Vincent Danos, Fabien Tarissan: Self Assembling Graphs. IWINAC (1) 2005: 498-507 |
2004 | ||
29 | EE | Vincent Danos, Sylvain Pradalier: Projective Brane Calculus. CMSB 2004: 134-148 |
28 | EE | Vincent Danos, Jean Krivine: Reversible Communicating Systems. CONCUR 2004: 292-307 |
27 | EE | Vincent Danos, Josée Desharnais, Prakash Panangaden: Labelled Markov Processes: Stronger and Faster Approximations. Electr. Notes Theor. Comput. Sci. 87: 157-203 (2004) |
26 | EE | 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) |
25 | EE | Vincent Danos, Cosimo Laneve: Formal molecular biology. Theor. Comput. Sci. 325(1): 69-110 (2004) |
2003 | ||
24 | EE | Marc Chiaverini, Vincent Danos: A Core Modeling Language for the Working Molecular Biologist (Abstract). CMSB 2003: 166 |
23 | EE | Vincent Danos, Cosimo Laneve: Graphs for Core Molecular Biology. CMSB 2003: 34-46 |
22 | EE | Vincent Danos, Josee Desharnais, Prakash Panangaden: Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482 |
21 | EE | Vincent Danos, Cosimo Laneve: Core Formal Molecular Biology. ESOP 2003: 302-318 |
20 | EE | Emmanuel Beffara, Vincent Danos: Disjunctive normal forms and local exceptions. ICFP 2003: 203-211 |
19 | EE | Vincent Danos, Josee Desharnais: Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350 |
18 | EE | Vincent Danos, Jean-Baptiste Joinet: Linear logic and elementary time. Inf. Comput. 183(1): 123-137 (2003) |
17 | Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. Theor. Comput. Sci. 294(3): 353-378 (2003) | |
2002 | ||
16 | EE | Vincent Danos, Russell Harmer: Probabilistic game semantics. ACM Trans. Comput. Log. 3(3): 359-382 (2002) |
2001 | ||
15 | EE | Vincent Danos, Russell Harmer: The Anatomy of Innocence. CSL 2001: 188-202 |
2000 | ||
14 | EE | Vincent Danos, Jean-Louis Krivine: Disjunctive Tautologies as Synchronisation Schemes. CSL 2000: 292-301 |
13 | EE | Vincent Danos, Russell Harmer: Probabilistic Game Semantics. LICS 2000: 204-213 |
1999 | ||
12 | EE | 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 | EE | 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 | EE | Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx: Computational isomorphisms in classical logic. Electr. Notes Theor. Comput. Sci. 3: (1996) |
5 | EE | Vincent Danos, Laurent Regnier: Reversible, Irreversible and Optimal Lambda-machines. Electr. Notes Theor. Comput. Sci. 3: (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 |