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 × France
1 × United Kingdom
2 × USA
Collaborated with:
V.Danos J.Feret W.Fontana I.Cristescu D.Varacca A.Benecke P.Boutillier T.Ehrhard R.Harmer
Talks about:
model (3) abstract (2) semant (2) differenti (1) interpret (1) increment (1) epigenet (1) composit (1) cellular (1) calculus (1)

Person: Jean Krivine

DBLP DBLP: Krivine:Jean

Contributed to:

LICS 20132013
LICS 20102010
CAV 20092009
VMCAI 20082008
ESOP 20172017

Wrote 5 papers:

LICS-2013-CristescuKV #calculus #composition #semantics
A Compositional Semantics for the Reversible p-Calculus (IC, JK, DV), pp. 388–397.
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.
VMCAI-2008-DanosFFK #abstract interpretation #network
Abstract Interpretation of Cellular Signalling Networks (VD, JF, WF, JK), pp. 83–97.
ESOP-2017-BoutillierEK #graph grammar #incremental
Incremental Update for Graph Rewriting (PB, TE, JK), pp. 201–228.

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.