- Conditional Expectation and the Approximation of Labelled Markov Processes
- Projective Brane Calculus Vincent Danos1
- Rule-based modelling of cellular signalling Vincent Danos1,3,4
- Computational self-assembly Pierre-Louis Curien
- Graphes et Autoassemblage Vincent Danos # Fabien Tarissan +
- RULE-BASED MODELING FOR PROTEIN-PROTEIN INTERACTION NETWORKS -THE CYANOBACTERIAL CIRCADIAN CLOCK AS A CASE STUDY
- EXPRESS 2006 General reversibility
- Pauli measurements are universal Vincent Danos (CNRS, Univ Paris 7)
- Labelled Markov Processes: Stronger and Faster Approximations
- Formal Molecular Biology done in CCSR Vincent Danos
- Core Formal Molecular Biology Vincent Danos 1# and Cosimo Laneve 2
- Scalable simulation of cellular signaling networks Vincent Danos1,4
- Formal Molecular Biology Vincent Danos
- Une note sur les chanes de Markov etiquetees Vincent Danos
- A new deconstructive logic: linear logic
- A Fixpoint Logic for Labeled Markov Processes
- The Anatomy of Innocence Vincent Danos & Russell Harmer
- Equilibrium and Termination (extended version) Vincent Danos Nicolas Oury
- Intrinsic Information Carriers Intrinsic Information Carriers in Combinatorial Dynamical Systems
- Abstracting the differential semantics of rule-based models: exact and automated model reduction (revised version)
- A STATISTICAL ANALYSIS OF RECEPTOR CLUSTERING USING RANDOM GRAPHS , L. J. Schumacher2
- Internal coarse-graining of molecular systems Jero^ me Fereta
- Modelling epigenetic information maintenance a Kappa tutorial
- Quantum knowledge for cryptographic reasoning Vincent Danos1
- Property-driven statistics of biological networks Pierre-Yves Bourguignon1
- Self-assembling Trees Vincent Danos a
- The Measurement Calculus Vincent Danos
- Electronic Notes in Theoretical Computer Science 87 (2004) URL: http://www.elsevier.nl/locate/entcs/volume87.html 44 pages
- Reversible Communicating Concurrent Systems Vincent Danos1
- Modeling and Querying Molecular interaction networks Nathalie Chabrier
- Disjunctive Tautologies as Synchronisation Schemes
- Computational isomorphisms in classical logic
- LKQ and LKT: Sequent calculi for second order logic based upon
- 1-qubit versus 2-qubit measurement based quantum computing
- Determinism in the one-way model Vincent Danos (CNRS, Universite Paris 7)
- Rule-based modelling, symmetries, refinements Vincent Danos1,3
- A core modeling language for the working molecular biologist
- Linear Logic & Elementary Time Vincent Danos
- Reversible, Irreversible and Optimal machines Vincent Danos
- On the Statistical Thermodynamics of Reversible Communicating Processes
- Equilibrium and Termination II: the case of Petri nets
- Probabilistic Game Semantics VINCENT DANOS
- Extended Measurement Calculus Vincent Danos, Elham Kashefi, Prakash Panangaden, Simon Perdrix
- Self assembling graphs Vincent Danos1
- How liquid is biological signalling? Vincent Danos a
- Quadratic Form Expansions for Unitaries Niel de Beaudrap1, Vincent Danos2, Elham Kashefi3, Martin Roetteler4
- Agile modelling of cellular signalling a simple illustration of the rule-based approach
- Timeless games Patrick Baillot 1 , Vincent Danos 2 , Thomas Ehrhard 1 , and Laurent Regnier 1
- Local and asynchronous betareduction (an analysis of Girard's EX formula)
- Graphs for Core Molecular Biology Vincent Danos 1 and Cosimo Laneve 2
- Abstract interpretation of cellular signalling networks
- Transactions in RCCS Vincent Danos1
- Believe it or not, AJM's games model is a model
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Cooperative Assembly Systems Vincent Danos1
