Vincent Danos

Molecular Biology · International Conference on Concurrency Theory · 2004–2007

A researcher in the Science corpus: 5 papers; trusts 7 researchers and is trusted by 8 researchers here, as inferred from the citation graph.

Subfields

• Molecular Biology — 17 citations into it; #9,668 of 17,773 by trust here, #14,509 by citations
• Computational Theory and Mathematics — 12 citations into it; #10,943 of 12,182 by trust here, #10,901 by citations
• Artificial Intelligence — 11 citations into it; #22,311 of 35,345 by trust here, #31,361 by citations
• Atomic and Molecular Physics, and Optics — 7 citations into it; #3,556 of 7,135 by trust here, #6,772 by citations

Whom Vincent Danos trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Aviv Regev
2. Luca Cardelli
3. Robin Milner
4. William Silverman
5. Ehud Y. Shapiro
6. Jean-Louis Krivine
7. Birgit Schoeberl
8. Dan E. Browne
9. Robert Raussendorf
10. Morten Nielsen

Who trusts Vincent Danos overall

1. Nicolas Le Novère
2. Joseph Francis Fitzsimons
3. Anne Broadbent
4. James R. Faeder
5. Jean-Louis Krivine
6. Federica Ciocchetta
7. William W. Chen
8. William S. Hlavacek
9. Michael L. Blinov
10. Elham Kashefi

Papers from Vincent Danos's perspective

Ordered by how strongly the researchers Vincent Danos trusts endorse each paper. Same corpus, a different order for every researcher.

1. Communicating and Mobile Systems: the π-calculus,
2. Bigraphical Reactive Systems (International Conference on Concurrency Theory)
3. Quantum Computation and Quantum Information: Bibliography
4. Resource-efficient linear optical quantum computation. (Physical Review Letters)
5. Measurement-based quantum computation on cluster states
6. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors (Nature Biotechnology)
7. Fault-tolerant quantum computation with cluster states
8. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra (Pacific Symposium on Biocomputing)
9. Multiparty entanglement in graph states
10. A survey of rollback-recovery protocols in message-passing systems (CSUR)

Their papers

• Rule-Based Modelling of Cellular Signalling (2007) — 382 citations
• Formal molecular biology (2004) — 539 citations
• Reversible Communicating Systems (2004) — 400 citations
• Determinism in the one-way model (2005) — 142 citations
• Transactions in RCCS (2005) — 321 citations