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: Krivine:Jean
Contributed to:
20132010
2009
2008
2017Wrote 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.