Paolo Milazzo

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 49

Top Venues

Publications

Roberto Bruni, Roberta Gori, Paolo Milazzo, Hélène Siboulet
Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics. Nat. Comput. 23 (2) (2024)
Silvia Torsi, Luca Incrocci, Stefano Chessa, Alexander Kocian, Paolo Milazzo, Fatjon Cela, Giulia Carmassi
Farming and Automation. How Professional Visions Change with the Introduction of ICT in Greenhouse Cultivation. WorldCIST (1) (2024)
Sara Joubbi, Alessio Micheli, Paolo Milazzo, Giuseppe Maccari, Giorgio Ciano, Dario Cardamone, Duccio Medini
Antibody design using deep learning: from sequence and structure design to affinity maturation. Briefings Bioinform. 25 (4) (2024)
Alexander Kocian, Giulia Carmassi, Fatjon Cela, Stefano Chessa, Paolo Milazzo, Luca Incrocci
IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations. Comput. Electron. Agric. 205 (2023)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Quantitative extensions of reaction systems based on SOS semantics. Neural Comput. Appl. 35 (9) (2023)
Michele Fontanesi, Alessio Micheli, Paolo Milazzo, Marco Podda
Exploiting the structure of biochemical pathways to investigate dynamical properties with neural networks for graphs. Bioinform. 39 (10) (2023)
Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundam. Informaticae 179 (2) (2021)
Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori, Francesca Levi, Paolo Milazzo
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. TPNC (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Formal characterization and efficient verification of a biological robustness property. FormaliSE@ICSE (2021)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation. Theor. Comput. Sci. 881 (2021)
Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo
Characterization and computation of ancestors in reaction systems. Soft Comput. 25 (3) (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Analysis and Verification of Robustness Properties in Becker-Döring Model. DataMod (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo, Federico Poloni
Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity. CoRR (2021)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Formal characterization and efficient verification of a biological robustness property. CoRR (2021)
Pasquale Bove, Alessio Micheli, Paolo Milazzo, Marco Podda
Prediction of Dynamical Properties of Biochemical Pathways with Graph Neural Networks. BIOINFORMATICS (2020)
Alexander Kocian, Giulia Carmassi, Fatjon Cela, Luca Incrocci, Paolo Milazzo, Stefano Chessa
Bayesian Sigmoid-Type Time Series Forecasting with Missing Data for Greenhouse Crops. Sensors 20 (11) (2020)
Paolo Milazzo
Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling. DataMod@CIKM (2020)
Marco Podda, Alessio Micheli, Davide Bacciu, Paolo Milazzo
Biochemical Pathway Robustness Prediction with Graph Neural Networks. ESANN (2020)
Alexander Kocian, Daniele Massa, Samantha Cannazzaro, Luca Incrocci, Sara Di Lonardo, Paolo Milazzo, Stefano Chessa
Dynamic Bayesian network for crop growth prediction in greenhouses. Comput. Electron. Agric. 169 (2020)
Roberto Barbuti, Roberta Gori, Paolo Milazzo, Lucia Nasti
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. J. Membr. Comput. 2 (3) (2020)
Marco Podda, Pasquale Bove, Alessio Micheli, Paolo Milazzo
Classification of Biochemical Pathway Robustness with Neural Networks for Graphs. BIOSTEC (Selected Papers) (2020)
Vashti Galpin, Paolo Milazzo, Anna Monreale
Guest editors' foreword. J. Log. Algebraic Methods Program. 109 (2019)
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
Formal modeling and analysis of safety-critical human multitasking. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Giovanna Broccia, Paolo Milazzo, Cristina Belviso, Carmen Berrocal Montiel
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. FM Workshops (1) (2019)
Paolo Milazzo, Giovanni Pardini
Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM. J. Intell. Inf. Syst. 52 (3) (2019)
Roberta Gori, Paolo Milazzo, Lucia Nasti
Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. BIOINFORMATICS (2019)
Roberta Gori, Damas P. Gruska, Paolo Milazzo
Studying Opacity of Reaction Systems through Formula Based Predictors. Fundam. Informaticae 165 (3-4) (2019)
Roberto Barbuti, Anna Bernasconi, Roberta Gori, Paolo Milazzo
Computing Preimages and Ancestors in Reaction Systems. TPNC (2018)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Informatica 55 (3) (2018)
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
An Executable Formal Framework for Safety-Critical Human Multitasking. NFM (2018)
Lucia Nasti, Paolo Milazzo
A Hybrid Automata model of social networking addiction. J. Log. Algebraic Methods Program. 100 (2018)
Giovanna Broccia, Paolo Masci, Paolo Milazzo
Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. EICS (2018)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Predictors for flat membrane systems. Theor. Comput. Sci. 736 (2018)
Roberta Gori, Damas P. Gruska, Paolo Milazzo
Hidden States in Reaction Systems. CS&P (2018)
Lucia Nasti, Roberta Gori, Paolo Milazzo
Formalizing a Notion of Concentration Robustness for Biochemical Networks. STAF Workshops (2018)
Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo
Simulating Gene Regulatory Networks using Reaction Systems. CS&P (2018)
Giovanna Broccia, Paolo Milazzo, Peter Csaba Ölveczky
An Algorithm for Simulating Human Selective Attention. SEFM Workshops (2017)
Roberto Barbuti, Roberta Gori, Paolo Milazzo
Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. Int. Conf. on Membrane Computing (2017)
Lucia Nasti, Paolo Milazzo
A Computational Model of Internet Addiction Phenomena in Social Networks. SEFM Workshops (2017)
Giovanni Pardini, Paolo Milazzo
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. STAF Workshops (2016)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Specialized Predictor for Reaction Systems with Context Properties. Fundam. Informaticae 147 (2-3) (2016)
Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems. Int. Conf. on Membrane Computing (2016)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623 (2016)
Roberto Barbuti, Alessandro Bompadre, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. SEFM Workshops (2015)
Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
Specialized Predictor for Reaction Systems with Context Properties. CS&P (2015)
Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
Component identification in biochemical pathways. Theor. Comput. Sci. 587 (2015)
Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
Minimal probabilistic P systems for modelling ecological systems. Theor. Comput. Sci. 608 (2015)
Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove
Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. GAS@ICSE (2015)
Suryana Setiawan, Antonio Cerone, Paolo Milazzo
A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems. SEFM Workshops (2015)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini
Systolic Automata and P Systems. Computing with New Resources (2014)
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics and behavioural equivalences for reaction systems with restriction. Theor. Comput. Sci. 551 (2014)
Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
Identification of components in biochemical pathways: extensive application to SBML models. Nat. Comput. 13 (3) (2014)
Sheema Sameen, Roberto Barbuti, Paolo Milazzo, Antonio Cerone
A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. SEFM Workshops (2014)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Simulation of Spatial P system models. Theor. Comput. Sci. 529 (2014)
Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. WIVACE (2013)
Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini
An Algorithm for the Identification of Components in Biochemical Pathways. Electron. Notes Theor. Comput. Sci. 299 (2013)
Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
A Compositional Semantics of Reaction Systems with Restriction. CiE (2013)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Modular Verification of Qualitative Pathway Models with Fairness. Sci. Ann. Comput. Sci. 23 (1) (2013)
Roberto Barbuti, Pasquale Bove, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. SEFM Workshops (2013)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Towards modular verification of pathways: fairness and assumptions MeCBIC (2012)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
On Conditions for Modular Verification in Systems of Synchronising Components. Fundam. Informaticae 120 (3-4) (2012)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Foundational aspects of multiscale modeling of biological systems with process algebras. Theor. Comput. Sci. 431 (2012)
Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan
Modelling Population Dynamics Using Grid Systems. SEFM Satellite Events (2012)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Probabilistic model checking of biological systems with uncertain kinetic rates. Theor. Comput. Sci. 419 (2012)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei
Spatial P systems. Nat. Comput. 10 (1) (2011)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Modular Verification of Interactive Systems with an Application to Biology. Sci. Ann. Comput. Sci. 21 (1) (2011)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. Trans. Comp. Sys. Biology 13 (2011)
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
A Testing Framework for P Systems CoRR (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Spatial Calculus of Looping Sequences. Theor. Comput. Sci. 412 (43) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
An Overview on Operational Semantics in Membrane Computing. Int. J. Found. Comput. Sci. 22 (1) (2011)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundam. Informaticae 112 (1) (2011)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics of spiking neural P systems. J. Log. Algebraic Methods Program. 79 (6) (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Informaticae 103 (1-4) (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. Int. Conf. on Membrane Computing (2010)
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini
Aspects of multiscale modelling in a process algebra for biological systems MeCBIC (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. Fundam. Informaticae 102 (1) (2010)
Roberto Barbuti, Giovanni A. Cignoni, Paolo Milazzo
A Model for Configuration Management of Open Software Systems CoRR (2010)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Dynamic Sync-Programs for Modular Verification of Biological Systems. NCMA (2010)
Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi
Modelling the Dynamics of an Aedes albopictus Population AMCA-POP (2010)
Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo
Modular Verification of Interactive Systems with an Application to Biology. Electron. Notes Theor. Comput. Sci. 268 (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
P Systems with Transport and Diffusion Membrane Channels. Fundam. Informaticae 93 (1-3) (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
Timed P Automata. Electron. Notes Theor. Comput. Sci. 227 (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
Spatial Calculus of Looping Sequences. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei
Timed P Automata. Fundam. Informaticae 94 (1) (2009)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
P Systems with Endosomes. Int. J. Comput. Commun. Control 4 (3) (2009)
Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. Ershov Memorial Conference (2009)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
A Process Calculus for Molecular Interaction Maps MeCBIC (2009)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
An intermediate language for the stochastic simulation of biological systems. Theor. Comput. Sci. 410 (33-34) (2009)
Thomas Anung Basuki, Antonio Cerone, Paolo Milazzo
Translating Stochastic CLS into Maude. Electron. Notes Theor. Comput. Sci. 227 (2009)
Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini
On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems COMPMOD (2009)
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Guido Scatena
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates. RP (2009)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. 73 (2-3) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
A P Systems Flat Form Preserving Step-by-step Behaviour. Fundam. Informaticae 87 (1) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Compositional semantics and behavioral equivalences for P Systems. Theor. Comput. Sci. 395 (1) (2008)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo
An Intermediate Language for the Simulation of Biological Systems. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo
Security in a Model for Long-running Transactions. Fundam. Informaticae 85 (1-4) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Bisimulations in calculi modelling membranes. Formal Aspects Comput. 20 (4-5) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. Trans. Comp. Sys. Biology 9 (2008)
Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini
The Calculus of Looping Sequences. SFM (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
The Calculus of Looping Sequences for Modeling Biological Membranes. Workshop on Membrane Computing (2007)

Paolo Milazzo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paolo Milazzo