People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers (co-)authored by Sylvain Pradalier

[1] Cosimo Laneve, Sylvain Pradalier, and Gianluigi Zavattaro. From biochemistry to stochastic processes. In Proceedings of the 7th Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), volume 253 (3), pages 167-185, 2009.
[ bib ]
[2] Sylvain Pradalier. An approach to the modeling, simulation and analysis of nano-devices. PhD thesis, LIX, Ecole Polytechnique, France, 2009.
[ bib ]
[3] Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, and Gianluigi Zavattaro. nanok: A calculus for the modeling and simulation of nano devices. Theoretical Computer Science, 408(1):17-30, 2008.
[ bib ]
[4] Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, and Gianluigi Zavattaro. Modelization and simulation of nano devices in nanoκ calculus. In Muffy Calder and Stephen Gilmore, editors, Proceedings of the International Conference on Computational Methods in Systems Biology, (CMSB), volume 4695 of Lecture Notes in Computer Science, pages 168-183. Springer, 2007.
[ bib ]
[5] Sylvain Pradalier and Catuscia Palamidessi. Expressiveness of probabilistic π-calculi. In Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL), volume 164 (3) of Electronic Notes in Theoretical Computer Science, pages 119-136. Elsevier Science B.V., 2006. http://www.lix.polytechnique.fr/~catuscia/papers/Sylvain/QAPL06/FinalBis.pdf.
[ bib ]
[6] Sylvain Pradalier, 2005. Rapport de stage. Master Parisien de Recherche en Informatique. http://mpri.master.univ-paris7.fr/attached-documents/stages-2005-rapports/rapport-2005-pradalier.pdf.
[ bib ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi