scispace - formally typeset
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.