 |
|
|
|
| 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