| Formal molecular biology V Danos, C Laneve Theoretical Computer Science 325 (1), 69-110, 2004 | 649 | 2004 |
| The structure of multiplicatives V Danos, L Regnier Archive for Mathematical logic 28 (3), 181-203, 1989 | 580 | 1989 |
| Mechanistic links between cellular trade-offs, gene expression, and growth AY Weiße, DA Oyarzún, V Danos, PS Swain Proceedings of the National Academy of Sciences 112 (9), E1038-E1047, 2015 | 479 | 2015 |
| Rule-based modelling of cellular signalling V Danos, J Feret, W Fontana, R Harmer, J Krivine CONCUR 2007 - Concurrency Theory, 18th International Conference, 17-41, 2007 | 463 | 2007 |
| Reversible communicating systems V Danos, J Krivine International Conference on Concurrency Theory, 292-307, 2004 | 325 | 2004 |
| Une Application de la Logique Linéaire a l’Etude des Processus de Normalisation (principalement du λ-calcul) V Danos These de Doctorat, Université Paris 7, 1990 | 316* | 1990 |
| The measurement calculus V Danos, E Kashefi, P Panangaden Journal of the ACM (JACM) 54 (2), 8-es, 2007 | 293 | 2007 |
| Internal coarse-graining of molecular systems J Feret, V Danos, J Krivine, R Harmer, W Fontana Proceedings of the National Academy of Sciences 106 (16), 6453-6458, 2009 | 291 | 2009 |
| Scalable simulation of cellular signaling networks V Danos, J Feret, W Fontana, J Krivine Asian Symposium on Programming Languages and Systems, 139-157, 2007 | 276 | 2007 |
| Modeling and querying biomolecular interaction networks N Chabrier-Rivier, M Chiaverini, V Danos, F Fages, V Schächter Theoretical Computer Science 325 (1), 25-44, 2004 | 274 | 2004 |
| A new deconstructive logic: Linear logic V Danos, JB Joinet, H Schellinx The Journal of Symbolic Logic 62 (3), 755-807, 1997 | 261 | 1997 |
| Determinism in the one-way model V Danos, E Kashefi Physical Review A—Atomic, Molecular, and Optical Physics 74 (5), 052310, 2006 | 193 | 2006 |
| The Born supremacy: Quantum advantage and training of an Ising Born machine B Coyle, D Mills, V Danos, E Kashefi npj Quantum Information 6 (60), 2020 | 179 | 2020 |
| Game Semantics & Abstract Machines V Danos, H Herbelin, L Regnier Proceedings of LICS'96 96, 394-405, 1996 | 171 | 1996 |
| Probabilistic game semantics V Danos, RS Harmer ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002 | 153 | 2002 |
| Proof-nets and the Hilbert space V Danos, L Regnier London Mathematical Society Lecture Note Series, 307-328, 1995 | 148 | 1995 |
| LKQ and LKT V Danos, JB Joinet, H Schellinx Proceedings of the workshop on Advances in linear logic, 211-224, 1995 | 147 | 1995 |
| Linear logic and elementary time V Danos, JB Joinet Information and Computation 183 (1), 123-137, 2003 | 143 | 2003 |
| Reversible, irreversible and optimal lambda-machines V Danos, L Regnier Theoretical Computer Science 227 (1-2), 79-98, 1999 | 143 | 1999 |
| The structure of exponentials: Uncovering the dynamics of linear logic proofs V Danos, JB Joinet, H Schellinx Kurt Gödel Colloquium on Computational Logic and Proof Theory, 159-171, 1993 | 142 | 1993 |
Jean KrivineCNRS and Université de ParisVerified email at irif.fr
