Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Vincent Danos
Last revised 31.05.06
Vincent DanosÉquipe Preuves, Programmes,
Systèmes CNRS Paris VII tel: +33 1 4427 9930, fax: +33 1 4427 8654
Events
Groupe de travail Concurrence
Mathematical Structures in Quantum Computing ,
Dec 8-9, 2005, IHP, Paris
Geocal Workshop on Probabilistic Transition Systems , Feb 27-Mar 3 2006, Marseille
New Journal Announcements
Transactions on
Computational Systems Biology Logical Methods in Computer Science
Papers
Property-driven statistics of biological networks (CMSB'05, TCSB)
Pierre-Yves Bourguignon, Vincent Danos, Francois Kepes, Serge Smidtas, Vincent Schachter.Phase map decompositions for unitaries (quant-ph/0603266)
Niel de Beaudrap, Vincent Danos, Elham Kashefi.Self-assembling Trees (EA'05) Vincent Danos, Jean Krivine, Fabien Tarissan.Bisimulation and Cocongruence for Probabilistic Systems (Information
& Computation, 2005) Vincent Danos, Josee Desharnais, Francois Laviolette, Prakash Panangaden.Distributed measurement-based quantum computation (quant-ph/0506070, QPL'05) Vincent Danos, Ellie D'Hondt , Elham Kashefi, Prakash Panangaden.Determinism in the one-way model (quant-ph/0506062, EQIS'05) Vincent Danos,
Elham Kashefi.1-qubit versus 2-qubit measurement based quantum computing (2005, Draft) Vincent Danos,
Elham Kashefi.Pauli Measurements are universal (QPL'05) Vincent Danos,
Elham Kashefi.
Self-assembling Graphs (IWINAC'05) Vincent Danos, Fabien Tarissan .
Transactions in RCCS (CONCUR'05) Vincent Danos, Jean Krivine.
The Measurement Calculus (quant-ph/0412135) Vincent Danos,
Elham Kashefi, Prakash Panangaden.Labelled Markov Processes: stronger and faster approximations (ENTCS 87, 2004) Vincent Danos, Josée Desharnais, Prakash Panangaden.Robust and parsimonious realisations of unitaries in the one-way model (quant-ph/0411071, Physical Review A 72) Vincent Danos, Elham Kashefi , Prakash Panangaden.Reversible Communicating Systems (CONCUR'04) Vincent Danos, Jean Krivine.Projective Brane Calculus (CMSB'04) Vincent Danos, Sylvain Pradalier.How abstract machines implement head linear reduction (Submitted, 2003) Vincent Danos, Laurent Regnier.Formal Molecular Biology
(TCS 325, 2004) Vincent Danos, Cosimo Laneve.Formal Molecular Biology done in CCS
(Bio-Concur'03)
Vincent Danos, Jean Krivine .
Graphes et auto-assemblage
(2003) Vincent Danos, Fabien Tarissan.
Disjunctive normal forms specify multi-exception handlers
(ICFP'03)
Emmanuel Beffara , Vincent Danos.
A Core Modeling Language
for the Working Molecular Biologist
(CMSB'03) Marc Chiaverini , Vincent Danos.
Conditional
Expectation and the Approximation of Labelled Markov Processes
(CONCUR'03) Vincent Danos, Josée Desharnais, Prakash Panangaden .
A Fixpoint Logic for
Labelled Markov Processes
(FICS'03) Vincent Danos, Josée Desharnais.
Core Formal Molecular Biology
(ESOP'03), Vincent Danos, Cosimo Laneve.
Labelled Markov Processes: stronger and
faster approximants
(LICS'03) Vincent Danos, Josée Desharnais.
Une note sur les chaînes de Markov étiquetées
(Unpublished, 2003) Vincent Danos,
Josée
Desharnais .
Graphs for Core Molecular Biology
(CMSB'03), Vincent Danos,
Cosimo Laneve.
Probabilistic
Games Semantics (Long version, ACM Transactions
on Computational Logic, 2002) Vincent Danos,
Russell Harmer . The Anatomy of Innocence (CSL'01) Vincent Danos, Russell Harmer. Disjunctive
Tautologies as Synchronisation Schemes (CSL'00) Vincent Danos,
Jean-Louis Krivine . Probabilistic Games Semantics (LICS'00) Vincent Danos, Russell Harmer.
Linear Logic and Elementary Time (ICC'99,
Information & Computation 183) Vincent Danos,
Jean-Baptiste Joinet .
Reversible, Irreversible and Optimal Lambda-Machines (TCS 227, 1999)
Vincent Danos, Laurent
Regnier .
Timeless Games (CSL'97)
Patrick Baillot , Vincent Danos,
Thomas Ehrhard ,
Laurent Regnier.
Believe it or not, AJM's games model is a model of classical Linear Logic
(LICS'97) Patrick Baillot, Vincent Danos, Thomas Ehrhard,
Laurent Regnier.
Directed virtual reductions (CSL'96) Vincent Danos,
Marco Pedicini , Laurent Regnier.
Games
Semantics and Abstract Machines (LICS'96),
Vincent Danos, Hugo Herbelin ,
Laurent Regnier.
Computational isomorphisms in classical logic
(TCS 294, 2003) Vincent Danos, Jean-Baptiste Joinet,
Harold Schellinx .
A new deconstructive logic: Linear Logic
(JSL 62, 1997) Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx.
LKQ and LKT: sequent calculi for second order logic based upon dual
linear decompositions of the classical implication
(London Mathematical Society Lecture Notes, 222, 1995)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx.
On the linear decoration of intuitionistic derivations
(Archive for Mathematical Logic)
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx.
Proof-nets and
the Hilbert space (London Mathematical
Society Lecture Notes, 222, 1995) Vincent Danos, Laurent Regnier.
Paths in
Lambda-Calculus (LICS'94)
Andrea Asperti , Vincent Danos, Cosimo
Laneve , Laurent Regnier.
Local and Asynchronous
Beta Reduction (LICS'93) Vincent Danos, Laurent Regnier.
The structure of exponentials: uncovering the dynamics of linear logic
proofs (KGC'93) Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx.