Vincent Danos

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 29

Top Venues

CoRR

MFPS

Tokenomics

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Andrea Canidio, Vincent Danos
Commitment Against Front-Running Attacks. Manag. Sci. 70 (7) (2024)
Andrea Canidio, Vincent Danos
Commitment Against Front Running Attacks. CoRR (2023)
Vincent Danos, Weijia Wang
Consistency of Automated Market Makers. Tokenomics (2022)
Andrea Canidio, Vincent Danos
Commit-Reveal Schemes Against Front-Running Attacks (Extended Abstract). Tokenomics (2022)
Patric M. Fulop, Vincent Danos
Efficient estimates of optimal transport via low-dimensional embeddings. CoRR (2021)
Vincent Danos, Hamza El Khalloufi, Julien Prat
Global Order Routing on Exchange Networks. Financial Cryptography Workshops (2021)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Rate Equations for Graphs. CoRR (2020)
Nicolas Behr, Vincent Danos, Ilias Garnier
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. Log. Methods Comput. Sci. 16 (3) (2020)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Rate Equations for Graphs. CMSB (2020)
Vincent Danos, Jean Krivine, Julien Prat
Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper). Tokenomics (2020)
Brian Coyle, Daniel Mills, Vincent Danos, Elham Kashefi
The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine. CoRR (2019)
Nicolas Behr, Vincent Danos, Ilias Garnier
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems. CoRR (2019)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Alexandra Silva
Borel Kernels and their Approximation, Categorically. CoRR (2018)
Guillaume Terradot, Andreea Beica, Andrea Y. Weiße, Vincent Danos
Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage. SASB 335 (2018)
Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier
Borel Kernels and their Approximation, Categorically. MFPS (2018)
Matteo Cavaliere, Vincent Danos, Ricardo Honorato-Zimmer, William Waites
Annotations for Rule-Based Models. CoRR (2018)
William Waites, Matteo Cavaliere, Elise Cachat, Vincent Danos, Jamie A. Dvies
An Information-Theoretic Measure for Patterning in Epithelial Tissues. IEEE Access 6 (2018)
William Waites, Goksel Misirli, Matteo Cavaliere, Vincent Danos, Anil Wipat
Compiling Combinatorial Genetic Circuits with Semantic Inference. CoRR (2018)
Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier
Pointless Learning. FoSSaCS (2017)
Matthias Sachs, Benedict J. Leimkuhler, Vincent Danos
Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods. Entropy 19 (12) (2017)
Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen
Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables. FoSSaCS (2017)
Andreea Beica, Vincent Danos
Synchronous Balanced Analysis. HSB (2016)
Guoli Yang, Vincent Danos
Learning in Open Adaptive Networks. SASO (2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar
Bayesian Inversion by ω-Complete Cone Duality. CONCUR (2016)
Nicolas Behr, Vincent Danos, Ilias Garnier
Stochastic mechanics of graph rewriting. LICS (2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
Robustly Parameterised Higher-Order Probabilistic Models. CONCUR (2016)
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) (2016)
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier
Giry and the Machine. MFPS (2016)
Vincent Danos, Ricardo Honorato-Zimmer
Emergent Communities in Socio-cognitive Networks. FAS*W@SASO/ICCAC (2016)
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
Rigid Geometric Constraints for Kappa Models. Electron. Notes Theor. Comput. Sci. 313 (2015)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Moment Semantics for Reversible Rule-Based Systems. RC (2015)
Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
Thermodynamic graph-rewriting. Log. Methods Comput. Sci. 11 (2) (2015)
Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki
Coarse-graining the Dynamics of Ideal Branched Polymers. Electron. Notes Theor. Comput. Sci. 313 (2015)
Vincent Danos, Ilias Garnier
Dirichlet is Natural. MFPS (2015)
Vincent Danos, Heinz Koeppl
Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402). Dagstuhl Reports 5 (9) (2015)
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)
Vincent Danos, Ilias Garnier
Free Energy of Petri Nets. Horizons of the Mind (2014)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Reversible Sesqui-Pushout Rewriting. ICGT (2014)
Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
Approximating Markov Processes by Averaging. J. ACM 61 (1) (2014)
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
Approximations for Stochastic Graph Rewriting. ICFEM (2014)
Vincent Danos, Reiko Heckel, Pawel Sobocinski
Transformation and Refinement of Rigid Structures. ICGT (2014)
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)
Oksana Sorokina, Anatoly A. Sorokin, J. Douglas Armstrong, Vincent Danos
A simulator for spatially extended kappa models. Bioinform. 29 (23) (2013)
Vincent Danos, Nicolas Oury
Equilibrium and termination II: the case of Petri nets. Math. Struct. Comput. Sci. 23 (2) (2013)
S. Barry Cooper, Vincent Danos
Editorial. Int. J. Softw. Informatics 7 (4) (2013)
Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer
Thermodynamic Graph-Rewriting. CONCUR (2013)
Vincent Danos, Russell Harmer, Glynn Winskel
Constraining rule-based dynamics with types. Math. Struct. Comput. Sci. 23 (2) (2013)
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)
Vincent Danos, Heinz Koeppl, John Wilson-Kanamori
Cooperative Assembly Systems. DNA (2011)
Giorgio Bacci, Vincent Danos, Ohad Kammar
On the Statistical Thermodynamics of Reversible Communicating Processes. CALCO (2011)
Vincent Danos, Thomas Ehrhard
Probabilistic coherence spaces as a model of higher-order probabilistic computation. Inf. Comput. 209 (6) (2011)
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)
Vincent Danos, Nicolas Oury
Equilibrium and Termination DCM (2010)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling and Model Perturbation. Trans. Comp. Sys. Biology 11 (2009)
Jean Krivine, Vincent Danos, Arndt Benecke
Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV (2009)
Vincent Danos, Linus J. Schumacher
How liquid is biological signalling? Theor. Comput. Sci. 410 (11) (2009)
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) (2009)
Vincent Danos
Agile Modelling of Cellular Signalling (Invited Paper). Electron. Notes Theor. Comput. Sci. 229 (4) (2009)
Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
Approximating Markov Processes by Averaging. ICALP (2) (2009)
Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin
Approximating Labelled Markov Processes Again! CALCO (2009)
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
Abstract Interpretation of Cellular Signalling Networks. VMCAI (2008)
Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang
Computational self-assembly. Theor. Comput. Sci. 404 (1-2) (2008)
Vincent Danos, Ellie D'Hondt
Classical Knowledge for Quantum Cryptographic Reasoning. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling, Symmetries, Refinements. FMSB (2008)
Vincent Danos, Mariangiola Dezani-Ciancaglini
Preface. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Investigation of a Biological Repair Scheme. Workshop on Membrane Computing (2008)
J. Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Rötteler
Quadratic Form Expansions for Unitaries. TQC (2008)
Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden
Distributed Measurement-based Quantum Computation. Electron. Notes Theor. Comput. Sci. 170 (2007)
Vincent Danos, Elham Kashefi
Pauli Measurements are Universal. Electron. Notes Theor. Comput. Sci. 170 (2007)
Vincent Danos, Cosimo Laneve
Preface. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine
Rule-Based Modelling of Cellular Signalling. CONCUR (2007)
Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine
Scalable Simulation of Cellular Signaling Networks. APLAS (2007)
Vincent Danos, Elham Kashefi, Prakash Panangaden
The measurement calculus. J. ACM 54 (2) (2007)
Vincent Danos, Fabien Tarissan
Self-assembling graphs. Nat. Comput. 6 (3) (2007)
Vincent Danos, Jean Krivine, Fabien Tarissan
Self-assembling Trees. Electron. Notes Theor. Comput. Sci. 175 (1) (2007)
Vincent Danos, Jean Krivine
Formal Molecular Biology Done in CCS-R. Electron. Notes Theor. Comput. Sci. 180 (3) (2007)
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 (2006)
Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden
Bisimulation and cocongruence for probabilistic systems. Inf. Comput. 204 (4) (2006)
Vincent Danos, Jean Krivine, Pawel Sobocinski
General Reversibility. EXPRESS (2006)
Vincent Danos, Elham Kashefi, Prakash Panangaden
The One Way to Quantum Computation. ICALP (2) (2006)
Vincent Danos, Fabien Tarissan
Self Assembling Graphs. IWINAC (1) (2005)
Vincent Danos, Jean Krivine
Transactions in RCCS. CONCUR (2005)
Vincent Danos, Josée Desharnais, Prakash Panangaden
Labelled Markov Processes: Stronger and Faster Approximations. Electron. Notes Theor. Comput. Sci. 87 (2004)
Vincent Danos, Cosimo Laneve
Formal molecular biology. Theor. Comput. Sci. 325 (1) (2004)
Vincent Danos, Sylvain Pradalier
Projective Brane Calculus. CMSB (2004)
Vincent Danos, Jean Krivine
Reversible Communicating Systems. CONCUR (2004)
Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter
Modeling and querying biomolecular interaction networks. Theor. Comput. Sci. 325 (1) (2004)
Vincent Danos, Josée Desharnais
A Fixpoint Logic for Labeled Markov Processes. FICS (2003)
Marc Chiaverini, Vincent Danos
A Core Modeling Language for the Working Molecular Biologist (Abstract). CMSB (2003)
Vincent Danos, Josée Desharnais, Prakash Panangaden
Conditional Expectation and the Approximation of Labelled Markov Processes. CONCUR (2003)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx
Computational isomorphisms in classical logic. Theor. Comput. Sci. 294 (3) (2003)
Vincent Danos, Cosimo Laneve
Graphs for Core Molecular Biology. CMSB (2003)
Vincent Danos, Cosimo Laneve
Core Formal Molecular Biology. ESOP (2003)
Emmanuel Beffara, Vincent Danos
Disjunctive normal forms and local exceptions. SIGPLAN Notices (2003)
Emmanuel Beffara, Vincent Danos
Disjunctive normal forms and local exceptions. ICFP (2003)
Vincent Danos, Jean-Baptiste Joinet
Linear logic and elementary time. Inf. Comput. 183 (1) (2003)
Vincent Danos, Josée Desharnais
Labelled Markov Processes: Stronger and Faster Approximations. LICS (2003)
Vincent Danos, Russell Harmer
Probabilistic game semantics. ACM Trans. Comput. Log. 3 (3) (2002)
Vincent Danos, Russell Harmer
The Anatomy of Innocence. CSL (2001)
Vincent Danos, Jean-Louis Krivine
Disjunctive Tautologies as Synchronisation Schemes. CSL (2000)

Vincent Danos.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vincent Danos