Assistant Professor (Ricercatore) at the Department of Computer Science of the University of Pisa

Mail:
Università di Pisa, Dipartimento di Informatica

Mail:
Largo B. Pontecorvo, 3 - 56127 Pisa - Italy

Phone: +39 050 2213144

Short Bio

Born in Budrio (Bologna), Italy on January 31, 1979

Diploma of*Ragioniere Programmatore* obtained in July 1998 at *ITC E.Mattei* of S.Lazzaro (BO)

Master Degree in Computer Science obtained in October 2003 at the University of Bologna

PhD Degree in Computer Science obtained in June 2007 at the University of Pisa

Research fellow since January 2007 at the Department of Computer Science of the University of Pisa

Assistant Professor since December 2011 at the Department of Computer Science of the University of Pisa

Diploma of

Master Degree in Computer Science obtained in October 2003 at the University of Bologna

PhD Degree in Computer Science obtained in June 2007 at the University of Pisa

Research fellow since January 2007 at the Department of Computer Science of the University of Pisa

Assistant Professor since December 2011 at the Department of Computer Science of the University of Pisa

News

Old events

- PC Chair of MoKMaSD 2015

- PC Member of OpenCert 2014

- PC Member of VEMDP 2014

- PC Chair of MoKMaSD 2014

- PC Chair of MoKMaSD 2013

- PC Member of OpenCert 2013

- PC Member of MeCBIC 2013

- PC Member of CS2Bio 2013

- PC Member of MeCBIC 2012

- PC Member of CS2Bio 2012

- PC Member of MoKMaSD 2012

- PC Member of OpenCert 2011

- PC Member of MeCBIC 2011

- PC Member of CS2Bio 2011

- PC Member of Modelling for Sustainable Development (Special track of SEFM'11)

- PC Chair and organiser of AMCA-POP 2010

- PC Member of CS2Bio 2010

- PC Member of OpenCert 2010

- Organiser of SEFM School 2010

- PC Member of MeCBIC 2010

- PC Member of OpenCert 2014

- PC Member of VEMDP 2014

- PC Chair of MoKMaSD 2014

- PC Chair of MoKMaSD 2013

- PC Member of OpenCert 2013

- PC Member of MeCBIC 2013

- PC Member of CS2Bio 2013

- PC Member of MeCBIC 2012

- PC Member of CS2Bio 2012

- PC Member of MoKMaSD 2012

- PC Member of OpenCert 2011

- PC Member of MeCBIC 2011

- PC Member of CS2Bio 2011

- PC Member of Modelling for Sustainable Development (Special track of SEFM'11)

- PC Chair and organiser of AMCA-POP 2010

- PC Member of CS2Bio 2010

- PC Member of OpenCert 2010

- Organiser of SEFM School 2010

- PC Member of MeCBIC 2010

Teaching (Didattica)

AA 2015/2016

Programmazione Java (CdLM Informatica Umanistica).

Architettura dell'Informazione (Master in Turismo e ICT).

Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).

AA 2014/2015

Programmazione Java (CdLM Informatica Umanistica).

Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).

Laboratorio didattico-pedagogico per l'insegnamento (TFA 2015).

AA 2013/2014

Programmazione Java (CdLM Informatica Umanistica).

Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).

Laboratorio 2 (PAS 2014).

AA 2012/2013

LAB2 - Laboratorio di Basi di Dati e Reti (Tirocinio Formativo Attivo - Pisa).

Metodologie Informatiche applicate al Turismo.

Programmazione I - Laboratorio (CdL Informatica).

AA 2011/2012

Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca)

AA 2010/2011

Web Programming (CdL Informatica Applicata - La Spezia).

Fondamenti di Algoritmi (CdLM Informatica per l'Economia e l'Azienda - Livorno).

Laboratorio di Basi di Dati (CdLM Informatica per l'Economia e l'Azienda - Livorno).

AA 2009/2010

Laboratorio di Linguaggi di Programmazione (CdL Matematica).

Lezioni nel corso di Bioinformatica (CdL Informatica).

AA 2009/2010

Laboratorio di Linguaggi di Programmazione (CdL Matematica).

Programmazione Java (CdLM Informatica Umanistica).

Architettura dell'Informazione (Master in Turismo e ICT).

Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).

AA 2014/2015

Programmazione Java (CdLM Informatica Umanistica).

Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).

