63
Publications
4.5K
Citations
32
H-Index
1989
Active since
Vincent Danos is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsSystems BiologyComputational BiologyMolecular BiologyMedicineSemanticsProbability
Publications per year
1989–2022
63
63
Vincent Danos, Cosimo Laneve · Theoretical Computer Science · 2004 · 493 citations
Computational Biology, Formal Molecular Biology, Molecular Biology +3
Internal coarse-graining of molecular systems
Jérôme Ferêt, Vincent Danos, Jean Krivine et al. · Proceedings of the National Academy of Sciences · 2009 · 221 citations · Full text
Rows per page
1–5 of 63