GALLINA, LUCIA
GALLINA, LUCIA
Dipartimento di Scienze Ambientali, Informatica e Statistica
A Calculus for Power-aware Multicast Communications in Ad Hoc Networks
2010-01-01 Gallina, Lucia; Rossi, Sabina
A Framework for Throughput and Energy Efficiency in Mobile ad Hoc Networks
2011-01-01 Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks
2011-01-01 Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
A Process Algebraic Framework for Estimating the Energy Consumption in Ad-hoc Wireless Sensor Networks
2013-01-01 Gallina, Lucia; T., Han; M., Kwiatkowska; Marin, Andrea; Rossi, Sabina
A Process Calculus for Energy-Aware Multicast Communications of Mobile Ad-Hoc Networks
2013-01-01 Gallina, Lucia; Rossi, Sabina
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks
2012-01-01 Gallina, Lucia; T., Han; M., Kwiatkowska; Marin, Andrea; Rossi, Sabina; S., Spanò
Behavioural equivalences and interference metrics for mobile ad-hoc networks
2014-01-01 Bugliesi, Michele; Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
Connectivity and energy-aware preorders for mobile ad-hoc networks
2016-01-01 Gallina, Lucia; Marin, Andrea; Rossi, Sabina
Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks
2012-01-01 Gallina, Lucia; DEI ROSSI, Gian-Luca; Marin, Andrea; Rossi, Sabina
Formal models for qualitative and quantitative analysis of mobile ad hoc and sensor networks
2013-04-19 Gallina, Lucia
Interference-sensitive Preorders for MANETs
2012-01-01 Bugliesi, Michele; Gallina, Lucia; S., Hamadou; Marin, Andrea; Rossi, Sabina
Performance Analysis and Formal Verification of Cognitive Wireless Networks
2013-01-01 DEI ROSSI, Gian-Luca; Gallina, Lucia; Rossi, Sabina
Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks
2010-01-01 Gallina, Lucia; Rossi, Sabina