Folgen
Paolo Milazzo
Paolo Milazzo
Dipartimento di Informatica, Università di Pisa
Bestätigte E-Mail-Adresse bei di.unipi.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
982006
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
72*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
University of Pisa, Italy, 2007
582007
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
542020
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
522020
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
492008
Investigating dynamic causalities in reaction systems
R Barbuti, R Gori, F Levi, P Milazzo
Theoretical Computer Science 623, 114-145, 2016
482016
Bisimulations in calculi modelling membranes
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Aspects of Computing 20, 351-377, 2008
472008
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
442016
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
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
372005
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-13, 2012
352012
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
Spatial calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini
Theoretical Computer Science 412 (43), 5976-6001, 2011
312011
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
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20