Travelled to:1 × Canada
1 × Denmark
1 × Germany
1 × Greece
1 × Italy
1 × Sweden
1 × The Netherlands
2 × Poland
2 × United Kingdom
3 × France
3 × USA
Collaborated with:L.Regnier R.Harmer J.Krivine C.Laneve R.Heckel P.Sobocinski P.Panangaden E.Beffara J.Desharnais J.Krivine P.Baillot T.Ehrhard J.Feret W.Fontana A.Benecke E.Kashefi M.Pedicini H.Herbelin M.Hussein T.Heindel R.Honorato-Zimmer S.Stucki P.Chaput G.D.Plotkin A.Asperti
Talks about:model (6) game (4) abstract (3) semant (3) disjunct (2) approxim (2) process (2) network (2) reduct (2) markov (2)
Person: Vincent Danos
DBLP: Danos:Vincent
Contributed to:
2014
2014
2010
2009
2009
20082006
2003
20032003
20012000200019971997199619961994Wrote 19 papers:
- GT-VMT-2014-HusseinHDS #adaptation #modelling #network
- Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).
- ICGT-2014-DanosHHS #category theory
- Reversible Sesqui-Pushout Rewriting (VD, TH, RHZ, SS), pp. 161–176.
- ICGT-2014-DanosHS #refinement
- Transformation and Refinement of Rigid Structures (VD, RH, PS), pp. 146–160.
- LICS-2010-DanosFFHK #automation #difference #modelling #reduction #rule-based #semantics
- Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (VD, JF, WF, RH, JK), pp. 362–381.
- CAV-2009-KrivineDB #maintenance #modelling #tutorial
- Modelling Epigenetic Information Maintenance: A Kappa Tutorial (JK, VD, AB), pp. 17–32.
- ICALP-v2-2009-ChaputDPP #approximate #markov #process
- Approximating Markov Processes by Averaging (PC, VD, PP, GDP), pp. 127–138.
- VMCAI-2008-DanosFFK #abstract interpretation #network
- Abstract Interpretation of Cellular Signalling Networks (VD, JF, WF, JK), pp. 83–97.
- ICALP-v2-2006-DanosKP #quantum
- The One Way to Quantum Computation (VD, EK, PP), pp. 13–21.
- ESOP-2003-DanosL #biology
- Core Formal Molecular Biology (VD, CL), pp. 302–318.
- ICFP-2003-BeffaraD #exception #normalisation
- Disjunctive normal forms and local exceptions (EB, VD), pp. 203–211.
- LICS-2003-DanosD #approximate #markov #performance #process
- Labelled Markov Processes: Stronger and Faster Approximations (VD, JD), pp. 341–350.
- CSL-2001-DanosH
- The Anatomy of Innocence (VD, RH), pp. 188–202.
- CSL-2000-DanosK
- Disjunctive Tautologies as Synchronisation Schemes (VD, JLK), pp. 292–301.
- LICS-2000-DanosH #game studies #probability #semantics
- Probabilistic Game Semantics (VD, RH), pp. 204–213.
- CSL-1997-BaillotDER #game studies
- Timeless Games (PB, VD, TE, LR), pp. 56–77.
- LICS-1997-BaillotDE #game studies #linear #logic
- Believe it or not, AJM’s Games Model is a Model of Classical Linear Logic (PB, VD, TE, LR), pp. 68–75.
- CSL-1996-DanosPR #reduction
- Directed Virtual Reductions (VD, MP, LR), pp. 76–88.
- LICS-1996-DanosHR #automaton #game studies #semantics
- Game Semantics & Abstract Machines (VD, HH, LR), pp. 394–405.
- LICS-1994-AspertiDLR #λ-calculus
- Paths in the λ-calculus (AA, VD, CL, LR), pp. 426–436.