Laboratorio didattico-pedagogico per l'insegnamento (TFA 2015).

AA 2013/2014

Programmazione Java (CdLM Informatica Umanistica).

Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).

Laboratorio 2 (PAS 2014).

AA 2012/2013

LAB2 - Laboratorio di Basi di Dati e Reti (Tirocinio Formativo Attivo - Pisa).

Metodologie Informatiche applicate al Turismo.

Programmazione I - Laboratorio (CdL Informatica).

AA 2011/2012

Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca)

AA 2010/2011

Web Programming (CdL Informatica Applicata - La Spezia).

Fondamenti di Algoritmi (CdLM Informatica per l'Economia e l'Azienda - Livorno).

Laboratorio di Basi di Dati (CdLM Informatica per l'Economia e l'Azienda - Livorno).

AA 2009/2010

Laboratorio di Linguaggi di Programmazione (CdL Matematica).

Lezioni nel corso di Bioinformatica (CdL Informatica).

AA 2009/2010

Laboratorio di Linguaggi di Programmazione (CdL Matematica).

Research

- Formal Methods in Systems Biology

- Process Algebras

- Simulation of Biological Systems

- Membrane Computing

- Automata Theory and Applications

- Term Rewriting Systems

- Foundations for Web Service Orchestration and Long Running Transactions

- Process Algebras

- Simulation of Biological Systems

- Membrane Computing

- Automata Theory and Applications

- Term Rewriting Systems

- Foundations for Web Service Orchestration and Long Running Transactions

Projects

- Biologically Inspired Systems and Calculi and their Applications (BISCA) (MiUR PRIN 2006)

- Automata: from Mathematics to Applications (AutoMathA) (European Science Foundation)

- Automata: from Mathematics to Applications (AutoMathA) (European Science Foundation)

Book

P.Milazzo

**"Formal Modeling in Systems Biology. An approach from Theoretical Computer Science"**
[amazon]

VDM - Verlag Dr. Muller, Saarbrucken, Germany, 2008.

Phd Thesis

P. Milazzo, **Qualitative and Quantitative Formal Modeling of Biological Systems**, April, 2007
[avail. here]

Publications
(to be updated...)

COPYRIGHT: Most of the papers available from this page are draft version of papers appeared in print, whose copyright is held by the publisher. While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited. As regards papers published by Springer and Elsevier, the original publications are available at www.springerlink.com and www.sciencedirect.com, respectively.

R. Barbuti, F. Levi, P. Milazzo and G. Scatena

** "Probabilistic Model Checking Of Biological Systems With Uncertain Kinetic Rates" **
[pdf]

Theoretical Computer Science, in press.

R. Barbuti, D.R. Cacciagrano, A. Maggiolo-Schettini, P. Milazzo, L. Tesei

** "A Testing Framework for P Systems"**
[pdf]
[@CoRR]

Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'11), Paris, France, August 2011.

R. Barbuti, F. Levi, P. Milazzo and G. Scatena

** "Maximally Parallel Probabilistic Semantics for Multiset Rewriting" **
[pdf]

Fundamenta Informaticae, in press.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and G. Pardini

** "Spatial Calculus of Looping Sequences" **
[pdf]
[@elsevier]

Theoretical Computer Science, Volume 412, pages 5976-6001, 2011.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini

** "An Overview on Operational Semantics in Membrane Computing"**
[pdf]
[@WorldScientific]

International Journal of Foundations of Computer Science, Volume 22, pages 119-132, 2011.

R. Barbuti, M. Dezani-Ciancaglini, A. Maggiolo-Schettini, P. Milazzo and A. Troina

** "A Formalism for the Description of Protein Interaction"**
[pdf]

Fundamenta Informaticae, Volume 103, pages 1-29, 2010.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini

** "Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings"**
[pdf]
[@springer]

11th Conference on Membrane Computing (CMC11), Jena, Germany, August 2010, LNCS 6501, pages 102-117, 2011. (appeared in the pre-proceedings with the title "On the Expressive Power of Membrane Systems Working in Accepting Mode").

T.A. Basuki, A. Cerone, R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and E. Rossi

** "Modelling the Dynamics of an Aedes albopictus Population"**
[@eptcs]

1st Int. Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology (AMCA-POP 2010), Jena, Germany, August 2010, EPTCS 33, pages 18-36, 2010.

