Sylvain Pradalier

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro
From Biochemistry to Stochastic Processes. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
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) (2008)
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)
Sylvain Pradalier, Catuscia Palamidessi
Expressiveness of Probabilistic pi. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Vincent Danos, Sylvain Pradalier
Projective Brane Calculus. CMSB (2004)