2008 |
13 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements.
FMSB 2008: 103-122 |
12 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Abstract Interpretation of Cellular Signalling Networks.
VMCAI 2008: 83-97 |
11 | EE | 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 | EE | Jean Krivine,
Robin Milner,
Angelo Troina:
Stochastic Bigraphs.
Electr. Notes Theor. Comput. Sci. 218: 73-96 (2008) |
9 | EE | Pierre-Louis Curien,
Vincent Danos,
Jean Krivine,
Min Zhang:
Computational self-assembly.
Theor. Comput. Sci. 404(1-2): 61-75 (2008) |
2007 |
8 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Scalable Simulation of Cellular Signaling Networks.
APLAS 2007: 139-157 |
7 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling of Cellular Signalling.
CONCUR 2007: 17-41 |
6 | EE | Vincent Danos,
Jean Krivine,
Fabien Tarissan:
Self-assembling Trees.
Electr. Notes Theor. Comput. Sci. 175(1): 19-32 (2007) |
5 | EE | Vincent Danos,
Jean Krivine,
Pawel Sobocinski:
General Reversibility.
Electr. Notes Theor. Comput. Sci. 175(3): 75-86 (2007) |
4 | EE | Vincent Danos,
Jean Krivine:
Formal Molecular Biology Done in CCS-R.
Electr. Notes Theor. Comput. Sci. 180(3): 31-49 (2007) |
2006 |
3 | EE | Jean Krivine:
A verification algorithm for Declarative Concurrent Programming
CoRR abs/cs/0606095: (2006) |
2005 |
2 | EE | Vincent Danos,
Jean Krivine:
Transactions in RCCS.
CONCUR 2005: 398-412 |
2004 |
1 | EE | Vincent Danos,
Jean Krivine:
Reversible Communicating Systems.
CONCUR 2004: 292-307 |