Vincent Danos

According to our database, Vincent Danos authored at least 104 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Commitment Against Front Running Attacks.

Andrea Canidio, Vincent Danos

CoRR, 2023

2022

Consistency of Automated Market Makers.

Vincent Danos, Weijia Wang

Proceedings of the 4th International Conference on Blockchain Economics, 2022

Commit-Reveal Schemes Against Front-Running Attacks (Extended Abstract).

Andrea Canidio, Vincent Danos

Proceedings of the 4th International Conference on Blockchain Economics, 2022

2021

Efficient estimates of optimal transport via low-dimensional embeddings.

Patric M. Fulop, Vincent Danos

CoRR, 2021

Global Order Routing on Exchange Networks.

Vincent Danos, Hamza El Khalloufi, Julien Prat

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems.

Nicolas Behr, Vincent Danos, Ilias Garnier

Log. Methods Comput. Sci., 2020

Revisiting the Liquidity/Risk Trade-Off with Smart Contracts (Short Paper).

Vincent Danos, Jean Krivine, Julien Prat

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

Rate Equations for Graphs.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Computational Methods in Systems Biology, 2020

2019

The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine.

Brian Coyle, Daniel Mills, Vincent Danos, Elham Kashefi

CoRR, 2019

2018

Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage.

Guillaume Terradot, Andreea Beica, Andrea Y. Weiße, Vincent Danos

Proceedings of SASB 2018, 2018

Borel Kernels and their Approximation, Categorically.

Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Compiling Combinatorial Genetic Circuits with Semantic Inference.

William Waites, Goksel Misirli, Matteo Cavaliere, Vincent Danos, Anil Wipat

CoRR, 2018

Annotations for Rule-Based Models.

Matteo Cavaliere, Vincent Danos, Ricardo Honorato-Zimmer, William Waites

CoRR, 2018

An Information-Theoretic Measure for Patterning in Epithelial Tissues.

William Waites, Matteo Cavaliere, Elise Cachat, Vincent Danos, Jamie A. Dvies

IEEE Access, 2018

2017

Langevin Dynamics with Variable Coefficients and Nonconservative Forces: From Stationary States to Numerical Methods.

Matthias Sachs, Benedict J. Leimkuhler, Vincent Danos

Entropy, 2017

Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.

Vincent Danos, Tobias Heindel, Ilias Garnier, Jakob Grue Simonsen

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Pointless Learning.

Florence Clerc, Vincent Danos, Fredrik Dahlqvist, Ilias Garnier

Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016

Giry and the Machine.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Annotation of rule-based models with formal semantics to enable creation, analysis, reuse and visualization.

Goksel Misirli, Matteo Cavaliere, William Waites, Matthew R. Pocock, Curtis Madsen, Owen Gilfellon, Ricardo Honorato-Zimmer, Paolo Zuliani, Vincent Danos, Anil Wipat

Bioinform., 2016

Learning in Open Adaptive Networks.

Guoli Yang, Vincent Danos

Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Emergent Communities in Socio-cognitive Networks.

Vincent Danos, Ricardo Honorato-Zimmer

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Stochastic mechanics of graph rewriting.

Nicolas Behr, Vincent Danos, Ilias Garnier

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Synchronous Balanced Analysis.

Andreea Beica, Vincent Danos

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Bayesian Inversion by ω-Complete Cone Duality.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, Ohad Kammar

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Robustly Parameterised Higher-Order Probabilistic Models.

Fredrik Dahlqvist, Vincent Danos, Ilias Garnier

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Dirichlet is Natural.

Vincent Danos, Ilias Garnier

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402).

Vincent Danos, Heinz Koeppl

Dagstuhl Reports, 2015

Thermodynamic graph-rewriting.

Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer

Log. Methods Comput. Sci., 2015

Moment Semantics for Reversible Rule-Based Systems.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Reversible Computation - 7th International Conference, 2015

2014

Approximating Markov Processes by Averaging.

Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin

J. ACM, 2014

Modelling Adaptive Networks: The Case of the Petrified Voters.

Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski

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

