default search action
Vincent 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)