Sylvain Pradalier Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2009
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro: From Biochemistry to Stochastic Processes. Electr. Notes Theor. Comput. Sci. 253(3): 167-185 (2009)
2008
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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): 17-30 (2008)
2007
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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: 168-183
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvain Pradalier, Catuscia Palamidessi: Expressiveness of Probabilistic pi. Electr. Notes Theor. Comput. Sci. 164(3): 119-136 (2006)
2004
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Vincent Danos, Sylvain Pradalier: Projective Brane Calculus. CMSB 2004: 134-148

Coauthor Index

1Alberto Credi
[j2] [c2]
2Vincent Danos
[c1]
3Marco Garavelli
[j2] [c2]
4Cosimo Laneve
[j3] [j2] [c2]
5Catuscia Palamidessi
[j1]
6Serena Silvi
[j2] [c2]
7Gianluigi Zavattaro
[j3] [j2] [c2]
Last update Thu May 23 07:53:33 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page