MILAZZO, PAOLO Statistiche
MILAZZO, PAOLO
DIPARTIMENTO DI INFORMATICA
A Calculus of Looping Sequences for Modelling Microbiological Systems
2006-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Compositional Semantics of Reaction Systems with Restriction
2013-01-01 Giovanni, Pardini; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods
2014-01-01 Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni
A computational model of internet addiction phenomena in social networks
2018-01-01 Nasti, Lucia; Milazzo, Paolo
A Formalism for the Description of Protein Interaction
2010-01-01 Barbuti, Roberto; DEZANI CIANCAGLINI, M; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday
2010-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Troina, A; DEZANI CIANCAGLINI, M; Milazzo, Paolo
A high-level model checking language with compile-time pruning of local variables
2016-01-01 Pardini, Giovanni; Milazzo, Paolo
A Hybrid Automata model of social networking addiction
2018-01-01 Nasti, Lucia; Milazzo, Paolo
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer
2015-01-01 Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs
2018-01-01 Barbuti, Roberto; Berni, Paolo; Milazzo, Paolo
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection
2009-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
2010-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Gruska, D. P.
A P Systems Flat Form Preserving Step-by-step Behaviour
2008-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S.
A Probabilistic Calculus for Molecular Systems
2005-01-01 Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A probabilistic model for molecular systems
2005-01-01 Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Process Calculus for Molecular Interaction Maps
2009-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G; Rama, Aureliano
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models
2020-01-01 Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo; Nasti, Lucia
A Systematic Methodology to Construct Computational Models for Sympatric Speciation by Sexual Selection
2009-01-01 Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
A Testing Framework for P Systems
2011-01-01 Barbuti, Roberto; Cacciagrano, D. R.; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L.
A tool for the modelling and simulation of ecological systems based on grid systems
2015-01-01 Setiawan, Suryana; Cerone, Antonio; Milazzo, Paolo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Calculus of Looping Sequences for Modelling Microbiological Systems | 1-gen-2006 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A. | |
A Compositional Semantics of Reaction Systems with Restriction | 1-gen-2013 | Giovanni, Pardini; Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Simone, Tini | |
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog PopulationsSoftware Engineering and Formal Methods | 1-gen-2014 | Barbuti, Roberto; Bove, Pasquale; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, Giovanni | |
A computational model of internet addiction phenomena in social networks | 1-gen-2018 | Nasti, Lucia; Milazzo, Paolo | |
A Formalism for the Description of Protein Interaction | 1-gen-2010 | Barbuti, Roberto; DEZANI CIANCAGLINI, M; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A. | |
A formalism for the description of protein interaction dedicated to jerzy tiuryn on the occasion of his 60th birthday | 1-gen-2010 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Troina, A; DEZANI CIANCAGLINI, M; Milazzo, Paolo | |
A high-level model checking language with compile-time pruning of local variables | 1-gen-2016 | Pardini, Giovanni; Milazzo, Paolo | |
A Hybrid Automata model of social networking addiction | 1-gen-2018 | Nasti, Lucia; Milazzo, Paolo | |
A mathematical model for assessing KRAS mutation effect on monoclonal antibody treatment of colorectal cancer | 1-gen-2015 | Sameen, Sheema; Barbuti, Roberto; Milazzo, Paolo; Cerone, Antonio | |
A mathematical model for the study of the impact of small commercial fishing on the biodiversity of artificial reefs | 1-gen-2018 | Barbuti, Roberto; Berni, Paolo; Milazzo, Paolo | |
A methodology for the stochastic modeling and simulation of sympatric speciation by sexual selection | 1-gen-2009 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A. | |
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security | 1-gen-2010 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Gruska, D. P. | |
A P Systems Flat Form Preserving Step-by-step Behaviour | 1-gen-2008 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tini, S. | |
A Probabilistic Calculus for Molecular Systems | 1-gen-2005 | Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A. | |
A probabilistic model for molecular systems | 1-gen-2005 | Barbuti, Roberto; Cataudella, S; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A. | |
A Process Calculus for Molecular Interaction Maps | 1-gen-2009 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Pardini, G; Rama, Aureliano | |
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models | 1-gen-2020 | Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo; Nasti, Lucia | |
A Systematic Methodology to Construct Computational Models for Sympatric Speciation by Sexual Selection | 1-gen-2009 | Barbuti, Roberto; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A. | |
A Testing Framework for P Systems | 1-gen-2011 | Barbuti, Roberto; Cacciagrano, D. R.; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Tesei, L. | |
A tool for the modelling and simulation of ecological systems based on grid systems | 1-gen-2015 | Setiawan, Suryana; Cerone, Antonio; Milazzo, Paolo |