| 2009 | ||
|---|---|---|
| j3 | Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro: From Biochemistry to Stochastic Processes. Electr. Notes Theor. Comput. Sci. 253(3): 167-185 (2009) | |
| 2008 | ||
| j2 | 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 | ||
| c2 | 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 | ||
| j1 | Sylvain Pradalier, Catuscia Palamidessi: Expressiveness of Probabilistic pi. Electr. Notes Theor. Comput. Sci. 164(3): 119-136 (2006) | |
| 2004 | ||
| c1 | ||
| 1 | Alberto Credi | |
| 2 | Vincent Danos | |
| 3 | Marco Garavelli | |
| 4 | Cosimo Laneve | |
| 5 | Catuscia Palamidessi | |
| 6 | Serena Silvi | |
| 7 | Gianluigi Zavattaro |
Data released under the ODC-BY 1.0 license — See also our legal information page