Vincent Danos

Cited by

	All	Since 2019
Citations	8641	2462
h-index	45	27
i10-index	94	57

480

240

120

360

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202437 54 93 61 80 92 55 59 82 103 147 187 268 346 361 399 371 367 382 419 350 427 428 449 382 458 480 402 362 420 337

Public access

View all

32 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jean KrivineCNRS and Université de ParisVerified email at irif.fr
Russ HarmerCNRS, LyonVerified email at ens-lyon.fr
Walter FontanaProfessor of Systems Biology, Harvard Medical SchoolVerified email at hms.harvard.edu
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Elham KashefiNQCC, CNRS (LIP6) and University of Edinburgh (Informatics)Verified email at inf.ed.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghVerified email at sms.ed.ac.uk
Vincent SchachterSenior Vice President, Energy ServicesVerified email at emotorwerks.com
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Andrea Y. WeißeUniversity of EdinburghVerified email at ed.ac.uk
Matteo CavaliereUniversity of Modena and Reggio EmiliaVerified email at unimore.it
Josée DesharnaisProfessor of Computer Science, Laval universityVerified email at ift.ulaval.ca
Fredrik DahlqvistQueen Mary University of LondonVerified email at qmul.ac.uk
Sandro StuckiAmazonVerified email at amazon.com
Tobias HeindelTU BerlinVerified email at tu-berlin.de
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Ellie D'HondtVrije Universiteit BrusselVerified email at vub.ac.be
Peter SwainUniversity of EdinburghVerified email at ed.ac.uk
Diego A OyarzúnUniversity of EdinburghVerified email at ed.ac.uk

Vincent Danos

Directeur de Recherches CNRS Ecole Normale Supérieure

Verified email at ens.fr - Homepage

financial contracts computational systems biology complex systems probabilistic systems and models


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal molecular biology V Danos, C Laneve Theoretical Computer Science 325 (1), 69-110, 2004	630	2004
The structure of multiplicatives V Danos, L Regnier Archive for Mathematical logic 28 (3), 181-203, 1989	552	1989
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	442	2007
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	412	2015
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	309*	1990
Reversible communicating systems V Danos, J Krivine International Conference on Concurrency Theory, 292-307, 2004	288	2004
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	277	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	269	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	268	2004
The measurement calculus V Danos, E Kashefi, P Panangaden Journal of the ACM (JACM) 54 (2), 8-es, 2007	264	2007
A new deconstructive logic: Linear logic V Danos, JB Joinet, H Schellinx The Journal of Symbolic Logic 62 (3), 755-807, 1997	256	1997
Determinism in the one-way model V Danos, E Kashefi Physical Review A—Atomic, Molecular, and Optical Physics 74 (5), 052310, 2006	170	2006
Game Semantics & Abstract Machines V Danos, H Herbelin, L Regnier Proceedings of LICS'96 96, 394-405, 1996	167	1996
Probabilistic game semantics V Danos, RS Harmer ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002	148	2002
LKQ and LKT V Danos, JB Joinet, H Schellinx Proceedings of the workshop on Advances in linear logic, 211-224, 1995	148	1995
Linear logic and elementary time V Danos, JB Joinet Information and Computation 183 (1), 123-137, 2003	144	2003
Proof-nets and the Hilbert space V Danos, L Regnier London Mathematical Society Lecture Note Series, 307-328, 1995	143	1995
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	141	2020
Reversible, irreversible and optimal lambda-machines V Danos, L Regnier Theoretical Computer Science 227 (1-2), 79-98, 1999	137	1999
Abstract interpretation of cellular signalling networks V Danos, J Feret, W Fontana, J Krivine International Workshop on Verification, Model Checking, and Abstract …, 2008	129	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors