Pasquale Bove

According to our database, Pasquale Bove authored at least 12 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A High-resolution Global-scale Model for COVID-19 Infection Rate.

Gianpaolo Coro, Pasquale Bove

ACM Trans. Spatial Algorithms Syst., 2022

Habitat distribution change of commercial species in the Adriatic Sea during the COVID-19 pandemic.

Gianpaolo Coro, Pasquale Bove, Anton Ellenbroek

Ecol. Informatics, 2022

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

2020

Classification of Biochemical Pathway Robustness with Neural Networks for Graphs.

Marco Podda, Pasquale Bove, Alessio Micheli, Paolo Milazzo

Proceedings of the Biomedical Engineering Systems and Technologies, 2020

Prediction of Dynamical Properties of Biochemical Pathways with Graph Neural Networks.

Pasquale Bove, Alessio Micheli, Paolo Milazzo, Marco Podda

Proceedings of the 13th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2020), 2020

2018

Simulating Gene Regulatory Networks using Reaction Systems.

Roberto Barbuti, Pasquale Bove, Roberta Gori, Francesca Levi, Paolo Milazzo

Proceedings of the 27th International Workshop on Concurrency, 2018

2016

Methodologies & formalisms for modeling macroscopic biological problems.

Pasquale Bove

PhD thesis, 2016

Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems.

Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini

Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016

2015

Minimal probabilistic P systems for modelling ecological systems.

Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini

Theor. Comput. Sci., 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

Proceedings of the Software Engineering and Formal Methods, 2015

Case Studies of Application of Probabilistic and Statistical Model Checking in Game Design.

Paolo Milazzo, Giovanni Pardini, Dario Sestini, Pasquale Bove

Proceedings of the 4th IEEE/ACM International Workshop on Games and Software Engineering, 2015

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

Proceedings of the Software Engineering and Formal Methods, 2013