P. Drabik, A. Maggiolo-Schettini and P.Milazzo

** "Dynamic Sync-programs for Modular Verification of Biological Systems"**
[pdf]

2nd Int. Workshop on Non-Classical Models of Automata and applications (NCMA'10), Jena, Germany, August 2010.

R. Barbuti, G. Caravagna, P. Milazzo, A. Maggiolo-Schettini and S. Tini

** "Aspects of Multiscale Modelling in a Process Algebra for Biological Systems"**
[@eptcs]

Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'10), Jena, Germany, August 2010, EPTCS 40, pages 54-69, 2010.

P. Drabik, A. Maggiolo-Schettini and P.Milazzo

** "Modular Verification of Interactive Systems with an Application to Biology"**
[pdf]
[@elsevier]

1st Int. Workshop on Interactions Between Computer Science and Biology (CS2Bio'10), Amsterdam, The Netherlands, June 2010, in press.

R. Barbuti, G. Caravagna, A. Maggiolo-Schettini and P. Milazzo

** "Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach" **
[pdf]
[@springer]

Transactions on Computational Systems Biology XIII, Springer LNCS journal, Volume 6575, pages 61-84, 2011.

G. Caravagna, A. d'Onofrio, P. Milazzo and R. Barbuti

** "Tumour Suppression by Immune System Through Stochastic Oscillations"**
[@elsevier]

Journal of Theoretical Biology, Volume 265, Issue 3, pages 336-345, 2010.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, G. Pardini and L. Tesei

**"Spatial P Systems"**
[pdf]
[@springer]

Natural Computing, Volume 10, pages 3-16, 2011.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini

**"Compositional Semantics of Spiking Neural P Systems"**
[pdf]
[@elsevier]

Journal of Logic and Algebraic Programming, Volume 79, Issue 6, pages 304-316, 2010.

R.Barbuti, D.P.Gruska, A.Maggiolo-Schettini and P.Milazzo

**"A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security"**
[pdf]

Fundamenta Informaticae, Volume 102, Issue 1, pages 19-34, 2010. A preliminary version appeared in Int. Workshop on Concurrency, Specification and Programming (CS&P'09).

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo

**"On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems"**
[@eptcs]

2nd Int. Workshop on Computational Models for Cell Processes (CompMod'09), Eindhoven, the Netherlands, November, 2009, EPTCS 6, pages 17-29, 2009.

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, F.Levi, P.Milazzo and G.Scatena

**"Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates"**
[pdf]
[@springer]

3rd Int. Conference on Reachability Problems (RP'06), Ecole Polytechnique, France, September 2009, Springer LNCS 5797, pages 64-78, 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 L.Tesei

**"Timed P Automata"**
[pdf]

Fundamenta Informaticae, Volume 94, Number 1, pages 1-19, 2009. A preliminary version appeared in Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08), Elsevier ENTCS, Volume 227, pages 21-36, Iasi, Romania, September, 2008. (available here: [pdf] [@elsevier])

R.Barbuti, G. Caravagna, A.Maggiolo-Schettini and P.Milazzo

**"P Systems with endosomes"**
[pdf]
[@IJCCC]

International Journal of Computers, Communications & Control, Volume IV, Number 3, pages 214-223, 2009. A preliminary version appeared in 7th Brainstorming Week on Membrane Computing, Seville, Spain, February, 2009.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection"**
[pdf]
[@WorldScientific]

Journal of Biological Systems, World Scientific Publishing, Volume 17, Issue 3, pages 349-376, 2009.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and S.Tini

**"P Systems with Transport and Diffusion Membrane Channels"**
[pdf]

Fundamenta Informaticae, Volume 93, Number 1-3, pages 17-31, 2009. A preliminary version appeared in Int. Workshop on Concurrency, Specification and Programming (CS&P'08), Gross Vaeter, Germany, September, 2008.

T.A.Basuki, A.Cerone and P.Milazzo

**"Translation of Stochastic CLS into MAUDE"**
[pdf]
[@elsevier]

Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08), Elsevier ENTCS, Volume 227, pages 37-58, Iasi, Romania, September, 2008.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo

**"An Intermediate Language for Stochastic Simulation of Biological Systems"**
[pdf]
[@elsevier]

Theoretical Computer Science, Volume 410, Issue 33-34, pages 3085-3109, 2009.

R.Lanotte, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"Design and Verification of Long-Running Transactions in a Timed Framework"**
[pdf]
[@elsevier]

Science of Computer Programming, Volume 73, Number 2-3, pages 76-94, 2008.

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, A.Maggiolo-Schettini, P.Milazzo and S.Tini

**"A P Systems Flat Form Preserving Step-by-step Behaviour"**
[pdf]

Fundamenta Informaticae, Volume 87, Number 1, pages 1-34, 2008.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo, P. Tiberi and A.Troina

**"Stochastic CLS for the Modeling and Simulation of Biological Systems"**
[pdf]
[@springer]

Transactions on Computational Systems Biology IX, Springer LNCS journal, Volume 5121, pages 86-113, 2008.

D.P.Gruska, A.Maggiolo-Schettini and P.Milazzo

**"Security in a Model for Long-running Transactions"**
[pdf]

Fundamenta Informaticae, Volume 85, Issue 1-4, pages 189-203, 2008. A preliminary version appeared in Concurrency Specification and Programming (CS&P'07), Lagow, Poland, September 2007.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and S.Tini

**"Towards a P Systems Normal Form Preserving Step-by-step Behaviour"**
[pdf]

6th Brainstorming Week on Membrane Computing, Seville, Spain, February, 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.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and S.Tini

**"Compositional Semantics and Behavioral Equivalences for P Systems"**
[pdf]
[@elsevier]

Theoretical Computer Science, Volume 395, Issue 1, pages 77-100, 2008.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"Bisimulations in Calculi Modelling Membranes"**
[pdf]
[@springer]

Formal Aspects of Computing, Volume 20, Issue 4-5, pages 351-377, 2008. (©British Computer Society)

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo

**"An Intermediate Language for Simulation of Biological Systems"**
[pdf]
[@elsevier]

Int. Workshop From Biology to Concurrency and Back (FBTC'07), Elsevier ENTCS 194 (3), pages 19-34, Lisbon, Portugal, September, 2007.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"The Calculus of Looping Sequences for Modeling Biological Membranes"**
[pdf]
[@springer]

Invited paper at the 8th Workshop on Membrane Computing (WMC8), Springer LNCS 4860, pages 54-76, Thessaloniki, Greece, June, 2007.

R.Barbuti, A.Maggiolo-Schettini and P.Milazzo

**"Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level"**
[pdf]
[@springer]

International Symposium on Bioinformatics Research and Applications (ISBRA'07), Springer LNBI 4463, pages 638-649, Atlanta, GA, May, 2007.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"Bisimulation Congruences in the Calculus of Looping Sequences"**
[pdf]
[@springer]

International Colloquium on Theoretical Aspects of Computing (ICTAC'06), Springer LNCS 4281, pages 93-107, Tunis, Tunisia, November, 2006.

R.Lanotte, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"Modeling Long-running Transactions with Communicating Hierarchical Timed Automata"**
[pdf]
[@springer]

8th IFIP Int. Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), Springer LNCS 4037, pages 108-122, Bologna, Italy, June, 2006.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"A Calculus of Looping Sequences for Modelling Microbiological Systems"**
[pdf]

Fundamenta Informaticae, Volume 72, Number 1-3, pages 21-35, 2006. A preliminary version appeared in Concurrency Specification and Programming (CS&P'05), Ruciane-Nida, Poland, September 2005.

S.Carpineti, C.Laneve and P.Milazzo

**"BoPi: a Distributed Machine for Experimenting Web Service Technologies"**
[pdf]

Application of Concurrency to System Design (ACSD'05), pages 202-211, IEEE CS Press, St-Malo, France, June 2005.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions"**
[pdf]

Computational Methods in Systems Biology (CMSB'05), Edinburgh, Scotland, April 2005.

R.Barbuti, S.Cataudella, A.Maggiolo-Schettini, P.Milazzo and A.Troina

**"A Probabilistic Model for Molecular Systems"**
[pdf]

Fundamenta Informaticae, Volume 67, Number 1-3, pages 13-27, June-July 2005. A preliminary version appeared in Concurrency Specification and Programming (CS&P'04), Caputh, Germany, September 2004.

R. Barbuti, F. Levi, P. Milazzo and G. Scatena

Theoretical Computer Science, in press.

R. Barbuti, D.R. Cacciagrano, A. Maggiolo-Schettini, P. Milazzo, L. Tesei

Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'11), Paris, France, August 2011.

R. Barbuti, F. Levi, P. Milazzo and G. Scatena

Fundamenta Informaticae, in press.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and G. Pardini

Theoretical Computer Science, Volume 412, pages 5976-6001, 2011.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini

International Journal of Foundations of Computer Science, Volume 22, pages 119-132, 2011.

R. Barbuti, M. Dezani-Ciancaglini, A. Maggiolo-Schettini, P. Milazzo and A. Troina

Fundamenta Informaticae, Volume 103, pages 1-29, 2010.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini

11th Conference on Membrane Computing (CMC11), Jena, Germany, August 2010, LNCS 6501, pages 102-117, 2011. (appeared in the pre-proceedings with the title "On the Expressive Power of Membrane Systems Working in Accepting Mode").

T.A. Basuki, A. Cerone, R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and E. Rossi

1st Int. Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology (AMCA-POP 2010), Jena, Germany, August 2010, EPTCS 33, pages 18-36, 2010.

P. Drabik, A. Maggiolo-Schettini and P.Milazzo

2nd Int. Workshop on Non-Classical Models of Automata and applications (NCMA'10), Jena, Germany, August 2010.

R. Barbuti, G. Caravagna, P. Milazzo, A. Maggiolo-Schettini and S. Tini

Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'10), Jena, Germany, August 2010, EPTCS 40, pages 54-69, 2010.

P. Drabik, A. Maggiolo-Schettini and P.Milazzo

1st Int. Workshop on Interactions Between Computer Science and Biology (CS2Bio'10), Amsterdam, The Netherlands, June 2010, in press.

R. Barbuti, G. Caravagna, A. Maggiolo-Schettini and P. Milazzo

Transactions on Computational Systems Biology XIII, Springer LNCS journal, Volume 6575, pages 61-84, 2011.

G. Caravagna, A. d'Onofrio, P. Milazzo and R. Barbuti

Journal of Theoretical Biology, Volume 265, Issue 3, pages 336-345, 2010.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, G. Pardini and L. Tesei

Natural Computing, Volume 10, pages 3-16, 2011.

R. Barbuti, A. Maggiolo-Schettini, P. Milazzo and S. Tini

Journal of Logic and Algebraic Programming, Volume 79, Issue 6, pages 304-316, 2010.

R.Barbuti, D.P.Gruska, A.Maggiolo-Schettini and P.Milazzo

Fundamenta Informaticae, Volume 102, Issue 1, pages 19-34, 2010. A preliminary version appeared in Int. Workshop on Concurrency, Specification and Programming (CS&P'09).

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo

2nd Int. Workshop on Computational Models for Cell Processes (CompMod'09), Eindhoven, the Netherlands, November, 2009, EPTCS 6, pages 17-29, 2009.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo, G.Pardini and A.Rama

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, F.Levi, P.Milazzo and G.Scatena

3rd Int. Conference on Reachability Problems (RP'06), Ecole Polytechnique, France, September 2009, Springer LNCS 5797, pages 64-78, 2009.

R.Barbuti, D.Lepri, A.Maggiolo-Schettini, P.Milazzo, G.Pardini and A.Rama

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 L.Tesei

Fundamenta Informaticae, Volume 94, Number 1, pages 1-19, 2009. A preliminary version appeared in Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08), Elsevier ENTCS, Volume 227, pages 21-36, Iasi, Romania, September, 2008. (available here: [pdf] [@elsevier])

R.Barbuti, G. Caravagna, A.Maggiolo-Schettini and P.Milazzo

International Journal of Computers, Communications & Control, Volume IV, Number 3, pages 214-223, 2009. A preliminary version appeared in 7th Brainstorming Week on Membrane Computing, Seville, Spain, February, 2009.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

Journal of Biological Systems, World Scientific Publishing, Volume 17, Issue 3, pages 349-376, 2009.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and S.Tini

Fundamenta Informaticae, Volume 93, Number 1-3, pages 17-31, 2009. A preliminary version appeared in Int. Workshop on Concurrency, Specification and Programming (CS&P'08), Gross Vaeter, Germany, September, 2008.

T.A.Basuki, A.Cerone and P.Milazzo

Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08), Elsevier ENTCS, Volume 227, pages 37-58, Iasi, Romania, September, 2008.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo

Theoretical Computer Science, Volume 410, Issue 33-34, pages 3085-3109, 2009.

R.Lanotte, A.Maggiolo-Schettini, P.Milazzo and A.Troina

Science of Computer Programming, Volume 73, Number 2-3, pages 76-94, 2008.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and G.Pardini

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, A.Maggiolo-Schettini, P.Milazzo and S.Tini

Fundamenta Informaticae, Volume 87, Number 1, pages 1-34, 2008.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo, P. Tiberi and A.Troina

Transactions on Computational Systems Biology IX, Springer LNCS journal, Volume 5121, pages 86-113, 2008.

D.P.Gruska, A.Maggiolo-Schettini and P.Milazzo

Fundamenta Informaticae, Volume 85, Issue 1-4, pages 189-203, 2008. A preliminary version appeared in Concurrency Specification and Programming (CS&P'07), Lagow, Poland, September 2007.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and S.Tini

6th Brainstorming Week on Membrane Computing, Seville, Spain, February, 2008.

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini, P.Milazzo and G.Pardini

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.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and S.Tini

Theoretical Computer Science, Volume 395, Issue 1, pages 77-100, 2008.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

Formal Aspects of Computing, Volume 20, Issue 4-5, pages 351-377, 2008. (©British Computer Society)

R.Barbuti, G.Caravagna, A.Maggiolo-Schettini and P.Milazzo

Int. Workshop From Biology to Concurrency and Back (FBTC'07), Elsevier ENTCS 194 (3), pages 19-34, Lisbon, Portugal, September, 2007.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

Invited paper at the 8th Workshop on Membrane Computing (WMC8), Springer LNCS 4860, pages 54-76, Thessaloniki, Greece, June, 2007.

R.Barbuti, A.Maggiolo-Schettini and P.Milazzo

International Symposium on Bioinformatics Research and Applications (ISBRA'07), Springer LNBI 4463, pages 638-649, Atlanta, GA, May, 2007.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

International Colloquium on Theoretical Aspects of Computing (ICTAC'06), Springer LNCS 4281, pages 93-107, Tunis, Tunisia, November, 2006.

R.Lanotte, A.Maggiolo-Schettini, P.Milazzo and A.Troina

8th IFIP Int. Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'06), Springer LNCS 4037, pages 108-122, Bologna, Italy, June, 2006.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

Fundamenta Informaticae, Volume 72, Number 1-3, pages 21-35, 2006. A preliminary version appeared in Concurrency Specification and Programming (CS&P'05), Ruciane-Nida, Poland, September 2005.

S.Carpineti, C.Laneve and P.Milazzo

Application of Concurrency to System Design (ACSD'05), pages 202-211, IEEE CS Press, St-Malo, France, June 2005.

R.Barbuti, A.Maggiolo-Schettini, P.Milazzo and A.Troina

Computational Methods in Systems Biology (CMSB'05), Edinburgh, Scotland, April 2005.

R.Barbuti, S.Cataudella, A.Maggiolo-Schettini, P.Milazzo and A.Troina

Fundamenta Informaticae, Volume 67, Number 1-3, pages 13-27, June-July 2005. A preliminary version appeared in Concurrency Specification and Programming (CS&P'04), Caputh, Germany, September 2004.

Talks

8 September 2010, Pisa, SEFM School 2010, *Modelling the dynamics of biological systems*
[PartI]
[PartII]

8 September 2010, Pisa, SEFM School 2010,*Facing complexity and uncertainty in model checking of biological systems*
[pdf]

23 August 2010, Jena, MeCBIC10,*Aspects of multiscale modelling in a process algebra for biological systems*
[pdf]

02 February 2010, Seville, 8th Brainstorming Week on Membrane Computing,*Spatial P Systems*
[pdf]

16 November 2009, Torino*Approximation and Uncertainty in Models of Biological Systems*
[pdf]

3 April 2009, Pisa*Bio-inspired Models of Computation. An Introduction* [pdf]

23 September 2008, Bertinoro, BNC08,*The Calculus of Looping Sequences*
[pdf]

04 September 2008, Iasi, MeCBIC08,*Translation of Stochastic CLS into Maude*
[pdf]

03 September 2008, Iasi, MeCBIC08,*Timed P Automata*
[pdf]

05 February 2008, Seville, 6th Brainstorming Week on Membrane Computing,*Towards an Axiomatic Semantics of P Systems*
[pdf]

22 January 2008, Verona,*Formal Methods and Systems Biology: The Calculus of Looping Sequences*
[pdf]

24 October 2007, Pisa, Mini Workshop on Computational Approaches to Biology,*Compositional Semantics and Behavioral Equivalences for P Systems*
[pdf]

21 June 2007, Pisa, PhD Dissertation Talk*Qualitative and Quantitative Formal Modeling of Biological Systems*
[pdf]

13 April 2007, Camerino*Qualitative and Quantitative Formal Modeling of Biological Systems*
[pdf]

22 November 2006, Tunis, ICTAC06,*Bisimulation Congruences in the Calculus of Looping Sequences*.
[pdf]

06 November 2006, Pisa, PhD Seminar,*Performance of Multithreaded Chip Multiprocessors and Implications for Operating System Design*.
[pdf]

18 October 2006, Como, Workshop AutoMathA,*A Rewrite-based Formalism for Describing Biological Systems*
[pdf]

29 September 2005, Ruciane-Nida, CS&P05,*A Calculus of Looping Sequences for Modelling Microbiological Systems*
[pdf]

26 April 2005, Pisa, PhD Seminar,*Formal Verification of Mobile Network Protocols*.
[pdf]

04 April 2005, Edinburgh, CMSB05,*An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions*.
[pdf]

14 February 2005, Pisa, Phd Thesis Proposal,*Probabilistic Modelling and Verification of Biological Systems*.
[pdf]

25 September 2004, Caputh, CS&P04,*A Probabilistic Calculus for Molecular Systems*.
[pdf]

8 September 2010, Pisa, SEFM School 2010,

23 August 2010, Jena, MeCBIC10,

02 February 2010, Seville, 8th Brainstorming Week on Membrane Computing,

16 November 2009, Torino

3 April 2009, Pisa

23 September 2008, Bertinoro, BNC08,

04 September 2008, Iasi, MeCBIC08,

03 September 2008, Iasi, MeCBIC08,

05 February 2008, Seville, 6th Brainstorming Week on Membrane Computing,

22 January 2008, Verona,

24 October 2007, Pisa, Mini Workshop on Computational Approaches to Biology,

21 June 2007, Pisa, PhD Dissertation Talk

13 April 2007, Camerino

22 November 2006, Tunis, ICTAC06,

06 November 2006, Pisa, PhD Seminar,

18 October 2006, Como, Workshop AutoMathA,

29 September 2005, Ruciane-Nida, CS&P05,

26 April 2005, Pisa, PhD Seminar,

04 April 2005, Edinburgh, CMSB05,

14 February 2005, Pisa, Phd Thesis Proposal,

25 September 2004, Caputh, CS&P04,

Master Thesis

My Wallpapers

Lathe (aka The Fusion Machine)
[Thumbnail]
[1024x768] - thanks to A.Tudech

Notting Hill (near Portobello Road) [Thumbnail] [1024x768]

Historical Postcards of Bologna [Thumbnail] [1024x768]

Lampedusa Island: a View [Thumbnail] [1024x768]

Lampedusa Island: a Flower [Thumbnail] [1024x768]

Edinburgh behind a fance [Thumbnail] [1024x768]

Fireworks in Pisa (1) [Thumbnail] [1024x768]

Fireworks in Pisa (2) [Thumbnail] [1024x768]

Florence by night [Thumbnail] [1024x768]

Windows in Warsaw [Thumbnail] [1024x768]

Sunset in Calasetta (Sardinia) [Thumbnail] [1024x768]

Berlin Wall [Thumbnail] [1024x768]

Notting Hill (near Portobello Road) [Thumbnail] [1024x768]

Historical Postcards of Bologna [Thumbnail] [1024x768]

Lampedusa Island: a View [Thumbnail] [1024x768]

Lampedusa Island: a Flower [Thumbnail] [1024x768]

Edinburgh behind a fance [Thumbnail] [1024x768]

Fireworks in Pisa (1) [Thumbnail] [1024x768]

Fireworks in Pisa (2) [Thumbnail] [1024x768]

Florence by night [Thumbnail] [1024x768]

Windows in Warsaw [Thumbnail] [1024x768]

Sunset in Calasetta (Sardinia) [Thumbnail] [1024x768]

Berlin Wall [Thumbnail] [1024x768]

Aforismi (Italian only)