Segui
Paolo Milazzo
Paolo Milazzo
Dipartimento di Informatica, Università di Pisa
Email verificata su di.unipi.it - Home page
Titolo
Citata da
Citata da
Anno
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
932006
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, 3-16, 2011
632011
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
Formal Methods for Computational Systems Biology: 8th International School …, 2008
462008
Bisimulations in calculi modelling membranes
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Aspects of Computing 20, 351-377, 2008
452008
Bisimulation congruences in the calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006
442006
Investigating dynamic causalities in reaction systems
R Barbuti, R Gori, F Levi, P Milazzo
Theoretical Computer Science 623, 114-145, 2016
412016
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
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
Trans. Comp. Sys. Biology 9, 86-113, 2008
382008
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
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
342008
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
322008
Extending the calculus of looping sequences to model protein interaction at the domain level
R Barbuti, A Maggiolo–Schettini, P Milazzo
Bioinformatics Research and Applications: Third International Symposium …, 2007
302007
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, 207-226, 2020
292020
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
292020
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
282012
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
282012
Spatial calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini
Theoretical Computer Science 412 (43), 5976-6001, 2011
282011
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
282011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20