BoPi - A Distributed Machine for Experimenting Web Services Technologies. - Samuele Carpineti; Cosimo Laneve; Paolo Milazzo (ACSD, 2005)

A Probabilistic Model for Molecular Systems. - Roberto Barbuti; Stefano Cataudella 001; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Fundam. Informaticae, 2005)

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (FMOODS, 2006)

Bisimulation Congruences in the Calculus of Looping Sequences. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (ICTAC, 2006)

A Calculus of Looping Sequences for Modelling Microbiological Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Fundam. Informaticae, 2006)

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo (ISBRA, 2007)

The Calculus of Looping Sequences for Modeling Biological Membranes. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Workshop on Membrane Computing, 2007)

An Intermediate Language for the Simulation of Biological Systems. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo (FBTC@CONCUR, 2007)

Qualitative and Quantitative Formal Modeling of Biological Systems. - Paolo Milazzo (2007)

The Calculus of Looping Sequences. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (SFM, 2008)

Translating Stochastic CLS into Maude. - Thomas Anung Basuki; Antonio Cerone; Paolo Milazzo (MeCBIC, 2008)

Bisimulations in calculi modelling membranes. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Formal Aspects Comput., 2008)

A P Systems Flat Form Preserving Step-by-step Behaviour. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Fundam. Informaticae, 2008)

Security in a Model for Long-running Transactions. - Damas P. Gruska; Andrea Maggiolo-Schettini; Paolo Milazzo (Fundam. Informaticae, 2008)

Design and verification of long-running transactions in a timed framework. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Sci. Comput. Program., 2008)

Compositional semantics and behavioral equivalences for P Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2008)

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Paolo Tiberi; Angelo Troina (Trans. Comp. Sys. Biology, 2008)

Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. - Roberto Barbuti; Daniela Lepri; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (Ershov Memorial Conference, 2009)

On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems - Roberto Barbuti; Giulio Caravagna; Paolo Milazzo; Andrea Maggiolo-Schettini (COMPMOD, 2009)

A Process Calculus for Molecular Interaction Maps - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (MeCBIC, 2009)

P Systems with Transport and Diffusion Membrane Channels. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Fundam. Informaticae, 2009)

Timed P Automata. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Luca Tesei (Fundam. Informaticae, 2009)

P Systems with Endosomes. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo (Int. J. Comput. Commun. Control, 2009)

An intermediate language for the stochastic simulation of biological systems. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo (Theor. Comput. Sci., 2009)

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Int. Conf. on Membrane Computing, 2010)

Dynamic Sync-Programs for Modular Verification of Biological Systems. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (NCMA, 2010)

Modelling the Dynamics of an Aedes albopictus Population - Thomas Anung Basuki; Antonio Cerone; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Elisabetta Rossi (AMCA-POP, 2010)

Aspects of multiscale modelling in a process algebra for biological systems - Roberto Barbuti; Giulio Caravagna; Paolo Milazzo; Andrea Maggiolo-Schettini; Simone Tini (MeCBIC, 2010)

A Model for Configuration Management of Open Software Systems - Roberto Barbuti; Giovanni A. Cignoni; Paolo Milazzo (CoRR, 2010)

Modular Verification of Interactive Systems with an Application to Biology. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (CS2Bio, 2010)

A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Damas P. Gruska (Fundam. Informaticae, 2010)

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. - Roberto Barbuti; Andrea Maggiolo-Schettini; Angelo Troina; Mariangiola Dezani-Ciancaglini; Paolo Milazzo (Fundam. Informaticae, 2010)

Compositional semantics of spiking neural P systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (J. Log. Algebraic Methods Program., 2010)

A Testing Framework for P Systems - Roberto Barbuti; Diletta Romana Cacciagrano; Andrea Maggiolo-Schettini; Paolo Milazzo; Luca Tesei (CoRR, 2011)

Maximally Parallel Probabilistic Semantics for Multiset Rewriting. - Roberto Barbuti; Francesca Levi; Paolo Milazzo; Guido Scatena (Fundam. Informaticae, 2011)

An Overview on Operational Semantics in Membrane Computing. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Int. J. Found. Comput. Sci., 2011)

Spatial P systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Luca Tesei (Nat. Comput., 2011)

