×

zbMATH — the first resource for mathematics

Milazzo, Paolo

Compute Distance To:
Author ID: milazzo.paolo Recent zbMATH articles by "Milazzo, Paolo"
Published as: Milazzo, Paolo
Documents Indexed: 57 Publications since 2005

Publications by Year

Citations contained in zbMATH Open

44 Publications have been cited 194 times in 79 Documents Cited by Year
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
16
2006
Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
11
2008
Spatial calculus of looping sequences. Zbl 1230.92002
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
10
2011
Tumour suppression by immune system through stochastic oscillations. Zbl 07020759
Caravagna, Giulio; d’Onofrio, Alberto; Milazzo, Paolo; Barbuti, Roberto
10
2010
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
9
2008
Spatial P systems. Zbl 1213.68256
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tesei, Luca
8
2011
Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
8
2006
An overview on operational semantics in membrane computing. Zbl 1213.68357
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2011
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2008
Investigating dynamic causalities in reaction systems. Zbl 1336.68065
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
6
2016
Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
6
2012
An intermediate language for the simulation of biological systems. Zbl 1279.92030
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
6
2008
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo
6
2008
Delay stochastic simulation of biological systems: a purely delayed approach. Zbl 1326.92026
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
5
2011
Spatial calculus of looping sequences. Zbl 1283.92024
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
5
2009
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2018
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2016
A compositional semantics of reaction systems with restriction. Zbl 1387.68115
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
4
2013
An intermediate language for the stochastic simulation of biological systems. Zbl 1176.68095
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
4
2009
The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2007
A probabilistic model for molecular systems. Zbl 1096.68101
Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2005
Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2014
Simulation of spatial P system models. Zbl 1358.68098
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
3
2014
On conditions for modular verification in systems of synchronising components. Zbl 1279.68204
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
3
2012
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1234.92020
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2012
Maximally parallel probabilistic semantics for multiset rewriting. Zbl 1232.68077
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2011
P systems with transport and diffusion membrane channels. Zbl 1191.68315
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2009
Design and verification of long-running transactions in a timed framework. Zbl 1170.68024
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
3
2008
Multiset patterns and their application to dynamic causalities in membrane systems. Zbl 06868794
Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo
2
2018
Minimal probabilistic P systems for modelling ecological systems. Zbl 1333.92068
Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
2
2015
Identification of components in biochemical pathways: extensive aqpplication to SBML models. Zbl 1332.92018
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
2
2014
An algorithm for the identification of components in biochemical pathways. Zbl 1337.92066
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
2
2013
Modular verification of interactive systems with an application to biology. Zbl 1283.68204
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
2
2010
Timed P automata. Zbl 1347.68127
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca
2
2009
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1260.68226
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
2
2009
A hybrid automata model of social networking addiction. Zbl 1418.91431
Nasti, Lucia; Milazzo, Paolo
1
2018
Applications of P systems in population biology and ecology: the cases of MPP and APP systems. Zbl 06705363
Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
1
2017
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer. Zbl 1343.92244
Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio; Del Re, Marzia; Danesi, Romano
1
2016
Component identification in biochemical pathways. Zbl 1327.68163
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
1
2015
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
1
2013
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
1
2011
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183
Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
1
2010
Membrane systems working in generating and accepting modes: expressiveness and encodings. Zbl 1259.68053
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
1
2010
Generalized contexts for reaction systems: definition and study of dynamic causalities. Zbl 1390.68301
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2018
Multiset patterns and their application to dynamic causalities in membrane systems. Zbl 06868794
Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo
2
2018
A hybrid automata model of social networking addiction. Zbl 1418.91431
Nasti, Lucia; Milazzo, Paolo
1
2018
Applications of P systems in population biology and ecology: the cases of MPP and APP systems. Zbl 06705363
Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
1
2017
Investigating dynamic causalities in reaction systems. Zbl 1336.68065
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
6
2016
Specialized predictor for reaction systems with context properties. Zbl 1373.68217
Barbuti, Roberto; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
4
2016
Mathematical modeling of drug resistance due to KRAS mutation in colorectal cancer. Zbl 1343.92244
Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio; Del Re, Marzia; Danesi, Romano
1
2016
Minimal probabilistic P systems for modelling ecological systems. Zbl 1333.92068
Barbuti, Roberto; Bove, Pasquale; Milazzo, Paolo; Pardini, Giovanni
2
2015
Component identification in biochemical pathways. Zbl 1327.68163
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
1
2015
Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2014
Simulation of spatial P system models. Zbl 1358.68098
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
3
2014
Identification of components in biochemical pathways: extensive aqpplication to SBML models. Zbl 1332.92018
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
2
2014
A compositional semantics of reaction systems with restriction. Zbl 1387.68115
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
4
2013
An algorithm for the identification of components in biochemical pathways. Zbl 1337.92066
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
2
2013
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
1
2013
Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
6
2012
On conditions for modular verification in systems of synchronising components. Zbl 1279.68204
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
3
2012
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1234.92020
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2012
Spatial calculus of looping sequences. Zbl 1230.92002
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
10
2011
Spatial P systems. Zbl 1213.68256
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tesei, Luca
8
2011
An overview on operational semantics in membrane computing. Zbl 1213.68357
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2011
Delay stochastic simulation of biological systems: a purely delayed approach. Zbl 1326.92026
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
5
2011
Maximally parallel probabilistic semantics for multiset rewriting. Zbl 1232.68077
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
3
2011
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
1
2011
Tumour suppression by immune system through stochastic oscillations. Zbl 07020759
Caravagna, Giulio; d’Onofrio, Alberto; Milazzo, Paolo; Barbuti, Roberto
10
2010
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
Modular verification of interactive systems with an application to biology. Zbl 1283.68204
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
2
2010
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183
Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
1
2010
Membrane systems working in generating and accepting modes: expressiveness and encodings. Zbl 1259.68053
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
1
2010
Spatial calculus of looping sequences. Zbl 1283.92024
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
5
2009
An intermediate language for the stochastic simulation of biological systems. Zbl 1176.68095
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
4
2009
P systems with transport and diffusion membrane channels. Zbl 1191.68315
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2009
Timed P automata. Zbl 1347.68127
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca
2
2009
Probabilistic model checking of biological systems with uncertain kinetic rates. Zbl 1260.68226
Barbuti, Roberto; Levi, Francesca; Milazzo, Paolo; Scatena, Guido
2
2009
Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
11
2008
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
9
2008
A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2008
An intermediate language for the simulation of biological systems. Zbl 1279.92030
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
6
2008
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo
6
2008
Design and verification of long-running transactions in a timed framework. Zbl 1170.68024
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
3
2008
The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2007
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
16
2006
Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
8
2006
A probabilistic model for molecular systems. Zbl 1096.68101
Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2005
all top 5

