Publications

@article{mastorci2025home,

title = {Home-Based Intervention Tool for Cardiac Telerehabilitation: Protocol for a Controlled Trial},

author = {Francesca Mastorci and Maria Francesca Lodovica Lazzeri and Lamia Ait-Ali and Paolo Marcheschi and Paola Quadrelli and Massimiliano Mariani and Rafik Margaryan and Wanda Pennè and Marco Savino and Giuseppe Prencipe and others},

year  = {2025},

date = {2025-01-01},

urldate = {2025-01-01},

journal = {JMIR Research Protocols},

volume = {14},

number = {1},

pages = {e47951},

publisher = {JMIR Publications Inc., Toronto, Canada},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{podda2024classification,

title = {Classification of Neisseria meningitidis genomes with a bag-of-words approach and machine learning},

author = {Marco Podda and Simone Bonechi and Andrea Palladino and Mattia Scaramuzzino and Alessandro Brozzi and Guglielmo Roma and Alessandro Muzzi and Corrado Priami and Alina Sîrbu and Margherita Bodini},

url = {https://www.cell.com/iscience/pdf/S2589-0042(24)00478-4.pdf},

year  = {2024},

date = {2024-02-16},

journal = {iScience},

publisher = {Elsevier},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{pingitore2024machine,

title = {Machine learning to identify a composite indicator to predict cardiac death in ischemic heart disease},

author = {Alessandro Pingitore and Chenxiang Zhang and Cristina Vassalle and Paolo Ferragina and Patrizia Landi and Francesca Mastorci and Rosa Sicari and Alessandro Tommasi and Cesare Zavattari and Giuseppe Prencipe and others},

url = {https://www.sciencedirect.com/science/article/pii/S016752732400531X},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {International Journal of Cardiology},

volume = {404},

pages = {131981},

publisher = {Elsevier},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{cignoni2024pd,

title = {PD-L1 Classification of Weakly-Labeled Whole Slide Images of Breast Cancer},

author = {Giacomo Cignoni and Cristian Scatena and Chiara Frascarelli and Nicola Fusco and Antonio Giuseppe Naccarato and Giuseppe Nicoló Fanelli and Alina Sîrbu},

url = {https://arxiv.org/abs/2404.10175},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {arXiv preprint arXiv:2404.10175},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{BBF24,

title = {A framework for monitored dynamic slicing of Reaction Systems},

author = {Linda Brodo and Roberto Bruni and Moreno Falaschi},

doi = {https://doi.org/10.1007/s11047-024-09976-3},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {Natural Computing},

abstract = {Reaction systems (RSs) are a computational framework inspired by biochemical mechanisms. A RS defines a finite set of reactions over a finite set of entities. Typically each reaction has a local scope, because it is concerned with a small set of entities, but complex models can involve a large number of reactions and entities, and their computation can manifest unforeseen emerging behaviours. When a deviation is detected, like the unexpected production of some entities, it is often difficult to establish its causes, e.g., which entities were directly responsible or if some reaction was misconceived. Slicing is a well-known technique for debugging, which can point out the program lines containing the faulty code. In this paper, we define the first dynamic slicer for RSs and show that it can help to detect the causes of erroneous behaviour and highlight the involved reactions for a closer inspection. To fully automate the debugging process, we propose to distil monitors for starting the slicing whenever a violation from a safety specification is detected. We have integrated our slicer in BioResolve, written in Prolog which provides many useful features for the formal analysis of RSs. We define the slicing algorithm for basic RSs and then enhance it for dealing with quantitative extensions of RSs, where timed processes and linear processes can be represented. Our framework is shown at work on suitable biologically inspired RS models.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{nokey,

title = {[No title]},

author = {Valentina Castiglioni and Ruggero Lanotte and Michele Loreti and Desiree Manicardi and Simone Tini},

url = {https://www.sciencedirect.com/science/article/pii/S0304397524005516},

doi = {https://doi.org/10.1016/j.tcs.2024.114934},

issn = {0304-3975},

year  = {2024},

date = {2024-01-01},

journal = {Theoretical Computer Science},

volume = {1022},

pages = {114934},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{CASTIGLIONI2024114934,

title = {Robustness for biochemical networks: Step-by-step approach},

author = {Valentina Castiglioni and Ruggero Lanotte and Michele Loreti and Desiree Manicardi and Simone Tini},

url = {https://www.sciencedirect.com/science/article/pii/S0304397524005516},

doi = {https://doi.org/10.1016/j.tcs.2024.114934},

issn = {0304-3975},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {Theoretical Computer Science},

volume = {1022},

pages = {114934},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{brodo2024causal,

title = {Causal analysis of positive Reaction Systems},

author = {Linda Brodo and Roberto Bruni and Moreno Falaschi and Roberta Gori and Paolo Milazzo and Valeria Montagna and Pasquale Pulieri},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {International Journal on Software Tools for Technology Transfer},

pages = {1–18},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{bruni2024melding,

title = {Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics},

author = {Roberto Bruni and Roberta Gori and Paolo Milazzo and Hélène Siboulet},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {Natural Computing},

volume = {23},

number = {2},

pages = {235–267},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{BBFO24,

title = {ccReact: a rewriting framework for the formal analysis of reaction systems},

author = {Demis Ballis and Linda Brodo and Moreno Falaschi and Carlos Olarte},

url = {https://doi.org/10.1007/s10009-024-00772-z},

doi = {10.1007/s10009-024-00772-z},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {International Journal on Software Tools for Technology Transfer},

volume = {26},

pages = {707–725},

publisher = {Springer},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{BBF24b,

title = {Modeling and Analyzing Reaction Systems in Maude},

author = {Demis Ballis and Linda Brodo and Moreno Falaschi},

url = {https://doi.org/10.3390/electronics13061139},

doi = {10.3390/electronics13061139},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {Electronics},

volume = {13},

number = {6},

publisher = {MDPI},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/nc/BrodoBF24,

title = {A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems},

author = {Asma Bendjeddou and Linda Brodo and Moreno Falaschi and Elisa Benedetta Primavera Tiezzi},

url = {https://doi.org/10.3390/math12152422},

doi = {10.3390/math12152422},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {Mathematics},

volume = {12},

number = {15},

publisher = {MDPI},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{DBLP:journals/nc/BrodoBF24b,

title = {A framework for monitored dynamic slicing of reaction systems},

author = {Linda Brodo and Roberto Bruni and Moreno Falaschi},

url = {https://doi.org/10.1007/s11047-024-09976-3},

doi = {10.1007/S11047-024-09976-3},

year  = {2024},

date = {2024-01-01},

urldate = {2024-01-01},

journal = {Nat. Comput.},

volume = {23},

number = {2},

pages = {217–234},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{PERNICE2023104546,

title = {A new computational workflow to guide personalized drug therapy},

author = {Simone Pernice and Alessandro Maglione and Dora Tortarolo and Roberta Sirovich and Marinella Clerico and Simona Rolla and Marco Beccuti and Francesca Cordero},

url = {https://www.sciencedirect.com/science/article/pii/S1532046423002678},

doi = {https://doi.org/10.1016/j.jbi.2023.104546},

issn = {1532-0464},

year  = {2023},

date = {2023-01-01},

urldate = {2023-01-01},

journal = {Journal of Biomedical Informatics},

volume = {148},

pages = {104546},

abstract = {Objective: 

Computational models are at the forefront of the pursuit of personalized medicine thanks to their descriptive and predictive abilities. In the presence of complex and heterogeneous data, patient stratification is a prerequisite for effective precision medicine, since disease development is often driven by individual variability and unpredictable environmental events. Herein, we present GreatNectorworkflow as a valuable tool for (i) the analysis and clustering of patient-derived longitudinal data, and (ii) the simulation of the resulting model of patient-specific disease dynamics. 

Methods: 

GreatNectoris designed by combining an analytic strategy composed of CONNECTOR, a data-driven framework for the inspection of longitudinal data, and an unsupervised methodology to stratify the subjects with GreatMod, a quantitative modeling framework based on the Petri Net formalism and its generalizations. 

Results: 

To illustrate GreatNectorcapabilities, we exploited longitudinal data of four immune cell populations collected from Multiple Sclerosis patients. Our main results report that the T-cell dynamics after alemtuzumab treatment separate non-responders versus responders patients, and the patients in the non-responders group are characterized by an increase of the Th17 concentration around 36 months. 

Conclusion: 

GreatNectoranalysis was able to stratify individual patients into three model meta-patients whose dynamics suggested insight into patient-tailored interventions.},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{sirbu2021early,

title = {Early outcome detection for COVID-19 patients},

author = {Alina Sîrbu and Greta Barbieri and Francesco Faita and Paolo Ferragina and Luna Gargani and Lorenzo Ghiadoni and Corrado Priami},

url = {https://www.nature.com/articles/s41598-021-97990-1},

year  = {2021},

date = {2021-01-01},

urldate = {2021-01-01},

journal = {Scientific Reports},

volume = {11},

number = {1},

pages = {18464},

publisher = {Nature Publishing Group UK London},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Prezza2020,

title = {Variable-order reference-free variant discovery with the Burrows-Wheeler Transform},

author = {Nicola Prezza and Nadia Pisanti and Marinella Sciortino and Giovanna Rosone},

doi = {10.1186/s12859-020-03586-3},

year  = {2020},

date = {2020-09-01},

journal = {BMC Bioinformatics},

volume = {21},

number = {S8},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Guerrini2020,

title = {Metagenomic analysis through the extended Burrows-Wheeler transform},

author = {Veronica Guerrini and Felipe A Louza and Giovanna Rosone},

doi = {10.1186/s12859-020-03628-w},

year  = {2020},

date = {2020-09-01},

journal = {BMC Bioinformatics},

volume = {21},

number = {S8},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Kocian2020b,

title = {Bayesian Sigmoid-Type Time Series Forecasting with Missing Data for Greenhouse Crops},

author = {Alexander Kocian and Giulia Carmassi and Fatjon Cela and Luca Incrocci and Paolo Milazzo and Stefano Chessa},

doi = {10.3390/s20113246},

year  = {2020},

date = {2020-01-01},

journal = {Sensors},

volume = {20},

number = {11},

pages = {3246},

publisher = {MDPI AG},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Kocian2020c,

title = {Dynamic Bayesian network for crop growth prediction in greenhouses},

author = {Alexander Kocian and Daniele Massa and Samantha Cannazzaro and Luca Incrocci and Sara Di Lonardo and Paolo Milazzo and Stefano Chessa},

doi = {10.1016/j.compag.2019.105167},

year  = {2020},

date = {2020-01-01},

journal = {Computers and Electronics in Agriculture},

volume = {169},

pages = {105167},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Barbuti2020,

title = {Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation},

author = {Roberto Barbuti and Roberta Gori and Paolo Milazzo},

doi = {10.1016/j.tcs.2020.07.031},

year  = {2020},

date = {2020-01-01},

journal = {Theoretical Computer Science},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ferragina2020,

title = {The PGM-index: a fully-dynamic compressed learned index with provable worst-case bounds},

author = {Paolo Ferragina and Giorgio Vinciguerra},

doi = {10.14778/3389133.3389135},

year  = {2020},

date = {2020-01-01},

journal = {Proceedings of the VLDB Endowment},

volume = {13},

number = {10},

pages = {1162--1175},

publisher = {VLDB Endowment},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rossi2020,

title = {A Public Dataset of 24-h Multi-Levels Psycho-Physiological Responses in Young Healthy Adults},

author = {Alessio Rossi and Eleonora Da Pozzo and Dario Menicagli and Chiara Tremolanti and Corrado Priami and Alina Sirbu and David A Clifton and Claudia Martini and Davide Morelli},

doi = {10.3390/data5040091},

year  = {2020},

date = {2020-01-01},

journal = {Data},

volume = {5},

number = {4},

pages = {91},

publisher = {MDPI AG},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ferrari2020,

title = {Measuring the effects of confounders in medical supervised classification problems: the Confounding Index (CI)},

author = {Elisa Ferrari and Alessandra Retico and Davide Bacciu},

doi = {10.1016/j.artmed.2020.101804},

year  = {2020},

date = {2020-01-01},

journal = {Artificial Intelligence in Medicine},

volume = {103},

pages = {101804},

publisher = {Elsevier BV},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Kocian2020,

title = {Monitoring Practitioner's Skills in Pure-Tone Audiometry},

author = {Alexander Kocian and Stefano Chessa and Wilko Grolman},

doi = {10.4018/ijehmc.2020040103},

year  = {2020},

date = {2020-01-01},

journal = {International Journal of E-Health and Medical Communications},

volume = {11},

number = {2},

pages = {38--63},

publisher = {IGI Global},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Pappalardo2019b,

title = {PlayeRank: Data-driven Performance Evaluation and Player Ranking in Soccer via a Machine Learning Approach},

author = {Luca Pappalardo and Paolo Cintia and Paolo Ferragina and Emanuele Massucco and Dino Pedreschi and Fosca Giannotti},

doi = {10.1145/3343172},

year  = {2019},

date = {2019-11-01},

journal = {ACM Transactions on Intelligent Systems and Technology},

volume = {10},

number = {5},

pages = {1--27},

publisher = {Association for Computing Machinery (ACM)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Misselbeck2019,

title = {A network-based approach to identify deregulated pathways and drug effects in metabolic syndrome},

author = {Karla Misselbeck and Silvia Parolo and Francesca Lorenzini and Valeria Savoca and Lorena Leonardelli and Pranami Bora and Melissa J Morine and Maria Caterina Mione and Enrico Domenici and Corrado Priami},

doi = {10.1038/s41467-019-13208-z},

year  = {2019},

date = {2019-11-01},

journal = {Nature Communications},

volume = {10},

number = {1},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Morelli2019,

title = {Analysis of the Impact of Interpolation Methods of Missing RR-intervals Caused by Motion Artifacts on HRV Features Estimations},

author = {Davide Morelli and Alessio Rossi and Massimo Cairo and David A Clifton},

doi = {10.3390/s19143163},

year  = {2019},

date = {2019-07-01},

journal = {Sensors},

volume = {19},

number = {14},

pages = {3163},

publisher = {MDPI AG},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Ciuffoletti2019,

title = {Design of an Open Remote Electrocardiogram (ECG) Service},

author = {Augusto Ciuffoletti},

doi = {10.3390/fi11040101},

year  = {2019},

date = {2019-01-01},

journal = {Future Internet},

volume = {11},

number = {4},

pages = {101},

publisher = {MDPI AG},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Rossi2019,

title = {Relationship between External and Internal Workloads in Elite Soccer Players: Comparison between Rate of Perceived Exertion and Training Load},

author = {Alessio Rossi and Enrico Perri and Luca Pappalardo and Paolo Cintia and Fedon Marcello Iaia},

doi = {10.3390/app9235174},

year  = {2019},

date = {2019-01-01},

journal = {Applied Sciences},

volume = {9},

number = {23},

pages = {5174},

publisher = {MDPI AG},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Pappalardo2019,

title = {A public data set of spatio-temporal match events in soccer competitions},

author = {Luca Pappalardo and Paolo Cintia and Alessio Rossi and Emanuele Massucco and Paolo Ferragina and Dino Pedreschi and Fosca Giannotti},

doi = {10.1038/s41597-019-0247-7},

year  = {2019},

date = {2019-01-01},

journal = {Scientific Data},

volume = {6},

number = {1},

publisher = {Springer Science and Business Media LLC},

keywords = {},

pubstate = {published},

tppubtype = {article}

}

@article{Simoni2019,

title = {A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology},

author = {Giulia Simoni and Hong Thanh Vo and Corrado Priami and Luca Marchetti},

doi = {10.1093/bib/bbz014},

year  = {2019},

date = {2019-01-01},

journal = {Briefings in Bioinformatics},

volume = {21},

number = {2},

pages = {527--540},

publisher = {Oxford University Press (OUP)},

keywords = {},

pubstate = {published},

tppubtype = {article}

}