Spatial Calculus of Looping Sequences. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Theor. Comput. Sci., 2011)

Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo (Trans. Comp. Sys. Biology, 2011)

Modelling Population Dynamics Using Grid Systems. - Roberto Barbuti; Antonio Cerone; Andrea Maggiolo-Schettini; Paolo Milazzo; Suryana Setiawan (SEFM Satellite Events, 2012)

Towards modular verification of pathways: fairness and assumptions - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (MeCBIC, 2012)

On Conditions for Modular Verification in Systems of Synchronising Components. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (Fundam. Informaticae, 2012)

Foundational aspects of multiscale modeling of biological systems with process algebras. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2012)

Probabilistic model checking of biological systems with uncertain kinetic rates. - Roberto Barbuti; Francesca Levi; Paolo Milazzo; Guido Scatena (Theor. Comput. Sci., 2012)

A Compositional Semantics of Reaction Systems with Restriction. - Giovanni Pardini; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (CiE, 2013)

A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. - Roberto Barbuti; Pasquale Bove; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (SEFM Workshops, 2013)

Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. - Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (WIVACE, 2013)

Modular Verification of Qualitative Pathway Models with Fairness. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Sci. Ann. Comput. Sci., 2013)

An Algorithm for the Identification of Components in Biochemical Pathways. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (CS2Bio, 2013)

Systolic Automata and P Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Simone Tini (Computing with New Resources, 2014)

A Mathematical Model for Assessing KRAS Mutation Effect on Monoclonal Antibody Treatment of Colorectal Cancer. - Sheema Sameen; Roberto Barbuti; Paolo Milazzo; Antonio Cerone (SEFM Workshops, 2014)

Identification of components in biochemical pathways: extensive application to SBML models. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (Nat. Comput., 2014)

Simulation of Spatial P system models. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Theor. Comput. Sci., 2014)

Compositional semantics and behavioural equivalences for reaction systems with restriction. - Giovanni Pardini; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2014)

Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design. - Paolo Milazzo; Giovanni Pardini; Dario Sestini; Pasquale Bove (GAS@ICSE, 2015)

Attributed Probabilistic P Systems and Their Application to the Modelling of Social Interactions in Primates. - Roberto Barbuti; Alessandro Bompadre; Pasquale Bove; Paolo Milazzo; Giovanni Pardini (SEFM Workshops, 2015)

A Tool for the Modelling and Simulation of Ecological Systems Based on Grid Systems. - Suryana Setiawan; Antonio Cerone; Paolo Milazzo (SEFM Workshops, 2015)

Minimal probabilistic P systems for modelling ecological systems. - Roberto Barbuti; Pasquale Bove; Paolo Milazzo; Giovanni Pardini (Theor. Comput. Sci., 2015)

Component identification in biochemical pathways. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (Theor. Comput. Sci., 2015)

Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems. - Roberto Barbuti; Pasquale Bove; Paolo Milazzo; Giovanni Pardini (Int. Conf. on Membrane Computing, 2016)

A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. - Giovanni Pardini; Paolo Milazzo (STAF Workshops, 2016)

Specialized Predictor for Reaction Systems with Context Properties. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Fundam. Informaticae, 2016)

Investigating dynamic causalities in reaction systems. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Theor. Comput. Sci., 2016)

Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. - Roberto Barbuti; Roberta Gori; Paolo Milazzo (Int. Conf. on Membrane Computing, 2017)

An Algorithm for Simulating Human Selective Attention. - Giovanna Broccia; Paolo Milazzo; Peter Csaba Ölveczky (SEFM Workshops, 2017)

A Computational Model of Internet Addiction Phenomena in Social Networks. - Lucia Nasti; Paolo Milazzo (SEFM Workshops, 2017)

Simulating Gene Regulatory Networks using Reaction Systems. - Roberto Barbuti; Pasquale Bove; Roberta Gori; Francesca Levi; Paolo Milazzo (CS&P, 2018)

Hidden States in Reaction Systems. - Roberta Gori; Damas P. Gruska; Paolo Milazzo (CS&P, 2018)

Modeling and Analysis of Human Memory Load in Multitasking Scenarios: Late-Breaking Results. - Giovanna Broccia; Paolo Masci 001; Paolo Milazzo (EICS, 2018)

