Vincent Danos

According to our database1, Vincent Danos authored at least 98 papers between 1989 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems.
Log. Methods Comput. Sci., 2020

Rate Equations for Graphs.
Proceedings of the Computational Methods in Systems Biology, 2020

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

2018
Survival of the Fattest: Evolutionary Trade-offs in Cellular Resource Storage.
Electron. Notes Theor. Comput. Sci., 2018

Borel Kernels and their Approximation, Categorically.
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Compiling Combinatorial Genetic Circuits with Semantic Inference.
CoRR, 2018

Annotations for Rule-Based Models.
CoRR, 2018

An Information-Theoretic Measure for Patterning in Epithelial Tissues.
IEEE Access, 2018

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

Computing Continuous-Time Markov Chains as Transformers of Unbounded Observables.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

Pointless Learning.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016
Giry and the Machine.
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.
Bioinform., 2016

Learning in Open Adaptive Networks.
Proceedings of the 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2016

Emergent Communities in Socio-cognitive Networks.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Stochastic mechanics of graph rewriting.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Synchronous Balanced Analysis.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Bayesian Inversion by ω-Complete Cone Duality.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Robustly Parameterised Higher-Order Probabilistic Models.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Coarse-graining the Dynamics of Ideal Branched Polymers.
Electron. Notes Theor. Comput. Sci., 2015

Rigid Geometric Constraints for Kappa Models.
Electron. Notes Theor. Comput. Sci., 2015

Dirichlet is Natural.
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).
Dagstuhl Reports, 2015

Thermodynamic graph-rewriting.
Log. Methods Comput. Sci., 2015

Moment Semantics for Reversible Rule-Based Systems.
Proceedings of the Reversible Computation - 7th International Conference, 2015

2014
Approximating Markov Processes by Averaging.
J. ACM, 2014

Modelling Adaptive Networks: The Case of the Petrified Voters.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Mean Quantitative Coverability in Stochastic Graph Transformation Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Approximations for Stochastic Graph Rewriting.
Proceedings of the Formal Methods and Software Engineering, 2014

Transformation and Refinement of Rigid Structures.
Proceedings of the Graph Transformation - 7th International Conference, 2014

Reversible Sesqui-Pushout Rewriting.
Proceedings of the Graph Transformation - 7th International Conference, 2014

Free Energy of Petri Nets.
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013
Equilibrium and termination II: the case of Petri nets.
Math. Struct. Comput. Sci., 2013

Constraining rule-based dynamics with types.
Math. Struct. Comput. Sci., 2013

Editorial.
Int. J. Softw. Informatics, 2013

A simulator for spatially extended kappa models.
Bioinform., 2013

2012
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.
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.
Inf. Comput., 2011

Cooperative Assembly Systems.
Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011

On the Statistical Thermodynamics of Reversible Communicating Processes.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010
Equilibrium and Termination
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.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009
Rule-Based Modelling and Model Perturbation.
Trans. Comp. Sys. Biology, 2009

How liquid is biological signalling?
Theor. Comput. Sci., 2009

Internal coarse-graining of molecular systems.
Proc. Natl. Acad. Sci. USA, 2009

Agile Modelling of Cellular Signalling (Invited Paper).
Electron. Notes Theor. Comput. Sci., 2009

Modelling Epigenetic Information Maintenance: A Kappa Tutorial.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Approximating Labelled Markov Processes Again!
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
Computational self-assembly.
Theor. Comput. Sci., 2008

Classical Knowledge for Quantum Cryptographic Reasoning.
Electron. Notes Theor. Comput. Sci., 2008

Preface.
Electron. Notes Theor. Comput. Sci., 2008

Abstract Interpretation of Cellular Signalling Networks.
Proceedings of the Verification, 2008

Quadratic Form Expansions for Unitaries.
Proceedings of the Theory of Quantum Computation, 2008

Investigation of a Biological Repair Scheme.
Proceedings of the Membrane Computing - 9th International Workshop, 2008

Rule-Based Modelling, Symmetries, Refinements.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2007
Self-assembling graphs.
Nat. Comput., 2007

The measurement calculus.
J. ACM, 2007

Preface.
Electron. Notes Theor. Comput. Sci., 2007

Self-assembling Trees.
Electron. Notes Theor. Comput. Sci., 2007

Formal Molecular Biology Done in CCS-R.
Electron. Notes Theor. Comput. Sci., 2007

Pauli Measurements are Universal.
Electron. Notes Theor. Comput. Sci., 2007

Distributed Measurement-based Quantum Computation.
Electron. Notes Theor. Comput. Sci., 2007

Rule-Based Modelling of Cellular Signalling.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Scalable Simulation of Cellular Signaling Networks.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Property-Driven Statistics of Biological Networks.
, 2006

Bisimulation and cocongruence for probabilistic systems.
Inf. Comput., 2006

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

The One Way to Quantum Computation.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005
Transactions in RCCS.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004
Formal molecular biology.
Theor. Comput. Sci., 2004

Modeling and querying biomolecular interaction networks.
Theor. Comput. Sci., 2004

Labelled Markov Processes: Stronger and Faster Approximations.
Electron. Notes Theor. Comput. Sci., 2004

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

Projective Brane Calculus.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003
Disjunctive normal forms and local exceptions.
ACM SIGPLAN Notices, 2003

Linear logic and elementary time.
Inf. Comput., 2003

Labelled Markov Processes: Stronger and Faster Approximations.
Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

A Fixpoint Logic for Labeled Markov Processes.
Proceedings of the FICS '03, 2003

Core Formal Molecular Biology.
Proceedings of the Programming Languages and Systems, 2003

Conditional Expectation and the Approximation of Labelled Markov Processes.
Proceedings of the CONCUR 2003, 2003

Graphs for Core Molecular Biology.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

A Core Modeling Language for the Working Molecular Biologist (Abstract).
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002
Probabilistic game semantics.
ACM Trans. Comput. Log., 2002

2001
The Anatomy of Innocence.
Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000
Disjunctive Tautologies as Synchronisation Schemes.
Proceedings of the Computer Science Logic, 2000

1997
A New Deconstructive Logic: Linear Logic.
J. Symb. Log., 1997

Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

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

1996
Reversible, Irreversible and Optimal Lambda-machines.
Electron. Notes Theor. Comput. Sci., 1996

Computational isomorphisms in classical logic.
Electron. Notes Theor. Comput. Sci., 1996

Game Semantics & Abstract Machines.
Proceedings of the Proceedings, 1996

Directed Virtual Reductions.
Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1995
On the linear decoration of intuitionistic derivations.
Arch. Math. Log., 1995

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

Une logique à grain fain: la logique linéaire.
Proceedings of the JFPLC'94, 1994

1993
Local and asynchronous beta-reduction (an analysis of Girard's execution formula)
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.
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1989
The structure of multiplicatives.
Arch. Math. Log., 1989


  Loading...