Vincent Danos

Cited by

	All	Since 2018
Citations	7889	2156
h-index	43	25
i10-index	87	48

480

240

120

360

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202336 47 90 59 73 92 57 56 85 105 133 198 268 336 359 397 365 363 364 436 361 418 416 472 384 463 476 393 365 71

Public access

View all

28 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
Elham KashefiCNRS (LIP6) and University of Edinburgh (Informatics)Verified email at inf.ed.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghVerified email at sms.ed.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureVerified email at di.ens.fr
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
Josée DesharnaisProfessor of Computer Science, Laval universityVerified email at ift.ulaval.ca
Matteo CavaliereMMUVerified email at mmu.ac.uk
Sandro StuckiAmazonVerified email at chalmers.se
Tobias HeindelTU BerlinVerified email at tu-berlin.de
Fredrik DahlqvistQueen Mary University of LondonVerified email at qmul.ac.uk
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Peter SwainUniversity of EdinburghVerified email at ed.ac.uk
Diego A OyarzúnUniversity of Edinburgh, Alan Turing InstituteVerified email at ed.ac.uk
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.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	612	2004
The structure of multiplicatives V Danos, L Regnier Archive for Mathematical logic 28 (3), 181-203, 1989	527	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	423	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	353	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	304*	1990
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	261	2004
Scalable simulation of cellular signaling networks V Danos, J Feret, W Fontana, J Krivine Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007	257	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	252	2009
Reversible communicating systems V Danos, J Krivine CONCUR 3170, 292-307, 2004	252	2004
The measurement calculus V Danos, E Kashefi, P Panangaden Journal of the ACM (JACM) 54 (2), 8-es, 2007	230	2007
A new deconstructive logic: Linear logic V Danos, JB Joinet, H Schellinx The Journal of Symbolic Logic 62 (3), 755-807, 1997	228	1997
Game Semantics & Abstract Machines V Danos, H Herbelin, L Regnier Proceedings of LICS'96 96, 394-405, 1996	161	1996
Proof-nets and the Hilbert space V Danos, L Regnier London Mathematical Society Lecture Note Series, 307-328, 1995	146	1995
Determinism in the one-way model V Danos, E Kashefi Physical Review A 74 (5), 052310, 2006	142	2006
Linear logic and elementary time V Danos, JB Joinet Information and Computation 183 (1), 123-137, 2003	140	2003
Probabilistic game semantics V Danos, RS Harmer ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002	140	2002
LKQ and LKT: sequent calculi for second order logic based upon dual linear decompositions of classical implication V Danos, JB Joinet, H Schellinx Advances in Linear Logic 222, 211-224, 1995	135	1995
Reversible, irreversible and optimal lambda-machines V Danos, L Regnier Theoretical Computer Science 227 (1-2), 79-98, 1999	129	1999
Formal molecular biology done in CCS-R V Danos, J Krivine Electronic Notes in Theoretical Computer Science 180 (3), 31-49, 2007	124	2007
Abstract interpretation of cellular signalling networks V Danos, J Feret, W Fontana, J Krivine Verification, Model Checking, and Abstract Interpretation: 9th International …, 2008	119	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