| 2022 | SOFTCOM | All-to-All Personalized Communication on Fat-Trees Using Latin Squares. | Daniele Izzi, Annalisa Massini |
| 2021 | ICPP | Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose. | Viviana Arrigoni, Filippo Maggioli, Annalisa Massini, Emanuele Rodol |
| 2021 | INFOCOM | Failure Localization through Progressive Network Tomography. | Viviana Arrigoni, Novella Bartolini, Annalisa Massini, Federico Trombetti |
| 2021 | SOFTCOM | A New Perspective for Rearrangeability of MINs. | Fitz Gerald Cabangcla, Daniele Izzi, Annalisa Massini |
| 2020 | HPCC | Optimal all-to-all personalized communication on Butterfly networks through a reduced Latin square. | Daniele Izzi, Annalisa Massini |
| 2019 | PPAM | Hybrid Solver for Quasi Block Diagonal Linear Systems. | Viviana Arrigoni, Annalisa Massini |
| 2015 | PDP | SyLVaaS: System Level Formal Verification as a Service. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | DSD | Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | FMCAD | Patient-specific models from inter-patient biological models and clinical records. | Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Dav, Thomas Dierkes, Rainald Ehrig, Susanna Rblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille |
| 2014 | PDP | System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2013 | CAV | System Level Formal Verification via Model Checking Driven Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci |
| 2012 | PDP | Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs. | Ferdinando Alessi, Annalisa Massini, Roberto Basili |
| 2009 | ICNP | Autonomous deployment of heterogeneous mobile sensors. | Novella Bartolini, Tiziana Calamoneri, Thomas La Porta, Annalisa Massini, Simone Silvestri |
| 2009 | MSWIM | P&P protocol: local coordination of mobile sensors for self-deployment. | Novella Bartolini, Annalisa Massini, Simone Silvestri |
| 2009 | Qshine | Variable Density Deployment and Topology Control for the Solution of the Sink-Hole Problem. | Novella Bartolini, Tiziana Calamoneri, Annalisa Massini, Simone Silvestri |
| 2008 | DCOSS | Snap and Spread: A Self-deployment Algorithm for Mobile Sensor Networks. | Novella Bartolini, Tiziana Calamoneri, Emanuele G. Fusco, Annalisa Massini, Simone Silvestri |
| 2003 | GD | Nearly Optimal Three Dimensional Layout of Hypercube Networks. | Tiziana Calamoneri, Annalisa Massini |
| 1997 | GD | On Three-Dimensional Layout of Interconnection Networks. | Tiziana Calamoneri, Annalisa Massini |
| 1993 | INFOCOM | A Quasi-Nonblocking Self-Routing Network which Routs Packets in log | Giuseppe A. De Biase, Claudia Ferrone, Annalisa Massini |