Mean Quantitative Coverability in Stochastic Graph Transformation Systems.

Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki

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

Approximations for Stochastic Graph Rewriting.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Formal Methods and Software Engineering, 2014

Transformation and Refinement of Rigid Structures.

Vincent Danos, Reiko Heckel, Pawel Sobocinski

Proceedings of the Graph Transformation - 7th International Conference, 2014

Reversible Sesqui-Pushout Rewriting.

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki

Proceedings of the Graph Transformation - 7th International Conference, 2014

Free Energy of Petri Nets.

Vincent Danos, Ilias Garnier

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

Equilibrium and termination II: the case of Petri nets.

Vincent Danos, Nicolas Oury

Math. Struct. Comput. Sci., 2013

Constraining rule-based dynamics with types.

Vincent Danos, Russell Harmer, Glynn Winskel

Math. Struct. Comput. Sci., 2013

Editorial.

S. Barry Cooper, Vincent Danos

Int. J. Softw. Informatics, 2013

A simulator for spatially extended kappa models.

Oksana Sorokina, Anatoly A. Sorokin, J. Douglas Armstrong, Vincent Danos

Bioinform., 2013

2012

Coarse-graining the Dynamics of Ideal Branched Polymers.

Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki

Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012

Rigid Geometric Constraints for Kappa Models.

Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, Sandro Stucki

Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012

Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jonathan Hayman, Jean Krivine, Christopher D. Thompson-Walsh, Glynn Winskel

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

Probabilistic coherence spaces as a model of higher-order probabilistic computation.

Vincent Danos, Thomas Ehrhard

Inf. Comput., 2011

Cooperative Assembly Systems.

Vincent Danos, Heinz Koeppl, John Roger Wilson-Kanamori

Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

On the Statistical Thermodynamics of Reversible Communicating Processes.

Giorgio Bacci, Vincent Danos, Ohad Kammar

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Equilibrium and Termination

Vincent Danos, Nicolas Oury

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

Rule-Based Modelling and Model Perturbation.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Trans. Comp. Sys. Biology, 2009

How liquid is biological signalling?

Vincent Danos, Linus J. Schumacher

Theor. Comput. Sci., 2009

Internal coarse-graining of molecular systems.

Jérôme Feret, Vincent Danos, Jean Krivine, Russ Harmer, Walter Fontana

Proc. Natl. Acad. Sci. USA, 2009

Modelling Epigenetic Information Maintenance: A Kappa Tutorial.

Jean Krivine, Vincent Danos, Arndt Benecke

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Approximating Labelled Markov Processes Again!

Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Computational self-assembly.

Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang

Theor. Comput. Sci., 2008

Agile Modelling of Cellular Signalling (Invited Paper).

Vincent Danos

Proceedings of the Fifth Workshop on Structural Operational Semantics, 2008

Abstract Interpretation of Cellular Signalling Networks.

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine

Proceedings of the Verification, 2008

Quadratic Form Expansions for Unitaries.

J. Niel de Beaudrap, Vincent Danos, Elham Kashefi, Martin Rötteler

Proceedings of the Theory of Quantum Computation, 2008

Investigation of a Biological Repair Scheme.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the Membrane Computing - 9th International Workshop, 2008

Rule-Based Modelling, Symmetries, Refinements.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2007

Self-assembling graphs.

Vincent Danos, Fabien Tarissan

Nat. Comput., 2007

The measurement calculus.

Vincent Danos, Elham Kashefi, Prakash Panangaden

J. ACM, 2007

Classical Knowledge for Quantum Cryptographic Reasoning.

Vincent Danos, Ellie D'Hondt

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

Preface.

Vincent Danos, Mariangiola Dezani-Ciancaglini

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

Rule-Based Modelling of Cellular Signalling.

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Scalable Simulation of Cellular Signaling Networks.

Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Property-Driven Statistics of Biological Networks.

Pierre-Yves Bourguignon, Vincent Danos, François Képès, Serge Smidtas, Vincent Schächter

Trans. Comp. Sys. Biology, 2006

Bisimulation and cocongruence for probabilistic systems.

Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden

