Follow
Paolo Milazzo
Paolo Milazzo
Dipartimento di Informatica, UniversitÓ di Pisa
Verified email at di.unipi.it - Homepage
Title
Cited by
Cited by
Year
A calculus of looping sequences for modelling microbiological systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Fundamenta Informaticae 72 (1-3), 21-35, 2006
942006
Tumour suppression by immune system through stochastic oscillations
G Caravagna, A d’Onofrio, P Milazzo, R Barbuti
Journal of theoretical biology 265 (3), 336-345, 2010
66*2010
Spatial P systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, L Tesei
Natural Computing 10 (1), 3-16, 2011
622011
Qualitative and quantitative formal modeling of biological systems
P Milazzo
Ph. D. Thesis, University of Pisa, 2007
562007
The calculus of looping sequences
R Barbuti, G Caravagna, A Maggiolo–Schettini, P Milazzo, G Pardini
International School on Formal Methods for the Design of Computerá…, 2008
462008
Bisimulations in calculi modelling membranes
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Aspects of Computing 20 (4), 351-377, 2008
452008
Bisimulation congruences in the calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
International Colloquium on Theoretical Aspects of Computing, 93-107, 2006
442006
Investigating dynamic causalities in reaction systems
R Barbuti, R Gori, F Levi, P Milazzo
Theoretical Computer Science 623, 114-145, 2016
382016
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways
R Barbuti, A Maggiolo-Schettini, P Milazzo, P Tiberi, A Troina
Transactions on Computational Systems Biology IX, 86-113, 2008
382008
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer
S Sameen, R Barbuti, P Milazzo, A Cerone, M Del Re, R Danesi
Journal of theoretical biology 389, 263-273, 2016
372016
A probabilistic model for molecular systems
R Barbuti, S Cataudella, A Maggiolo-Schettini, P Milazzo, A Troina
Fundamenta Informaticae 67 (1-3), 13-27, 2005
372005
Design and verification of long-running transactions in a timed framework
R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
Science of Computer Programming 73 (2-3), 76-94, 2008
332008
Compositional semantics and behavioral equivalences for P Systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
Theoretical Computer Science 395 (1), 77-100, 2008
332008
Extending the calculus of looping sequences to model protein interaction at the domain level
R Barbuti, A Maggiolo–Schettini, P Milazzo
International Symposium on Bioinformatics Research and Applications, 638-649, 2007
332007
Population dynamics with a mixed type of sexual and asexual reproduction in a fluctuating environment
R Barbuti, S Mautner, G Carnevale, P Milazzo, A Rama, C Sturmbauer
BMC Evolutionary Biology 12 (1), 1-13, 2012
292012
Dynamic Bayesian network for crop growth prediction in greenhouses
A Kocian, D Massa, S Cannazzaro, L Incrocci, S Di Lonardo, P Milazzo, ...
Computers and electronics in agriculture 169, 105167, 2020
282020
Probabilistic model checking of biological systems with uncertain kinetic rates
R Barbuti, F Levi, P Milazzo, G Scatena
Theoretical Computer Science 419, 2-16, 2012
272012
Spatial calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini
Theoretical Computer Science 412 (43), 5976-6001, 2011
272011
Delay stochastic simulation of biological systems: a purely delayed approach
R Barbuti, G Caravagna, A Maggiolo-Schettini, P Milazzo
Transactions on Computational Systems Biology XIII, 61-84, 2011
272011
AP systems flat form preserving step-by-step behaviour
R Barbuti, A Maggiolo-Schettini, P Milazzo, S Tini
Fundamenta Informaticae 87 (1), 1, 2008
252008
The system can't perform the operation now. Try again later.
Articles 1–20