[go: up one dir, main page]

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
1022006
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
R Barbuti, R Gori, P Milazzo, L Nasti
Journal of Membrane Computing 2 (3), 207-226, 2020
982020
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
76*2010
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
742020
Spatial P systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, L Tesei
Natural Computing 10 (1), 3-16, 2011
652011
Investigating dynamic causalities in reaction systems
R Barbuti, R Gori, F Levi, P Milazzo
Theoretical Computer Science 623, 114-145, 2016
592016
Qualitative and quantitative formal modeling of biological systems
P Milazzo
Università degli Studi di Pisa, 2007
552007
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
512016
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
492008
Bisimulations in calculi modelling membranes
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Aspects of Computing 20 (4), 351-377, 2008
472008
Antibody design using deep learning: from sequence and structure design to affinity maturation
S Joubbi, A Micheli, P Milazzo, G Maccari, G Ciano, D Cardamone, ...
Briefings in Bioinformatics 25 (4), bbae307, 2024
452024
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
452006
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), 49, 2012
432012
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
402008
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
382005
Information technology controlled greenhouse: A system architecture
G Burchi, S Chessa, F Gambineri, A Kocian, D Massa, P Milazzo, ...
2018 IoT Vertical and Topical Summit on Agriculture-Tuscany (IOT Tuscany), 1-6, 2018
362018
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
352008
IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations
A Kocian, G Carmassi, F Cela, S Chessa, P Milazzo, L Incrocci
Computers and Electronics in Agriculture 205, 107608, 2023
322023
Formal modeling and analysis of safety-critical human multitasking
G Broccia, P Milazzo, PC Ölveczky
Innovations in Systems and Software Engineering 15 (3), 169-190, 2019
312019
Spatial calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini
Theoretical Computer Science 412 (43), 5976-6001, 2011
312011
The system can't perform the operation now. Try again later.
Articles 1–20