P
Paolo Milazzo
Researcher at University of Pisa
Publications - 137
Citations - 1633
Paolo Milazzo is an academic researcher from University of Pisa. The author has contributed to research in topics: Process calculus & Model checking. The author has an hindex of 21, co-authored 137 publications receiving 1510 citations.
Papers
More filters
Book ChapterDOI
The calculus of looping sequences
TL;DR: Two extensions of the Calculus of Looping Sequences are presented, CLS with links (LCLS) and Stochastic CLS, which simplifies the description of protein interaction at a lower level of abstraction, namely at the domain level.
Journal Article
A Calculus of Looping Sequences for Modelling Microbiological Systems
TL;DR: The paper shows that a membrane calculus recently proposed can be encoded into CLS, and uses this calculus to model interactions among bacteria and bacteriophage viruses, and to reason on their properties.
A Calculus of Looping Sequences for Modelling Microbiological Systems
TL;DR: The Calculus of Looping Sequences (CLS) as mentioned in this paper is a calculus of looping sequences suitable to describe microbiological systems and their evolution, which allows tying up the ends of a sequence and creating a circular sequence which can represent a membrane.
Journal ArticleDOI
Tumour suppression by immune system through stochastic oscillations.
TL;DR: In this new framework, it is shown that in reality the model is also able to reproduce the suppression, through stochastic extinction after the first spike of an oscillation.
Journal ArticleDOI
Spatial P systems
TL;DR: It is proved that Spatial P systems are universal even if only non-cooperating rules are allowed, and it is shown how they can be used to model the evolution of populations in presence of geographical separations.