An Executable Formal Framework for Safety-Critical Human Multitasking. - Giovanna Broccia; Paolo Milazzo; Peter Csaba Ölveczky (NFM, 2018)

Formalizing a Notion of Concentration Robustness for Biochemical Networks. - Lucia Nasti; Roberta Gori; Paolo Milazzo (STAF Workshops, 2018)

Computing Preimages and Ancestors in Reaction Systems. - Roberto Barbuti; Anna Bernasconi 001; Roberta Gori; Paolo Milazzo (TPNC, 2018)

Generalized contexts for reaction systems: definition and study of dynamic causalities. - Roberto Barbuti; Roberta Gori; Francesca Levi; Paolo Milazzo (Acta Informatica, 2018)

A Hybrid Automata model of social networking addiction. - Lucia Nasti; Paolo Milazzo (J. Log. Algebraic Methods Program., 2018)

Predictors for flat membrane systems. - Roberto Barbuti; Roberta Gori; Paolo Milazzo (Theor. Comput. Sci., 2018)

Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. - Roberta Gori; Paolo Milazzo; Lucia Nasti (BIOINFORMATICS, 2019)

Validation of a Simulation Algorithm for Safety-Critical Human Multitasking. - Giovanna Broccia; Paolo Milazzo; Cristina Belviso; Carmen Berrocal Montiel (FM Workshops (1), 2019)

Studying Opacity of Reaction Systems through Formula Based Predictors. - Roberta Gori; Damas P. Gruska; Paolo Milazzo (Fundam. Informaticae, 2019)

Formal modeling and analysis of safety-critical human multitasking. - Giovanna Broccia; Paolo Milazzo; Peter Csaba Ölveczky (Innov. Syst. Softw. Eng., 2019)

Objective/MC: A high-level model checking language - Formalization of the imperative core and translation into PRISM. - Paolo Milazzo; Giovanni Pardini (J. Intell. Inf. Syst., 2019)

Guest editors' foreword. - Vashti Galpin; Paolo Milazzo; Anna Monreale (J. Log. Algebraic Methods Program., 2019)

Prediction of Dynamical Properties of Biochemical Pathways with Graph Neural Networks. - Pasquale Bove; Alessio Micheli; Paolo Milazzo; Marco Podda (BIOINFORMATICS, 2020)

Classification of Biochemical Pathway Robustness with Neural Networks for Graphs. - Marco Podda; Pasquale Bove; Alessio Micheli; Paolo Milazzo (BIOSTEC (Selected Papers), 2020)

Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling. - Paolo Milazzo (DataMod@CIKM, 2020)

Biochemical Pathway Robustness Prediction with Graph Neural Networks. - Marco Podda; Alessio Micheli; Davide Bacciu; Paolo Milazzo (ESANN, 2020)

Dynamic Bayesian network for crop growth prediction in greenhouses. - Alexander Kocian; Daniele Massa; Samantha Cannazzaro; Luca Incrocci; Sara Di Lonardo; Paolo Milazzo; Stefano Chessa (Comput. Electron. Agric., 2020)

A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models. - Roberto Barbuti; Roberta Gori; Paolo Milazzo; Lucia Nasti (J. Membr. Comput., 2020)

Bayesian Sigmoid-Type Time Series Forecasting with Missing Data for Greenhouse Crops. - Alexander Kocian; Giulia Carmassi; Fatjon Cela; Luca Incrocci; Paolo Milazzo; Stefano Chessa (Sensors, 2020)

Analysis and Verification of Robustness Properties in Becker-Döring Model. - Lucia Nasti; Roberta Gori; Paolo Milazzo (DataMod, 2021)

Formal characterization and efficient verification of a biological robustness property. - Lucia Nasti; Roberta Gori; Paolo Milazzo (FormaliSE@ICSE, 2021)

Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (TPNC, 2021)

Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity. - Lucia Nasti; Roberta Gori; Paolo Milazzo; Federico Poloni (CoRR, 2021)

Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. - Roberto Barbuti; Pasquale Bove; Roberta Gori; Damas P. Gruska; Francesca Levi; Paolo Milazzo (Fundam. Informaticae, 2021)

Characterization and computation of ancestors in reaction systems. - Roberto Barbuti; Anna Bernasconi 001; Roberta Gori; Paolo Milazzo (Soft Comput., 2021)

Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation. - Roberto Barbuti; Roberta Gori; Paolo Milazzo (Theor. Comput. Sci., 2021)

