Projective Brane Calculus. - Vincent Danos; Sylvain Pradalier (CMSB, 2004)

Expressiveness of Probabilistic pi. - Sylvain Pradalier; Catuscia Palamidessi (QAPL, 2006)

Modelization and Simulation of Nano Devices in $ mathtt{nano} kappa$ Calculus. - Alberto Credi; Marco Garavelli; Cosimo Laneve; Sylvain Pradalier; Serena Silvi; Gianluigi Zavattaro (CMSB, 2007)

nanoK: A calculus for the modeling and simulation of nano devices. - Alberto Credi; Marco Garavelli; Cosimo Laneve; Sylvain Pradalier; Serena Silvi; Gianluigi Zavattaro (Theor. Comput. Sci., 2008)

From Biochemistry to Stochastic Processes. - Cosimo Laneve; Sylvain Pradalier; Gianluigi Zavattaro (QAPL, 2009)

A formal approach to the modeling, simulation and analysis of nano-devices. - Sylvain Pradalier (2009)