| 2008 |
|---|
| 4 | EE | Alberto Credi,
Marco Garavelli,
Cosimo Laneve,
Sylvain Pradalier,
Serena Silvi,
Gianluigi Zavattaro:
nanoK: A calculus for the modeling and simulation of nano devices.
Theor. Comput. Sci. 408(1): 17-30 (2008) |
| 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 |
