| 2008 |
|---|
| 11 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements.
FMSB 2008: 103-122 |
| 10 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Abstract Interpretation of Cellular Signalling Networks.
VMCAI 2008: 83-97 |
| 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 |
