Search results for: Gianluigi Ferrari
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Negotiations, Planning, and Reconfiguration > 326-348
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 142-156
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 712-726
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 242-266
Signals and Communication Technology > Sensor Networks with IEEE 802.15.4 Systems > Distributed Processing > 101-120
Signals and Communication Technology > Sensor Networks with IEEE 802.15.4 Systems > MAC and Connectivity > 161-211
Signals and Communication Technology > Sensor Networks with IEEE 802.15.4 Systems > MAC and Connectivity > 213-227
Signals and Communication Technology > Sensor Networks with IEEE 802.15.4 Systems > Fundamentals > 3-28
Signals and Communication Technology > Sensor Networks with IEEE 802.15.4 Systems > MAC and Connectivity > 123-159
The Internet of Things > Localization and Applications > 167-176
Signals and Communication Technology > Sensor Networks with IEEE 802.15.4 Systems > Distributed Processing > 31-99
Ad Hoc Networks > 2016 > 36 > P2 > 450-464
IEEE Journal of Biomedical and Health Informatics > 2015 > 19 > 6 > 1777 - 1793
Concurrency and Computation: Practice and Experience > 27 > 13 > 3295 - 3315