BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Danos:Vincent

Contributed to:

GT-VMT 20142014
ICGT 20142014
LICS 20102010
CAV 20092009
ICALP (2) 20092009
VMCAI 20082008
ICALP (2) 20062006
ESOP 20032003
ICFP 20032003
LICS 20032003
CSL 20012001
CSL 20002000
LICS 20002000
CSL 19971997
LICS 19971997
CSL 19961996
LICS 19961996
LICS 19941994

Wrote 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.
The Anatomy of Innocence (VD, RH), pp. 188–202.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.