Inf. Comput., 2006

Self-assembling Trees.

Vincent Danos, Jean Krivine, Fabien Tarissan

Proceedings of the Third Workshop on Structural Operational Semantics, 2006

General Reversibility.

Vincent Danos, Jean Krivine, Pawel Sobocinski

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

The One Way to Quantum Computation.

Vincent Danos, Elham Kashefi, Prakash Panangaden

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Pauli Measurements are Universal.

Vincent Danos, Elham Kashefi

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Distributed Measurement-based Quantum Computation.

Vincent Danos, Ellie D'Hondt, Elham Kashefi, Prakash Panangaden

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Transactions in RCCS.

Vincent Danos, Jean Krivine

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Formal molecular biology.

Vincent Danos, Cosimo Laneve

Theor. Comput. Sci., 2004

Modeling and querying biomolecular interaction networks.

Nathalie Chabrier-Rivier, Marc Chiaverini, Vincent Danos, François Fages, Vincent Schächter

Theor. Comput. Sci., 2004

Reversible Communicating Systems.

Vincent Danos, Jean Krivine

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Projective Brane Calculus.

Vincent Danos, Sylvain Pradalier

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

Linear logic and elementary time.

Vincent Danos, Jean-Baptiste Joinet

Inf. Comput., 2003

Preface.

Vincent Danos, Cosimo Laneve

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Formal Molecular Biology Done in CCS-R.

Vincent Danos, Jean Krivine

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

Labelled Markov Processes: Stronger and Faster Approximations.

Vincent Danos, Josée Desharnais, Prakash Panangaden

Proceedings of the Workshop on Domain Theoretic Methods for Probabilistic Processes, 2003

Labelled Markov Processes: Stronger and Faster Approximations.

Vincent Danos, Josée Desharnais

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

Disjunctive normal forms and local exceptions.

Emmanuel Beffara, Vincent Danos

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

A Fixpoint Logic for Labeled Markov Processes.

Vincent Danos, Josée Desharnais

Proceedings of the FICS '03, 2003

Core Formal Molecular Biology.

Vincent Danos, Cosimo Laneve

Proceedings of the Programming Languages and Systems, 2003

Conditional Expectation and the Approximation of Labelled Markov Processes.

Vincent Danos, Josée Desharnais, Prakash Panangaden

Proceedings of the CONCUR 2003, 2003

Graphs for Core Molecular Biology.

Vincent Danos, Cosimo Laneve

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

A Core Modeling Language for the Working Molecular Biologist (Abstract).

Marc Chiaverini, Vincent Danos

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Probabilistic game semantics.

Vincent Danos, Russell Harmer

ACM Trans. Comput. Log., 2002

2001

The Anatomy of Innocence.

Vincent Danos, Russell Harmer

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Disjunctive Tautologies as Synchronisation Schemes.

Vincent Danos, Jean-Louis Krivine

Proceedings of the Computer Science Logic, 2000

1997

A New Deconstructive Logic: Linear Logic.

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx

J. Symb. Log., 1997

Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.

Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Timeless Games.

Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier

Proceedings of the Computer Science Logic, 11th International Workshop, 1997

1996

Reversible, Irreversible and Optimal Lambda-machines.

Vincent Danos, Laurent Regnier

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Computational isomorphisms in classical logic.

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Game Semantics & Abstract Machines.

Vincent Danos, Hugo Herbelin, Laurent Regnier

Proceedings of the Proceedings, 1996

Directed Virtual Reductions.

Vincent Danos, Marco Pedicini, Laurent Regnier

Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995

On the linear decoration of intuitionistic derivations.

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx

Arch. Math. Log., 1995

1994

Paths in the lambda-calculus

Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Une logique à grain fain: la logique linéaire.

Vincent Danos

Proceedings of the JFPLC'94, 1994

1993

Local and asynchronous beta-reduction (an analysis of Girard's execution formula)

Vincent Danos, Laurent Regnier

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1989

The structure of multiplicatives.

Vincent Danos, Laurent Regnier

Arch. Math. Log., 1989