@COMMENT{{{This file has been generated by bib2bib 1.74}}

@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "pradalier"' papers.bib}}

@INPROCEEDINGS{Laneve:09:QAPL,
  AUTHOR = {Cosimo Laneve and Sylvain Pradalier and Gianluigi Zavattaro},
  BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
  BOOKTITLE = {Proceedings of the 7th Workshop on Quantitative Aspects of Programming Languages (QAPL 2009)},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  EE = {http://dx.doi.org/10.1016/j.entcs.2009.10.011},
  JOURNAL = {Electronic Notes in Theoretical Computer Science},
  PAGES = {167-185},
  TITLE = {From Biochemistry to Stochastic Processes},
  VOLUME = {253 (3)},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-PAYS = {IT},
  X-PROCEEDINGS = {yes},
  YEAR = {2009}
}

@PHDTHESIS{Pradalier:09:Thesis,
  AUTHOR = {Sylvain Pradalier},
  DATE-ADDED = {2010-12-30 03:55:02 +0100},
  DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
  LIXEQUIPE = {comete},
  SCHOOL = {LIX, Ecole Polytechnique, France},
  TITLE = {An approach to the modeling, simulation and analysis of nano-devices},
  YEAR = 2009
}

@ARTICLE{Credi:08:TCS,
  AUTHOR = {Alberto Credi and Marco Garavelli and Cosimo Laneve and Sylvain Pradalier and Serena Silvi and Gianluigi Zavattaro},
  DATE-ADDED = {2008-12-24 18:08:11 +0100},
  DATE-MODIFIED = {2008-12-24 18:09:22 +0100},
  DOI = {10.1016/j.tcs.2008.07.006},
  JOURNAL = {Theoretical Computer Science},
  NUMBER = {1},
  PAGES = {17-30},
  TITLE = {nanoK: A calculus for the modeling and simulation of nano devices},
  VOLUME = {408},
  YEAR = {2008},
  BDSK-URL-1 = {http://dx.doi.org/10.1016/j.tcs.2008.07.006}
}

@INPROCEEDINGS{Pradalier:06:QAPL,
  AUTHOR = {Sylvain Pradalier and Catuscia Palamidessi},
  BOOKTITLE = {Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL)},
  NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Sylvain/QAPL06/FinalBis.pdf}},
  PAGES = {119--136},
  PUBLISHER = {Elsevier Science B.V.},
  SERIES = {Electronic Notes in Theoretical Computer Science},
  TITLE = {Expressiveness of probabilistic $\pi$-calculi},
  VOLUME = {164 (3)},
  YEAR = 2006
}

@INPROCEEDINGS{Credi:07:CMSB,
  AUTHOR = {Alberto Credi and Marco Garavelli and Cosimo Laneve and Sylvain Pradalier and Serena Silvi and Gianluigi Zavattaro},
  BOOKTITLE = {Proceedings of the International Conference on Computational Methods in Systems Biology, (CMSB)},
  EDITOR = {Muffy Calder and Stephen Gilmore},
  PAGES = {168--183},
  PUBLISHER = {Springer},
  SERIES = {Lecture Notes in Computer Science},
  TITLE = {Modelization and Simulation of Nano Devices in {\tt nano}$\kappa$ Calculus},
  VOLUME = {4695},
  YEAR = {2007}
}

@MISC{Pradalier:05:RS,
  AUTHOR = {Sylvain Pradalier},
  NOTE = {Rapport de stage. Master Parisien de Recherche en Informatique. \url{http://mpri.master.univ-paris7.fr/attached-documents/stages-2005-rapports/rapport-2005-pradalier.pdf}},
  YEAR = 2005
}

This file has been generated by bibtex2html 1.74