Research fellow at the Department of Computer Science
of the University of Pisa
| Office | : |
343 DN
|
| : | Universita' di Pisa, Dipartimento di Informatica | |
| Largo B. Pontecorvo, 3 - 56127 Pisa - Italy | ||
| Phone | : | +39 050 221 3144 |
| : | mylastname@di.unipi.it (replace mylastname with milazzo) |
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
- Process Algebras
- Simulation of Biological Systems
- Membrane Computing
- Automata Theory and Applications
- Term Rewriting Systems
- Foundations for Web Service Orchestration and Long Running Transactions
- Automata: from Mathematics to Applications (AutoMathA) (European Science Foundation)
|
P.Milazzo "Formal Modeling in Systems Biology. An approach from Theoretical Computer Science" [amazon] VDM - Verlag Dr. Muller, Saarbrucken, Germany, 2008. |
R.Barbuti, A.Maggiolo-Schettini, P.Milazzo, G.Pardini and A.Rama
"A Process Calculus for Molecular Interaction Maps" [pdf][@eptcs]
3rd Int. Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), Bologna, Italy, September, 2009, EPTCS in press.
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, in press.
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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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" [ps] [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.
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]
(Implementazione di un Linguaggio di Programmazione Distribuito)
Written in English with frontcover and preface in Italian [ps.gz] [pdf]
Original version (bigger fonts) [ps.gz] [pdf]
Related software (a compiler written in Java) [tar.gz] [zip]
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]
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)