Pre-trained Models Based on Primary Sequence to Classify Antibody Binding to Protein and Non-protein Targets with 80% Accuracy. - Sara Joubbi; Giuseppe Maccari; Dario Cardamone; Giorgio Ciano; Alessio Micheli; Paolo Milazzo; Duccio Medini (CIBB, 2023)

Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo (DataMod, 2023)

Preliminary Results on Shapley Value Notions and Propagation Methods for Boolean Networks. - Giang Pham; Paolo Milazzo (DataMod, 2023)

IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations. - Alexander Kocian; Giulia Carmassi; Fatjon Cela; Stefano Chessa; Paolo Milazzo; Luca Incrocci (Comput. Electron. Agric., 2023)

Quantitative extensions of reaction systems based on SOS semantics. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Francesca Levi; Paolo Milazzo (Neural Comput. Appl., 2023)

Biochemical networks with simulation-based estimations of dynamical properties. - Michele Fontanesi; Paolo Milazzo; Alessio Micheli; Marco Podda (Zenodo, 2023)

Exploiting the structure of biochemical pathways to investigate dynamical properties with neural networks for graphs. - Michele Fontanesi; Alessio Micheli; Paolo Milazzo; Marco Podda (Bioinform., 2023)

Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies. - Juliana Bowles; Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo (CMSB, 2024)

Gene Importance Assessment Based on Shapley Values for Boolean Networks: Validation and Scalability Analysis. - Giang Pham; Paolo Milazzo (DataMod, 2024)

Using Vehicular Protection Mechanisms to Enable Fault-Aware Safety Verification of Autonomous Vehicles. - José Luis Conradi Hoffmann; Antônio Augusto Fröhlich; Marcus Völp; Paolo Milazzo (LADC, 2024)

Farming and Automation. How Professional Visions Change with the Introduction of ICT in Greenhouse Cultivation. - Silvia Torsi; Luca Incrocci; Stefano Chessa; Alexander Kocian; Paolo Milazzo; Fatjon Cela; Giulia Carmassi (WorldCIST (1), 2024)

Antibody design using deep learning: from sequence and structure design to affinity maturation. - Sara Joubbi; Alessio Micheli; Paolo Milazzo; Giuseppe Maccari; Giorgio Ciano; Dario Cardamone; Duccio Medini (Briefings Bioinform., 2024)

RettDb: the Rett syndrome omics database to navigate the Rett syndrome genomic landscape. - Nico Cillari; Giuseppe Neri; Nadia Pisanti; Paolo Milazzo; Ugo Borello (Database J. Biol. Databases Curation, 2024)

Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics. - Roberto Bruni 001; Roberta Gori; Paolo Milazzo; Hélène Siboulet (Nat. Comput., 2024)

Causal analysis of positive Reaction Systems. - Linda Brodo; Roberto Bruni 001; Moreno Falaschi; Roberta Gori; Paolo Milazzo; Valeria Montagna; Pasquale Pulieri (Int. J. Softw. Tools Technol. Transf., 2024)

Sensitivity Prediction on Protein Protein Interaction Networks. - Alessandro Dipalma; Michele Fontanesi; Alessio Micheli; Paolo Milazzo; Marco Podda (Zenodo, 2024)

Dynamical Properties of PPI Networks (DyPPIN). - Alessandro Dipalma; Paolo Milazzo; Alessio Micheli; Michele Fontanesi; Marco Podda (Zenodo, 2024)

Improving Antibody-Antigen Interaction Prediction Through Flexibility with ESMFold. - Sara Joubbi; Giuseppe Maccari; Giorgio Ciano; Alessio Micheli; Paolo Milazzo; Duccio Medini (BIOSTEC (1), 2025)

Towards a New Method for Perturbation Analysis in Biochemical Pathways Based on Network Propagation. - Niccolò De Paolis; Paolo Milazzo (BIOSTEC (1), 2025)

Sensitivity analysis on protein-protein interaction networks through deep graph networks. - Alessandro Dipalma; Michele Fontanesi; Alessio Micheli; Paolo Milazzo; Marco Podda (BMC Bioinform., 2025)