A Quasi-Nonblocking Self-Routing Network which Routs Packets in log2N Time. - Giuseppe A. De Biase; Claudia Ferrone; Annalisa Massini (INFOCOM, 1993)

Fast Parallel Arithmetic on Cellular Automata. - Andrea Clementi; Giuseppe A. De Biase; Annalisa Massini (Complex Syst., 1994)

An O(log2 N) Depth Asymptotically Nonblocking Self-Routing Permutation Network. - Giuseppe A. De Biase; Claudia Ferrone; Annalisa Massini (IEEE Trans. Computers, 1995)

On Three-Dimensional Layout of Interconnection Networks. - Tiziana Calamoneri; Annalisa Massini (GD, 1997)

A virtually nonblocking self-routing permutation network which routes packets in mathrm{O}( log_{2} N) time. - Giuseppe A. De Biase; Annalisa Massini (Telecommun. Syst., 1998)

An optimal layout of multigrid networks. - Tiziana Calamoneri; Annalisa Massini (Inf. Process. Lett., 1999)

The Shuffled Mesh: a flexible and efficient model for parallel computing. - G. Bongiovanni; Giuseppe A. De Biase; Annalisa Massini; Angelo Monti (Telecommun. Syst., 2000)

Optimal three-dimensional layout of interconnection networks. - Tiziana Calamoneri; Annalisa Massini (Theor. Comput. Sci., 2001)

All-to-all Personalized Communication on Multistage Interconnection Networks. - Annalisa Massini (Discret. Appl. Math., 2003)

New results on edge-bandwidth. - Tiziana Calamoneri; Annalisa Massini; Imrich Vrto (Theor. Comput. Sci., 2003)

Efficient algorithms for checking the equivalence of multistage interconnection networks. - Tiziana Calamoneri; Annalisa Massini (J. Parallel Distributed Comput., 2004)

Antibandwidth of Complete k-Ary Trees. - Tiziana Calamoneri; Annalisa Massini; Lubomir Torok; Imrich Vrto (Electron. Notes Discret. Math., 2006)

Nearly optimal three dimensional layout of hypercube networks. - Tiziana Calamoneri; Annalisa Massini (Networks, 2006)

Snap and Spread: A Self-deployment Algorithm for Mobile Sensor Networks. - Novella Bartolini; Tiziana Calamoneri; Emanuele G. Fusco; Annalisa Massini; Simone Silvestri (DCOSS, 2008)

Autonomous Deployment of Self-Organizing Mobile Sensors for a Complete Coverage. - Novella Bartolini; Tiziana Calamoneri; Emanuele G. Fusco; Annalisa Massini; Simone Silvestri (IWSOS, 2008)

Autonomous deployment of heterogeneous mobile sensors. - Novella Bartolini; Tiziana Calamoneri; Thomas La Porta; Annalisa Massini; Simone Silvestri (ICNP, 2009)

P&P protocol: local coordination of mobile sensors for self-deployment. - Novella Bartolini; Annalisa Massini; Simone Silvestri (MSWiM, 2009)

Variable Density Deployment and Topology Control for the Solution of the Sink-Hole Problem. - Novella Bartolini; Tiziana Calamoneri; Annalisa Massini; Simone Silvestri (QSHINE, 2009)

Push & Pull: autonomous deployment of mobile sensors for a complete coverage. - Novella Bartolini; Tiziana Calamoneri; Emanuele G. Fusco; Annalisa Massini; Simone Silvestri (Wirel. Networks, 2010)

On Adaptive Density Deployment to Mitigate the Sink-Hole Problem in Mobile Sensor Networks. - Novella Bartolini; Tiziana Calamoneri; Annalisa Massini; Simone Silvestri (Mob. Networks Appl., 2011)

Accelerating the Production of Synthetic Seismograms by a Multicore Processor Cluster with Multiple GPUs. - Ferdinando Alessi; Annalisa Massini; Roberto Basili 002 (PDP, 2012)

High Performance Parallelization of COMPSYN on a Cluster of Multicore Processors with GPUs. - Ferdinando Alessi; Annalisa Massini; Roberto Basili 002 (ICCS, 2012)

P&P: an asynchronous and distributed protocol for mobile sensor deployment. - Novella Bartolini; Annalisa Massini; Simone Silvestri (Wirel. Networks, 2012)

