Giovanni Pardini

Postdoctoral Research Fellow

Contact details

Publications

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and G. Pardini
"Spatial Calculus of Looping Sequences" [@elsevier]
Theoretical Computer Science, Volume 412, Issue 43, pages 5976-6001, 2011.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, G. Pardini and L. Tesei
"Spatial P Systems" [pdf] [@springer]
Natural Computing, Volume 10, Number 1, pages 3-16, 2011.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo, G.Pardini and A.Rama
"A Process Calculus for Molecular Interaction Maps" [@eptcs]
3rd Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), Bologna, Italy, September, 2009, EPTCS 11, pages 35-50, 2009.

R.Barbuti, D.Lepri, A.Maggiolo-Schettini, P.Milazzo, G.Pardini and A.Rama
"Simulation of Kohn's Molecular Interaction Maps Through Traslation into Stochastic CLS+" [pdf] [@springer]
7th Int. Conference Perspectives of System Informatics, Novosibirsk, Russia, June 2009, Springer LNCS 5947, pages 58-69, 2009.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and G.Pardini
"Spatial Calculus of Looping Sequences" [pdf] [@elsevier]
Int. Workshop From Biology to Concurrency and Back (FBTC'08), Elsevier ENTCS, Volume 229, Number 1, pages 21-39, Reykjavik, Iceland, July, 2008.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini, P.Milazzo and G.Pardini
"The Calculus of Looping Sequences" [pdf] [@springer]
Chapter in: M.Bernardo, P.Degano and G.Zavattaro (Eds.): Formal Methods for Computational Systems Biology (SFM 2008), Springer LNCS 5016, pages 387-423, 2008.

Teaching

Java (PR2)

C (PRL)