Paolo Milazzo
Associate Professor at the Department of Computer Science of the University of Pisa
Coordinates
Office:
343 DN 
Mail:
Università di Pisa, Dipartimento di Informatica
Mail:
Largo B. Pontecorvo, 3 - 56127 Pisa - Italy
Phone: +39 050 2213144
Office hours
(Orario di ricevimento studenti):
Martedì 11.00-13.00 (contattare prima via email)
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 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
CV (Ita)
Curriculum Vitae (September 2021)
Old events
- SC Member of DataMod
- PC Member of Bioinformatics 2019
- PC Member of Bioinformatics 2018
- PC Member of Bioinformatics 2017
- Workshops Chair of STAF 2016
- 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 Bioinformatics 2019
- PC Member of Bioinformatics 2018
- PC Member of Bioinformatics 2017
- Workshops Chair of STAF 2016
- 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
Teaching (Didattica)
AA 2021/2022
Paradigmi di Programmazione (CdL Informatica - Lezioni e materiale corso su Microsoft Teams).
Computational Models for Complex Systems (CdLM in Informatica).
Orientamento Professionale e Competenze Trasversali in Ambito ICT (CdL Informatica).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2020/2021
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Computational Models for Complex Systems (CdLM in Informatica).
Informatica Medica (CdLM in Medicina e Chirurgia).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2019/2020
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Computational Models for Complex Systems (CdLM in Informatica).
Informatica Medica (CdLM in Medicina e Chirurgia).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2018/2019
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Computational Models for Complex Systems (CdLM in Informatica).
Informatica Medica - Corso LZ (CdLM in Medicina e Chirurgia).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2017/2018
Programmazione 1 - Corso B (CdL Informatica).
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2016/2017
Programmazione 1 - Corso B (CdL Informatica).
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
Architettura dell'Informazione (Master in Turismo e ICT).
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).
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).
Paradigmi di Programmazione (CdL Informatica - Lezioni e materiale corso su Microsoft Teams).
Computational Models for Complex Systems (CdLM in Informatica).
Orientamento Professionale e Competenze Trasversali in Ambito ICT (CdL Informatica).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2020/2021
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Computational Models for Complex Systems (CdLM in Informatica).
Informatica Medica (CdLM in Medicina e Chirurgia).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2019/2020
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Computational Models for Complex Systems (CdLM in Informatica).
Informatica Medica (CdLM in Medicina e Chirurgia).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2018/2019
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Computational Models for Complex Systems (CdLM in Informatica).
Informatica Medica - Corso LZ (CdLM in Medicina e Chirurgia).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2017/2018
Programmazione 1 - Corso B (CdL Informatica).
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
AA 2016/2017
Programmazione 1 - Corso B (CdL Informatica).
Laboratorio di Programmazione Java (CdLM Informatica Umanistica).
Metodologie Informatiche applicate al Turismo (CdL Scienze del Turismo - Lucca).
Architettura dell'Informazione (Master in Turismo e ICT).
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).
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 group
Research group on Modelling, Simulation and Verification of Biological Systems
Member of the Interuniversitary Center for the Promotion of the Principles of the 3Rs in Teaching and Research (Centro 3R)
Member of the Interuniversitary Center for the Promotion of the Principles of the 3Rs in Teaching and Research (Centro 3R)
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
"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.
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, 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]
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)
E' meglio essere ottimisti ed avere torto piuttosto che essere pessimisti ed avere ragione. (A.Einstein)
Troppo tardi non esiste! Per questo hanno inventato la morte. (W.Matthau in "Gli impenitenti")
A volte e' meglio tacere e sembrare stupidi che aprir bocca e togliere ogni dubbio! (O.Wilde)
Troppo tardi non esiste! Per questo hanno inventato la morte. (W.Matthau in "Gli impenitenti")
A volte e' meglio tacere e sembrare stupidi che aprir bocca e togliere ogni dubbio! (O.Wilde)