System Level Formal Verification via Model Checking Driven Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Fabio Merli; Enrico Tronci (CAV, 2013)

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (DSD, 2014)

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 Röblitz; Brigitte Leeners; et al. (FMCAD, 2014)

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (PDP, 2014)

Computing Biological Model Parameters by Parallel Statistical Model Checking. - Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti (IWBBIO (2), 2015)

Simulator Semantics for System Level Formal Verification. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (GandALF, 2015)

SyLVaaS: System Level Formal Verification as a Service. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Fundam. Informaticae, 2016)

Anytime system level verification via parallel random exhaustive hardware in the loop simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Microprocess. Microsystems, 2016)

On minimising the maximum expected verification time. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Enrico Tronci (Inf. Process. Lett., 2017)

Parallelization of Cycle-Based Logic Simulation. - Toni Mancini; Annalisa Massini; Enrico Tronci (Parallel Process. Lett., 2017)

Computing Personalised Treatments through In Silico Clinical Trials. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Stefano Sinisi; Enrico Tronci; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners (RCRA@FLoC, 2018)

In Silico Clinical Trials through AI and Statistical Model Checking. - Vadim Alimguzhin; Toni Mancini; Annalisa Massini; Stefano Sinisi; Enrico Tronci (OVERLAY@AI*IA, 2019)

Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. - Agostina Calabrese; Toni Mancini; Annalisa Massini; Stefano Sinisi; Enrico Tronci (RCRA/RiCeRcA@AI*IA, 2019)

Hybrid Solver for Quasi Block Diagonal Linear Systems. - Viviana Arrigoni; Annalisa Massini (PPAM (1), 2019)

Fast Strassen-based $A^t A$ Parallel Multiplication. - Viviana Arrigoni; Annalisa Massini (CoRR, 2019)

On Fundamental Bounds of Failure Identifiability by Boolean Network Tomography. - Novella Bartolini; Ting He 001; Viviana Arrigoni; Annalisa Massini; Hana Khamfroush (CoRR, 2019)

Optimal all-to-all personalized communication on Butterfly networks through a reduced Latin square. - Daniele Izzi; Annalisa Massini (HPCC/DSS/SmartCity, 2020)

Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. - Angela Pappagallo; Annalisa Massini; Enrico Tronci (Inf., 2020)

On Fundamental Bounds on Failure Identifiability by Boolean Network Tomography. - Novella Bartolini; Ting He 001; Viviana Arrigoni; Annalisa Massini; Federico Trombetti; Hana Khamfroush (IEEE/ACM Trans. Netw., 2020)

Efficiently Parallelizable Strassen-Based Multiplication of a Matrix by its Transpose. - Viviana Arrigoni; Filippo Maggioli; Annalisa Massini; Emanuele Rodolà (ICPP, 2021)

Failure Localization through Progressive Network Tomography. - Viviana Arrigoni; Novella Bartolini; Annalisa Massini; Federico Trombetti (INFOCOM, 2021)

A New Perspective for Rearrangeability of MINs. - Fitz Gerald Cabangcla; Daniele Izzi; Annalisa Massini (SoftCOM, 2021)

A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management. - Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Appl. Artif. Intell., 2021)

Topology Agnostic Bounds on Minimum Requirements for Network Failure Identification. - Viviana Arrigoni; Novella Bartolini; Annalisa Massini (IEEE Access, 2021)

Static and Dynamic Failure Localization through Progressive Network Tomography. - Viviana Arrigoni; Novella Bartolini; Annalisa Massini; Federico Trombetti (CoRR, 2021)

On checking equivalence of simulation scripts. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (J. Log. Algebraic Methods Program., 2021)

All-to-All Personalized Communication on Fat-Trees Using Latin Squares. - Daniele Izzi; Annalisa Massini (SoftCOM, 2022)

Realizing Optimal All-to-All Personalized Communication Using Butterfly-Based Networks. - Daniele Izzi; Annalisa Massini (IEEE Access, 2023)

A Bayesian Approach to Network Monitoring for Progressive Failure Localization. - Viviana Arrigoni; Novella Bartolini; Annalisa Massini; Federico Trombetti (IEEE/ACM Trans. Netw., 2023)

A Delay-Efficient Implementation of Quantum Carry Select Adders. - Annalisa Massini; Federico Mingardi (IPDPS (Workshops), 2024)