Vincent Danos

Citado por

	Total	Desde 2020
Citas	8781	2111
Índice h	46	23
Índice i10	93	52

500

250

125

375

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202538 51 94 61 80 89 55 60 83 105 139 181 271 346 363 408 375 364 386 426 355 423 428 459 380 475 484 405 355 412 392 61

Acceso público

Ver todo

31 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Jean KrivineCNRS and Université de ParisDirección de correo verificada de irif.fr
Russ HarmerCNRS, LyonDirección de correo verificada de ens-lyon.fr
Walter FontanaProfessor of Systems Biology, Harvard Medical SchoolDirección de correo verificada de hms.harvard.edu
Jérôme FeretChargé de recherche, Inria ParisDirección de correo verificada de inria.fr
Prakash PanangadenProfessor of Computer Science, McGill UniversityDirección de correo verificada de cs.mcgill.ca
Elham KashefiNQCC, CNRS (LIP6) and University of Edinburgh (Informatics)Dirección de correo verificada de inf.ed.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureDirección de correo verificada de di.ens.fr
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghDirección de correo verificada de sms.ed.ac.uk
Vincent SchachterSenior Vice President, Energy ServicesDirección de correo verificada de emotorwerks.com
Cosimo LaneveProfessor of Computer Science, University of BolognaDirección de correo verificada de unibo.it
Andrea Y. WeißeUniversity of EdinburghDirección de correo verificada de ed.ac.uk
Matteo CavaliereUniversity of Modena and Reggio EmiliaDirección de correo verificada de unimore.it
Josée DesharnaisProfessor of Computer Science, Laval universityDirección de correo verificada de ift.ulaval.ca
Sandro StuckiChalmers University of TechnologyDirección de correo verificada de chalmers.se
Fredrik DahlqvistQueen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Tobias HeindelTU BerlinDirección de correo verificada de tu-berlin.de
Glynn WinskelUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Ellie D'HondtVrije Universiteit BrusselDirección de correo verificada de vub.ac.be
Peter SwainUniversity of EdinburghDirección de correo verificada de ed.ac.uk
Diego A OyarzúnUniversity of EdinburghDirección de correo verificada de ed.ac.uk

Seguir

Vincent Danos

Directeur de Recherches CNRS Ecole Normale Supérieure

Dirección de correo verificada de ens.fr - Página principal

financial contracts computational systems biology complex systems probabilistic systems and models


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Formal molecular biology V Danos, C Laneve Theoretical Computer Science 325 (1), 69-110, 2004	638	2004
The structure of multiplicatives V Danos, L Regnier Archive for Mathematical logic 28 (3), 181-203, 1989	574	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	448	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	433	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	310*	1990
Reversible communicating systems V Danos, J Krivine International Conference on Concurrency Theory, 292-307, 2004	293	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	279	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	272	2007
The measurement calculus V Danos, E Kashefi, P Panangaden Journal of the ACM (JACM) 54 (2), 8-es, 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
A new deconstructive logic: Linear logic V Danos, JB Joinet, H Schellinx The Journal of Symbolic Logic 62 (3), 755-807, 1997	249	1997
Determinism in the one-way model V Danos, E Kashefi Physical Review A—Atomic, Molecular, and Optical Physics 74 (5), 052310, 2006	180	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
Proof-nets and the Hilbert space V Danos, L Regnier London Mathematical Society Lecture Note Series, 307-328, 1995	147	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	144	2020
LKQ and LKT V Danos, JB Joinet, H Schellinx Proceedings of the workshop on Advances in linear logic, 211-224, 1995	143	1995
Linear logic and elementary time V Danos, JB Joinet Information and Computation 183 (1), 123-137, 2003	141	2003
Reversible, irreversible and optimal lambda-machines V Danos, L Regnier Theoretical Computer Science 227 (1-2), 79-98, 1999	140	1999
Probabilistic coherence spaces as a model of higher-order probabilistic computation V Danos, T Ehrhard Information and Computation 209 (6), 966-991, 2011	135	2011

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores