Vincent Danos - Concepedia

Author

Vincent Danos

Centre National de la Recherche Scientifique

Also Known As

Bortolussi, Luca, Danos, Vincent, V. Danos, VINCENT DANOS, Vincent Danos, Vincent Danos (179565)

200

Publications

8.3K

Citations

H-Index

113

Concepts

All Affiliations

Centre National de la Recherche Scientifique Université Paris Cité University of Edinburgh École Normale Supérieure - PSL Institut national de recherche en sciences et technologies du numérique

About

Vincent Danos is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	21	30	1.8K
2	Business	4	4	235
3	Language Studies	3	3	239
4	Education	2	2	219
5	Arts	1	1	45

Vincent Danos

Publications

4.5K

Citations

H-Index

Page 1

	Year	Citations
Formal molecular biology Vincent Danos, Cosimo Laneve Theoretical Computer Science Computational BiologyFormal Molecular BiologyMolecular BiologyBiological ComputingBiological Computation	2004	493
Mechanistic links between cellular trade-offs, gene expression, and growth Andrea Y. Weiße, Diego A. Oyarzún, Vincent Danos, Proceedings of the National Academy of Sciences BiologyMetabolic NetworkMetabolic PathwaysSystems BiologyCell Specialization	2015	443
The structure of multiplicatives Vincent Danos, Laurent Régnier Archive for Mathematical Logic Mathematical StructureAbstract AlgebraAlgebraic Structure	1989	344
Rule-Based Modelling of Cellular Signalling Vincent Danos, Jérôme Ferêt, Walter Fontana, Lecture notes in computer science Signal TransductionMulticellular SystemRegulatory Network ModellingBiological ModelCellular Biochemistry	2007	280
Internal coarse-graining of molecular systems Jérôme Ferêt, Vincent Danos, Jean Krivine, Proceedings of the National Academy of Sciences EngineeringMolecular BiologyProtein StatesComputational ChemistryComplex Formation	2009	221
The measurement calculus Vincent Danos, Elham Kashefi, Prakash Panangaden Journal of the ACM Measurement TheoryEngineeringMeasurementEducationFoundational Calculus	2007	184
Modeling and querying biomolecular interaction networks Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, Theoretical Computer Science EngineeringInteractomicsBiological NetworkComputational BiologyMolecular Biology	2004	170
The Born supremacy: quantum advantage and training of an Ising Born machine Brian Coyle, Daniel Mills, Vincent Danos, npj Quantum Information	2020	144
A new deconstructive logic: linear logic Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx Journal of Symbolic Logic EngineeringClassical LogicHigher-order LogicSemanticsConfluent Normalization	1997	141
Determinism in the one-way model Vincent Danos, Elham Kashefi Physical Review A	2006	138

Page 1