Jean Krivine

	2009
15		Jean Krivine, Vincent Danos, Arndt Benecke: Modelling Epigenetic Information Maintenance: A Kappa Tutorial. CAV 2009: 17-32
14		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling and Model Perturbation. T. Comp. Sys. Biology 11: 116-137 (2009)
	2008
13		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling, Symmetries, Refinements. FMSB 2008: 103-122
12		Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Abstract Interpretation of Cellular Signalling Networks. VMCAI 2008: 83-97
11		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Investigation of a Biological Repair Scheme. Workshop on Membrane Computing 2008: 1-12
10		Jean Krivine, Robin Milner, Angelo Troina: Stochastic Bigraphs. Electr. Notes Theor. Comput. Sci. 218: 73-96 (2008)
9		Pierre-Louis Curien, Vincent Danos, Jean Krivine, Min Zhang: Computational self-assembly. Theor. Comput. Sci. 404(1-2): 61-75 (2008)
	2007
8		Vincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine: Scalable Simulation of Cellular Signaling Networks. APLAS 2007: 139-157
7		Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine: Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41
6		Vincent Danos, Jean Krivine, Fabien Tarissan: Self-assembling Trees. Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007)
5		Vincent Danos, Jean Krivine, Pawel Sobocinski: General Reversibility. Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007)
4		Vincent Danos, Jean Krivine: Formal Molecular Biology Done in CCS-R. Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007)
	2006
3		Jean Krivine: A verification algorithm for Declarative Concurrent Programming CoRR abs/cs/0606095: (2006)
	2005
2		Vincent Danos, Jean Krivine: Transactions in RCCS. CONCUR 2005: 398-412
	2004
1		Vincent Danos, Jean Krivine: Reversible Communicating Systems. CONCUR 2004: 292-307

Coauthor Index

1	Arndt Benecke	[15]
2	Pierre-Louis Curien	[9]
3	Vincent Danos	[1] [2] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15]
4	Jérôme Feret	[7] [8] [11] [12] [13] [14]
5	Walter Fontana	[7] [8] [11] [12] [13] [14]
6	Russell Harmer	[7] [11] [13] [14]
7	Robin Milner	[10]
8	Pawel Sobocinski	[5]
9	Fabien Tarissan	[6]
10	Angelo Troina	[10]
11	Min Zhang	[9]

Colors in the list of coauthors