Cited by 139 Authors

24 Milazzo, Paolo
18 Barbuti, Roberto
17 Maggiolo-Schettini, Andrea
11 Pardini, Giovanni
6 Gori, Roberta
6 Levi, Francesca
6 Troina, Angelo
5 Caravagna, Giulio
5 Tini, Simone
4 Bodei, Chiara
3 Galpin, Vashti
3 Hillston, Jane
2 Aman, Bogdan
2 Bioglio, Livio
2 Bove, Pasquale
2 Brodo, Linda
2 Calder, Muffy
2 Cheke, Robert A.
2 Dezani-Ciancaglini, Mariangiola
2 Krivine, Jean
2 Plotkin, Gordon D.
2 Rozenberg, Grzegorz
2 Tan, Yuanshun
2 Yang, Jin
1 Adorna, Henry Natividad
1 Alvarez, Robinson F.
1 Alzahrani, Talal
1 Andronikos, Theodore
1 Anjuère, Fabienne
1 Antoniotti, Marco
1 Atanasiu, Adrian
1 Atsou, Kevin
1 Bacci, Giorgio
1 Ballarini, Paolo
1 Barbuto, José A. M.
1 Bashkirtseva, Irina Adol’fovna
1 Basuki, Thomas Anung
1 Bernini, Antonia
1 Bibi, Alia
1 Bottoni, Paolo
1 Bracciali, Andrea
1 Braud, Véronique M.
1 Brim, Luboš
1 Bruni, Roberto
1 Byrne, Helen Mary
1 Byun, Jong Hyuk
1 Cabarle, Francis George C.
1 Cerone, Antonio
1 Češka, Milan
1 Chen, Zhenbang
1 Chiarugi, Davide
1 Ciobanu, Gabriel
1 Coletti, Roberta
1 Colvin, Robert J.
1 Coppo, Mario
1 Credi, Alberto
1 Damgaard, Troels Christoffer
1 Damiani, Ferruccio
1 Davies, Michael S.
1 Degasperi, Andrea
1 Delahaye, Benoît
1 Dennunzio, Alberto
1 Dingel, Juergen
1 Dong, Yueping
1 d’Onofrio, Alberto
1 Drábik, Peter
1 Drocco, Maurizio
1 Duflot, Marie
1 Eftimie, Raluca
1 Formenti, Enrico
1 Gaffney, Eamonn A.
1 Garavelli, Marco
1 Giannakis, Konstantinos
1 Giannini, Paola
1 Goudon, Thierry
1 Grassi, Elena
1 Hermith, Diana
1 Højsgaard, Espen
1 Honorato-Zimmer, Ricardo
1 Jung, Il Hyo
1 Katoen, Joost-Pieter
1 Kirste, Thomas
1 Kleijn, Jetty H. C. M.
1 Klink, Daniel
1 Koutny, Maciej
1 Labella, Anna
1 Laneve, Cosimo
1 Lanotte, Ruggero
1 Leucker, Martin
1 Li, Dongxi
1 Li, Yali
1 Li, Yongming
1 Liu, Zhiming
1 López, Álvaro G.
1 Lüdtke, Stefan
1 Ma, Zhanyou
1 Manzoni, Luca
1 Marchetti, Luca
1 Mauri, Giancarlo
1 Miculan, Marino
...and 39 more Authors

Citations by Year