Sylvain Pradalier

According to our database, Sylvain Pradalier authored at least 6 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

A formal approach to the modeling, simulation and analysis of nano-devices.

Sylvain Pradalier

PhD thesis, 2009

From Biochemistry to Stochastic Processes.

Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

2008

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

2007

Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.

Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006

Expressiveness of Probabilistic pi.

Sylvain Pradalier, Catuscia Palamidessi

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

2004

Projective Brane Calculus.

Vincent Danos, Sylvain Pradalier

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004