Lucia Gallina

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Energy Consumption

Formal Verification

Similarity Metrics

Top Venues

Wirel. Commun. Mob. Comput.

Perform. Evaluation

Publications

Lucia Gallina, Andrea Marin, Sabina Rossi
Connectivity and energy-aware preorders for mobile ad-hoc networks. Telecommun. Syst. 63 (2) (2016)
Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
Behavioural equivalences and interference metrics for mobile ad-hoc networks. Perform. Evaluation 73 (2014)
Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska
A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. MSWiM (2013)
Gian-Luca Dei Rossi, Lucia Gallina, Sabina Rossi
Performance Analysis and Formal Verification of Cognitive Wireless Networks. EPEW (2013)
Lucia Gallina, Sabina Rossi
A process calculus for energy-aware multicast communications of mobile ad hoc networks. Wirel. Commun. Mob. Comput. 13 (3) (2013)
Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou
Interference-Sensitive Preorders for MANETs. QEST (2012)
Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. Wireless Days (2012)
Lucia Gallina, Gian-Luca Dei Rossi, Andrea Marin, Sabina Rossi
Evaluating resistance to jamming and casual interception in mobile wireless networks. MSWiM (2012)
Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
A framework for throughput and energy efficiency in mobile ad hoc networks. Wireless Days (2011)
Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks. ASMTA (2011)
Lucia Gallina, Sabina Rossi
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks. IFIP TCS (2010)
Lucia Gallina, Sabina Rossi
Sender- and receiver-centered interference in wireless ad hoc networks. Wireless Days (2010)