A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks. - Lucia Gallina; Sabina Rossi (IFIP TCS, 2010)

Sender- and receiver-centered interference in wireless ad hoc networks. - Lucia Gallina; Sabina Rossi (Wireless Days, 2010)

A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. - Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (ASMTA, 2011)

A framework for throughput and energy efficiency in mobile ad hoc networks. - Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (Wireless Days, 2011)

Evaluating resistance to jamming and casual interception in mobile wireless networks. - Lucia Gallina; Gian-Luca Dei Rossi; Andrea Marin; Sabina Rossi (MSWiM, 2012)

Interference-Sensitive Preorders for MANETs. - Michele Bugliesi; Lucia Gallina; Andrea Marin; Sabina Rossi; Sardaouna Hamadou (QEST, 2012)

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. - Lucia Gallina; Tingting Han 001; Marta Z. Kwiatkowska; Andrea Marin; Sabina Rossi; Alvise Spanò (Wireless Days, 2012)

Performance Analysis and Formal Verification of Cognitive Wireless Networks. - Gian-Luca Dei Rossi; Lucia Gallina; Sabina Rossi (EPEW, 2013)

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. - Lucia Gallina; Andrea Marin; Sabina Rossi; Tingting Han 001; Marta Z. Kwiatkowska (MSWiM, 2013)

A process calculus for energy-aware multicast communications of mobile ad hoc networks. - Lucia Gallina; Sabina Rossi (Wirel. Commun. Mob. Comput., 2013)

Formal models for qualitative and quantitative analysis of mobile ad hoc and sensor networks. - Lucia Gallina (2013)

Behavioural equivalences and interference metrics for mobile ad-hoc networks. - Michele Bugliesi; Lucia Gallina; Sardaouna Hamadou; Andrea Marin; Sabina Rossi (Perform. Evaluation, 2014)

Connectivity and energy-aware preorders for mobile ad-hoc networks. - Lucia Gallina; Andrea Marin; Sabina Rossi (Telecommun. Syst., 2016)