Vincent Danos

Cited by

	All	Since 2018
Citations	8115	2387
h-index	43	26
i10-index	89	54

480

240

120

360

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202321 36 46 92 65 76 90 57 56 83 104 143 184 263 337 360 393 370 368 370 432 354 423 417 452 385 464 467 385 377 304

Public access

View all

29 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
Matteo CavaliereVerified email at mmu.ac.uk
Josée DesharnaisProfessor of Computer Science, Laval universityVerified email at ift.ulaval.ca
Sandro StuckiAmazonVerified email at amazon.com
Fredrik DahlqvistQueen Mary University of LondonVerified email at qmul.ac.uk
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 Edinburgh, Alan Turing InstituteVerified 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	619	2004
The structure of multiplicatives V Danos, L Regnier Archive for Mathematical logic 28 (3), 181-203, 1989	534	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	424	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	374	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	302*	1990
Reversible communicating systems V Danos, J Krivine International Conference on Concurrency Theory, 292-307, 2004	266	2004
Scalable simulation of cellular signaling networks V Danos, J Feret, W Fontana, J Krivine Asian Symposium on Programming Languages and Systems, 139-157, 2007	262*	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	262	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	257	2009
A new deconstructive logic: Linear logic V Danos, JB Joinet, H Schellinx The Journal of Symbolic Logic 62 (3), 755-807, 1997	235	1997
The measurement calculus V Danos, E Kashefi, P Panangaden Journal of the ACM (JACM) 54 (2), 8-es, 2007	232	2007
Game Semantics & Abstract Machines V Danos, H Herbelin, L Regnier Proceedings of LICS'96 96, 394-405, 1996	165	1996
Determinism in the one-way model V Danos, E Kashefi Physical Review A 74 (5), 052310, 2006	151	2006
Proof-nets and the Hilbert space V Danos, L Regnier London Mathematical Society Lecture Note Series, 307-328, 1995	145	1995
Probabilistic game semantics V Danos, RS Harmer ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002	142	2002
Linear logic and elementary time V Danos, JB Joinet Information and Computation 183 (1), 123-137, 2003	140	2003
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	140	1995
Reversible, irreversible and optimal lambda-machines V Danos, L Regnier Theoretical Computer Science 227 (1-2), 79-98, 1999	131	1999
Abstract interpretation of cellular signalling networks V Danos, J Feret, W Fontana, J Krivine International Workshop on Verification, Model Checking, and Abstract …, 2008	126	2008
Formal molecular biology done in CCS-R V Danos, J Krivine Electronic Notes in Theoretical Computer Science 180 (3), 31-49, 2007	124	2007

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