Vincent Danos

Geciteerd door

	Alles	Sinds 2020
Citaties	8728	2088
h-index	46	23
i10-index	94	52

500

250

125

375

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 54 93 61 80 92 55 59 82 103 147 187 268 346 361 403 370 366 381 419 351 427 428 449 382 460 486 405 360 414 388 32

Openbare toegang

Alles bekijken

32 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Jean KrivineCNRS and Université de ParisGeverifieerd e-mailadres voor irif.fr
Russ HarmerCNRS, LyonGeverifieerd e-mailadres voor ens-lyon.fr
Walter FontanaProfessor of Systems Biology, Harvard Medical SchoolGeverifieerd e-mailadres voor hms.harvard.edu
Jérôme FeretChargé de recherche, Inria ParisGeverifieerd e-mailadres voor inria.fr
Prakash PanangadenProfessor of Computer Science, McGill UniversityGeverifieerd e-mailadres voor cs.mcgill.ca
Elham KashefiNQCC, CNRS (LIP6) and University of Edinburgh (Informatics)Geverifieerd e-mailadres voor inf.ed.ac.uk
Ilias GarnierPostdoc, École Normale SupérieureGeverifieerd e-mailadres voor di.ens.fr
Ricardo Honorato-ZimmerSchool of Informatics, University of EdinburghGeverifieerd e-mailadres voor sms.ed.ac.uk
Vincent SchachterSenior Vice President, Energy ServicesGeverifieerd e-mailadres voor emotorwerks.com
Cosimo LaneveProfessor of Computer Science, University of BolognaGeverifieerd e-mailadres voor unibo.it
Andrea Y. WeißeUniversity of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
Matteo CavaliereUniversity of Modena and Reggio EmiliaGeverifieerd e-mailadres voor unimore.it
Josée DesharnaisProfessor of Computer Science, Laval universityGeverifieerd e-mailadres voor ift.ulaval.ca
Fredrik DahlqvistQueen Mary University of LondonGeverifieerd e-mailadres voor qmul.ac.uk
Sandro StuckiChalmers University of TechnologyGeverifieerd e-mailadres voor chalmers.se
Tobias HeindelTU BerlinGeverifieerd e-mailadres voor tu-berlin.de
Ellie D'HondtVrije Universiteit BrusselGeverifieerd e-mailadres voor vub.ac.be
Glynn WinskelUniversity of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
Peter SwainUniversity of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
Diego A OyarzúnUniversity of EdinburghGeverifieerd e-mailadres voor ed.ac.uk

Volgen

Vincent Danos

Directeur de Recherches CNRS Ecole Normale Supérieure

Geverifieerd e-mailadres voor ens.fr - Homepage

financial contracts computational systems biology complex systems probabilistic systems and models


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Formal molecular biology V Danos, C Laneve Theoretical Computer Science 325 (1), 69-110, 2004	632	2004
The structure of multiplicatives V Danos, L Regnier Archive for Mathematical logic 28 (3), 181-203, 1989	559	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	426	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	297	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
The measurement calculus V Danos, E Kashefi, P Panangaden Journal of the ACM (JACM) 54 (2), 8-es, 2007	268	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	256	1997
Determinism in the one-way model V Danos, E Kashefi Physical Review A—Atomic, Molecular, and Optical Physics 74 (5), 052310, 2006	175	2006
Game Semantics & Abstract Machines V Danos, H Herbelin, L Regnier Proceedings of LICS'96 96, 394-405, 1996	167	1996
LKQ and LKT V Danos, JB Joinet, H Schellinx Proceedings of the workshop on Advances in linear logic, 211-224, 1995	149	1995
Probabilistic game semantics V Danos, RS Harmer ACM Transactions on Computational Logic (TOCL) 3 (3), 359-382, 2002	148	2002
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	147	2020
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	144	1995
Reversible, irreversible and optimal lambda-machines V Danos, L Regnier Theoretical Computer Science 227 (1-2), 79-98, 1999	137	1999
Probabilistic coherence spaces as a model of higher-order probabilistic computation V Danos, T Ehrhard Information and Computation 209 (6), 966-991, 2011	132	2011

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs