default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVincent Danos
Person information
- affiliation: Centre national de la recherche scientifique (CNRS), Paris, France
- affiliation: University of Edinburgh, UK
- affiliation: Santa Fe Institute, NM, USA
- affiliation: Harvard Medical School, Boston, MA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Andrea Canidio
, Vincent Danos:
Commitment Against Front-Running Attacks. Manag. Sci. 70(7): 4429-4440 (2024)- 2023
- [i9]Andrea Canidio, Vincent Danos:
Commitment Against Front Running Attacks. CoRR abs/2301.13785 (2023) - 2022
- [c74]Vincent Danos, Weijia Wang:
Consistency of Automated Market Makers. Tokenomics 2022: 4:1-4:12 - [c73]Andrea Canidio, Vincent Danos:
Commit-Reveal Schemes Against Front-Running Attacks (Extended Abstract). Tokenomics 2022: 7:1-7:5 - 2021
- [c72]Vincent Danos, Hamza El Khalloufi, Julien Prat:
Global Order Routing on Exchange Networks. Financial Cryptography Workshops 2021: 207-226 - [i8]Patric M. Fulop, Vincent Danos:
Efficient estimates of optimal transport via low-dimensional embeddings. CoRR abs/2111.04838 (2021) - 2020
- [j30]Nicolas Behr, Vincent Danos, Ilias Garnier:
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. Log. Methods Comput. Sci. 16(3) (2020) - [c71]Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki:
Rate Equations for Graphs. CMSB 2020: 3-26 - [c70]Vincent Danos, Jean Krivine, Julien Prat:
Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper). Tokenomics 2020: 10:1-10:5 - [e5]Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, Sara Tucci Piergiovanni:
International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, May 6-7, 2019, Paris, France. OASIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-108-5 [contents] - [i7]Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki:
Rate Equations for Graphs. CoRR abs/2008.11066 (2020)
2010 – 2019
- 2019
- [i6]Brian Coyle, Daniel Mills, Vincent Danos, Elham Kashefi:
The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine. CoRR abs/1904.02214 (2019) - [i5]Nicolas Behr, Vincent Danos, Ilias Garnier:
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. CoRR abs/1904.07313 (2019) - 2018
- [j29]William Waites, Matteo Cavaliere, Elise Cachat, Vincent Danos, Jamie A. Dvies:
An Information-Theoretic Measure for Patterning in Epithelial Tissues. IEEE Access 6: 40302-40312 (2018) - [c69]Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier:
Borel Kernels and their Approximation, Categorically. MFPS 2018: 91-119 - [c68]Guillaume Terradot, Andreea Beica, Andrea Y. Weiße, Vincent Danos:
Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage. SASB 2018: 91-112 - [i4]Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva:
Borel Kernels and their Approximation, Categorically. CoRR abs/1803.02651 (2018) - [i3]Matteo Cavaliere, Vincent Danos, Ricardo Honorato-Zimmer, William Waites:
Annotations for Rule-Based Models. CoRR abs/1809.05708 (2018) - [i2]William Waites, Goksel Misirli, Matteo Cavaliere, Vincent Danos, Anil Wipat:
Compiling Combinatorial Genetic Circuits with Semantic Inference. CoRR abs/1811.01793 (2018) - 2017
- [j28]Matthias Sachs, Benedict J. Leimkuhler, Vincent Danos:
Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods. Entropy 19(12): 647 (2017) - [c67]Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen:
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. FoSSaCS 2017: 338-354 - [c66]Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier:
Pointless Learning. FoSSaCS 2017: 355-369 - 2016
- [j27]Goksel Misirli, Matteo Cavaliere, William Waites, Matthew R. Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat:
Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization. Bioinform. 32(6): 908-917 (2016) - [c65]Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar:
Bayesian Inversion by ω-Complete Cone Duality. CONCUR 2016: 1:1-1:15 - [c64]Fredrik Dahlqvist, Vincent Danos, Ilias Garnier:
Robustly Parameterised Higher-Order Probabilistic Models. CONCUR 2016: 23:1-23:15 - [c63]Andreea Beica, Vincent Danos:
Synchronous Balanced Analysis. HSB 2016: 85-94 - [c62]Nicolas Behr, Vincent Danos, Ilias Garnier:
Stochastic mechanics of graph rewriting. LICS 2016: 46-55 - [c61]Vincent Danos, Ricardo Honorato-Zimmer:
Emergent Communities in Socio-cognitive Networks. FAS*W@SASO/ICCAC 2016: 24-29 - [c60]Guoli Yang, Vincent Danos:
Learning in Open Adaptive Networks. SASO 2016: 50-59 - [c59]Fredrik Dahlqvist, Vincent Danos, Ilias Garnier:
Giry and the Machine. MFPS 2016: 85-110 - 2015
- [j26]Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer:
Thermodynamic graph-rewriting. Log. Methods Comput. Sci. 11(2) (2015) - [c58]Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki:
Moment Semantics for Reversible Rule-Based Systems. RC 2015: 3-26 - [c57]Vincent Danos, Ilias Garnier:
Dirichlet is Natural. MFPS 2015: 137-164 - [i1]Vincent Danos, Heinz Koeppl:
Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402). Dagstuhl Reports 5(9): 125-138 (2015) - 2014
- [j25]Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski:
Modelling Adaptive Networks: The Case of the Petrified Voters. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014) - [j24]Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki:
Mean Quantitative Coverability in Stochastic Graph Transformation Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 68 (2014) - [j23]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Markov Processes by Averaging. J. ACM 61(1): 5:1-5:45 (2014) - [c56]Vincent Danos, Ilias Garnier:
Free Energy of Petri Nets. Horizons of the Mind 2014: 268-289 - [c55]Vincent Danos, Reiko Heckel, Pawel Sobocinski:
Transformation and Refinement of Rigid Structures. ICGT 2014: 146-160 - [c54]Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki:
Reversible Sesqui-Pushout Rewriting. ICGT 2014: 161-176 - [c53]Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki:
Approximations for Stochastic Graph Rewriting. ICFEM 2014: 1-10 - 2013
- [j22]Oksana Sorokina, Anatoly A. Sorokin, J. Douglas Armstrong, Vincent Danos:
A simulator for spatially extended kappa models. Bioinform. 29(23): 3105-3106 (2013) - [j21]S. Barry Cooper, Vincent Danos:
Editorial. Int. J. Softw. Informatics 7(4): 483-484 (2013) - [j20]Vincent Danos, Russell Harmer, Glynn Winskel:
Constraining rule-based dynamics with types. Math. Struct. Comput. Sci. 23(2): 272-289 (2013) - [j19]Vincent Danos, Nicolas Oury:
Equilibrium and termination II: the case of Petri nets. Math. Struct. Comput. Sci. 23(2): 290-307 (2013) - [c52]Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer:
Thermodynamic Graph-Rewriting. CONCUR 2013: 380-394 - 2012
- [c51]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel:
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models. FSTTCS 2012: 276-288 - [c50]Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki:
Rigid Geometric Constraints for Kappa Models. SASB 2012: 23-46 - [c49]Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki:
Coarse-graining the Dynamics of Ideal Branched Polymers. SASB 2012: 47-64 - 2011
- [j18]Vincent Danos, Thomas Ehrhard:
Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. 209(6): 966-991 (2011) - [c48]Giorgio Bacci, Vincent Danos, Ohad Kammar:
On the Statistical Thermodynamics of Reversible Communicating Processes. CALCO 2011: 1-18 - [c47]Vincent Danos, Heinz Koeppl, John Roger Wilson-Kanamori:
Cooperative Assembly Systems. DNA 2011: 1-20 - 2010
- [c46]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. LICS 2010: 362-381 - [c45]Vincent Danos, Nicolas Oury:
Equilibrium and Termination. DCM 2010: 75-84
2000 – 2009
- 2009
- [j17]Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana:
Internal coarse-graining of molecular systems. Proc. Natl. Acad. Sci. USA 106(16): 6453-6458 (2009) - [j16]Vincent Danos, Linus J. Schumacher:
How liquid is biological signalling? Theor. Comput. Sci. 410(11): 1003-1012 (2009) - [j15]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology 11: 116-137 (2009) - [c44]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Labelled Markov Processes Again! CALCO 2009: 145-156 - [c43]Jean Krivine, Vincent Danos, Arndt Benecke:
Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV 2009: 17-32 - [c42]Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin:
Approximating Markov Processes by Averaging. ICALP (2) 2009: 127-138 - [e4]S. Barry Cooper, Vincent Danos:
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009. EPTCS 9, 2009 [contents] - 2008
- [j14]Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang:
Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008) - [c41]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122 - [c40]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Investigation of a Biological Repair Scheme. Workshop on Membrane Computing 2008: 1-12 - [c39]J. Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Rötteler:
Quadratic Form Expansions for Unitaries. TQC 2008: 29-46 - [c38]Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine:
Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97 - [c37]Vincent Danos:
Agile Modelling of Cellular Signalling (Invited Paper). SOS@ICALP 2008: 3-10 - [e3]Vincent Danos, Mariangiola Dezani:
Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007. Electronic Notes in Theoretical Computer Science 192(3), Elsevier 2008 [contents] - 2007
- [j13]Vincent Danos, Elham Kashefi, Prakash Panangaden:
The measurement calculus. J. ACM 54(2): 8 (2007) - [j12]Vincent Danos, Fabien Tarissan:
Self-assembling graphs. Nat. Comput. 6(3): 339-358 (2007) - [c36]Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine:
Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157 - [c35]Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41 - [c34]Vincent Danos, Mariangiola Dezani-Ciancaglini:
Preface. DCM@ICALP 2007: 1-2 - [c33]Vincent Danos, Ellie D'Hondt:
Classical Knowledge for Quantum Cryptographic Reasoning. DCM@ICALP 2007: 39-58 - [e2]Vincent Danos, Cosimo Laneve:
Proceedings of the First Workshop on Concurrent Models in Molecular Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 180(3), Elsevier 2007 [contents] - 2006
- [j11]Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden:
Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204(4): 503-523 (2006) - [j10]Pierre-Yves Bourguignon, Vincent Danos, François Képès, Serge Smidtas, Vincent Schächter:
Property-Driven Statistics of Biological Networks. Trans. Comp. Sys. Biology 6: 1-15 (2006) - [c32]Vincent Danos, Elham Kashefi, Prakash Panangaden:
The One Way to Quantum Computation. ICALP (2) 2006: 13-21 - [c31]Vincent Danos, Jean Krivine, Fabien Tarissan:
Self-assembling Trees. SOS@CONCUR 2006: 19-32 - [c30]Vincent Danos, Jean Krivine, Pawel Sobocinski:
General Reversibility. EXPRESS 2006: 75-86 - 2005
- [c29]Vincent Danos, Jean Krivine:
Transactions in RCCS. CONCUR 2005: 398-412 - [c28]Vincent Danos, Fabien Tarissan:
Self Assembling Graphs. IWINAC (1) 2005: 498-507 - [c27]Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden:
Distributed Measurement-based Quantum Computation. QPL 2005: 73-94 - [c26]Vincent Danos, Elham Kashefi:
Pauli Measurements are Universal. QPL 2005: 95-100 - [e1]Vincent Danos, Vincent Schächter:
Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3082, Springer 2005, ISBN 3-540-25375-0 [contents] - 2004
- [j9]Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter:
Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. 325(1): 25-44 (2004) - [j8]Vincent Danos, Cosimo Laneve:
Formal molecular biology. Theor. Comput. Sci. 325(1): 69-110 (2004) - [c25]Vincent Danos, Sylvain Pradalier:
Projective Brane Calculus. CMSB 2004: 134-148 - [c24]Vincent Danos, Jean Krivine:
Reversible Communicating Systems. CONCUR 2004: 292-307 - 2003
- [j7]Vincent Danos, Jean-Baptiste Joinet:
Linear logic and elementary time. Inf. Comput. 183(1): 123-137 (2003) - [j6]Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx:
Computational isomorphisms in classical logic. Theor. Comput. Sci. 294(3): 353-378 (2003) - [c23]Vincent Danos, Cosimo Laneve:
Graphs for Core Molecular Biology. CMSB 2003: 34-46 - [c22]Marc Chiaverini, Vincent Danos:
A Core Modeling Language for the Working Molecular Biologist (Abstract). CMSB 2003: 166 - [c21]Vincent Danos, Josée Desharnais, Prakash Panangaden:
Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR 2003: 468-482 - [c20]Vincent Danos, Cosimo Laneve:
Core Formal Molecular Biology. ESOP 2003: 302-318 - [c19]Vincent Danos, Josée Desharnais:
A Fixpoint Logic for Labeled Markov Processes. FICS 2003: 14-18 - [c18]Emmanuel Beffara, Vincent Danos:
Disjunctive normal forms and local exceptions. ICFP 2003: 203-211 - [c17]Vincent Danos, Josée Desharnais:
Labelled Markov Processes: Stronger and Faster Approximations. LICS 2003: 341-350 - [c16]Vincent Danos, Cosimo Laneve:
Preface. BioConcur@CONCUR 2003: 1-2 - [c15]Vincent Danos, Jean Krivine:
Formal Molecular Biology Done in CCS-R. BioConcur@CONCUR 2003: 31-49 - [c14]Vincent Danos, Josée Desharnais, Prakash Panangaden:
Labelled Markov Processes: Stronger and Faster Approximations. DTMPP 2003: 157-203 - 2002
- [j5]Vincent Danos, Russell Harmer:
Probabilistic game semantics. ACM Trans. Comput. Log. 3(3): 359-382 (2002) - 2001
- [c13]Vincent Danos, Russell Harmer:
The Anatomy of Innocence. CSL 2001: 188-202 - 2000
- [c12]Vincent Danos, Jean-Louis Krivine:
Disjunctive Tautologies as Synchronisation Schemes. CSL 2000: 292-301 - [c11]Vincent Danos, Russell Harmer:
Probabilistic Game Semantics. LICS 2000: 204-213
1990 – 1999
- 1999
- [j4]Vincent Danos, Laurent Regnier:
Reversible, Irreversible and Optimal lambda-Machines. Theor. Comput. Sci. 227(1-2): 79-97 (1999) - 1997
- [j3]Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx:
A New Deconstructive Logic: Linear Logic. J. Symb. Log. 62(3): 755-807 (1997) - [c10]Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier:
Timeless Games. CSL 1997: 56-77 - [c9]Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier:
Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. LICS 1997: 68-75 - 1996
- [c8]Vincent Danos, Marco Pedicini, Laurent Regnier:
Directed Virtual Reductions. CSL 1996: 76-88 - [c7]Vincent Danos, Hugo Herbelin, Laurent Regnier:
Game Semantics & Abstract Machines. LICS 1996: 394-405 - [c6]Vincent Danos, Laurent Regnier:
Reversible, Irreversible and Optimal Lambda-machines. Linear Logic Tokyo Meeting 1996: 40-60 - [c5]Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx:
Computational isomorphisms in classical logic. Linear Logic Tokyo Meeting 1996: 183-195 - 1995
- [j2]Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx:
On the linear decoration of intuitionistic derivations. Arch. Math. Log. 33(6): 387-412 (1995) - 1994
- [c4]Vincent Danos:
Une logique à grain fain: la logique linéaire. JFPLC 1994: 311- - [c3]Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier:
Paths in the lambda-calculus. LICS 1994: 426-436 - 1993
- [c2]Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx:
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs. Kurt Gödel Colloquium 1993: 159-171 - [c1]Vincent Danos, Laurent Regnier:
Local and asynchronous beta-reduction (an analysis of Girard's execution formula). LICS 1993: 296-306
1980 – 1989
- 1989
- [j1]Vincent Danos, Laurent Regnier:
The structure of multiplicatives. Arch. Math. Log. 28(3): 181-203 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
