| |
| 2007 | ||
|---|---|---|
| 3 | EE | Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro: Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB 2007: 168-183 |
| 2006 | ||
| 2 | EE | Sylvain Pradalier, Catuscia Palamidessi: Expressiveness of Probabilistic pi. Electr. Notes Theor. Comput. Sci. 164(3): 119-136 (2006) |
| 2004 | ||
| 1 | EE | Vincent Danos, Sylvain Pradalier: Projective Brane Calculus. CMSB 2004: 134-148 |
| 1 | Alberto Credi | [3] |
| 2 | Vincent Danos | [1] |
| 3 | Marco Garavelli | [3] |
| 4 | Cosimo Laneve | [3] |
| 5 | Catuscia Palamidessi | [2] |
| 6 | Serena Silvi | [3] |
| 7 | Gianluigi Zavattaro | [3] |