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)

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)

Minimal probabilistic P systems for modelling ecological systems. - Roberto Barbuti; Pasquale Bove; Paolo Milazzo; Giovanni Pardini (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)

Methodologies & formalisms for modeling macroscopic biological problems. - Pasquale Bove (2016)

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

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)

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)

Habitat distribution change of commercial species in the Adriatic Sea during the COVID-19 pandemic. - Gianpaolo Coro; Pasquale Bove; Anton Ellenbroek (Ecol. Informatics, 2022)

A High-resolution Global-scale Model for COVID-19 Infection Rate. - Gianpaolo Coro; Pasquale Bove (ACM Trans. Spatial Algorithms Syst., 2022)

Climate change effects on animal presence in the Massaciuccoli Lake basin. - Gianpaolo Coro; Pasquale Bove; Ilaria Baneschi; Andrea Bertini; Lorenzo Calvisi; Antonello Provenzale (Ecol. Informatics, 2024)

Assessing marine ecosystem risks through unsupervised methods. - Laura Pavirani; Pasquale Bove; Gianpaolo Coro (Ecol. Informatics, 2025)

An open science automatic workflow for multi-model species distribution estimation. - Gianpaolo Coro; Lorenzo Sana; Pasquale Bove (Int. J. Data Sci. Anal., 2025)