Abstraction in model checking multi-agent systems. - Mika Cohen; Mads Dam; Alessio Lomuscio; Francesco Russo 003 (AAMAS (2), 2009)

Automatic Data-Abstraction in Model Checking Multi-Agent Systems. - Alessio Lomuscio; Hongyang Qu 001; Francesco Russo 003 (MoChArt, 2010)

Abstraction in model checking multi-agent systems. - Francesco Russo 003 (2012)

RNASeqGUI: a GUI for analysing RNA-Seq data. - Francesco Russo 003; Claudia Angelini (Bioinform., 2014)

Advantages and Limits in the Adoption of Reproducible Research and R-Tools for the Analysis of Omic Data. - Francesco Russo 003; Dario Righelli; Claudia Angelini (CIBB, 2015)