CINECA IRIS Institutional Research Information System

MILAZZO, PAOLO Statistiche

MILAZZO, PAOLO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 131 (tempo di esecuzione: 0.023 secondi).
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