Paolo Milazzo
Paolo Milazzo
Dipartimento di Informatica, UniversitÓ di Pisa
Email verificata su di.unipi.it - Home page
TitoloCitata daAnno
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
912006
Spatial P systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini, L Tesei
Natural Computing 10 (1), 3-16, 2011
572011
Qualitative and quantitative formal modeling of biological systems
P Milazzo
Ph. D. Thesis, University of Pisa, 2007
552007
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
46*2010
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
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
432008
Bisimulations in calculi modelling membranes
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Aspects of Computing 20 (4-5), 351-377, 2008
422008
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
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
352005
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
312007
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
292008
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
262011
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
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
242012
Spatial calculus of looping sequences
R Barbuti, A Maggiolo–Schettini, P Milazzo, G Pardini
Electronic Notes in Theoretical Computer Science 229 (1), 21-39, 2009
232009
Modeling long–running transactions with communicating hierarchical timed automata
R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
International Conference on Formal Methods for Open Object-Based Distributedá…, 2006
232006
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
212016
The calculus of looping sequences for modeling biological membranes
R Barbuti, A Maggiolo–Schettini, P Milazzo, A Troina
International Workshop on Membrane Computing, 54-76, 2007
212007
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20