| 2008 |
|---|
| 8 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements.
FMSB 2008: 103-122 |
| 7 | EE | Walter Fontana:
Systems biology, models, and concurrency.
POPL 2008: 1-2 |
| 6 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Abstract Interpretation of Cellular Signalling Networks.
VMCAI 2008: 83-97 |
| 5 | 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 |
| 2007 |
|---|
| 4 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Jean Krivine:
Scalable Simulation of Cellular Signaling Networks.
APLAS 2007: 139-157 |
| 3 | EE | Vincent Danos,
Jérôme Feret,
Walter Fontana,
Russell Harmer,
Jean Krivine:
Rule-Based Modelling of Cellular Signalling.
CONCUR 2007: 17-41 |
| 2005 |
|---|
| 2 | EE | Walter Fontana:
Logic and Systems Biology.
LICS 2005: 344 |
| 1994 |
|---|
| 1 | | Walter Fontana,
Günter P. Wagner,
Leo W. Buss:
Beyond Digital Naturalism.
Artificial Life 1(1-2): 211-228 (1994) |
