Elena Pagani
Orcid: 0000-0001-7162-5997Affiliations:
- University of Milan, Italy
According to our database1,
Elena Pagani
authored at least 67 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Pervasive Mob. Comput., 2024
2023
Transfer learning for the efficient detection of COVID-19 from smartphone audio data.
Pervasive Mob. Comput., February, 2023
2022
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks.
IEEE Trans. Dependable Secur. Comput., 2022
Sensors, 2022
CoRR, 2022
L<sup>3</sup>-Net Deep Audio Embeddings to Improve COVID-19 Detection from Smartphone Data.
Proceedings of the 2022 IEEE International Conference on Smart Computing, 2022
2021
J. Autom. Reason., 2021
2019
Proceedings of the 20th IEEE International Symposium on "A World of Wireless, 2019
2017
Pervasive Mob. Comput., 2017
Formal Methods Syst. Des., 2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), 2017
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
PLIERS: a popularity-based recommender system for content dissemination in online social networks.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies.
Proceedings of the 31st Italian Conference on Computational Logic, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Pervasive Mob. Comput., 2015
Comput. Commun., 2015
Ad Hoc Networks, 2015
Study and Experimentation of Control Policies to Dynamically Maintain Micro-UAV Flight Stability.
Proceedings of the First Workshop on Micro Aerial Vehicle Networks, 2015
2014
2013
Proceedings of the IEEE 14th International Symposium on "A World of Wireless, 2013
Proceedings of the 2013 International Conference on MOBILe Wireless MiddleWARE, 2013
Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013
2012
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories.
J. Satisf. Boolean Model. Comput., 2012
Proceedings of the 8th IEEE International Conference on Wireless and Mobile Computing, 2012
Proceedings of the third ACM international workshop on Mobile Opportunistic Networks, 2012
Proceedings of the third ACM international workshop on Mobile Opportunistic Networks, 2012
2011
IEEE Trans. Neural Networks, 2011
Comput. Networks, 2011
Proceedings of the 12th IEEE International Symposium on a World of Wireless, 2011
Proceedings of the 12th IEEE International Symposium on a World of Wireless, 2011
2010
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study.
Proceedings of the Distributed Computing, 24th International Symposium, 2010
Proceedings of the Second International Workshop on Mobile Opportunistic Networking, 2010
2009
J. Parallel Distributed Comput., 2009
Comparison of Policies for Epidemic Broadcast in DTNs under Different Mobility Models.
Int. J. Bus. Data Commun. Netw., 2009
Distance vector routing for public transportation vehicular networks: Performance evaluation on a real topology.
Proceedings of the 2nd IFIP Wireless Days, 2009
Proceedings of the 2nd ACM Workshop on Online Social Networks, 2009
2008
Proceedings of the 1st IFIP Wireless Days, 2008
Proceedings of the Wireless and Mobile Networking, IFIP Joint Conference on Mobile and Wireless Communications Networks (MWCN'2008) and Personal Wireless Communications (PWC'2008), Toulouse, France, September 30, 2008
2006
Specification of a Functional Architecture for E-Learning Supported by Wireless Technologies.
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006
2005
Proceedings of the High Performance Computing and Communications, 2005
2004
A Service Discovery Infrastructure for Heterogeneous Wired/Bluetooth Networks.
Proceedings of the Ubiquitous Computing, 2004
Proceedings of the Wireless On-Demand Network Systems, First IFIP TC6 Working Conference, 2004
On Combining a Semantic Engine and Flexible Network Policies for P2P Knowledge Sharing Networks.
Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August, 2004
2003
Proceedings of the Quality of Service in Multiservice IP Networks, 2003
2002
Quality of Service Multipath Multicast Protocol.
Proceedings of the Networked Group Communication, Fourth International COST264 Workshop, 2002
Measurement-Based Admission Control for Dynamic Multicast Groups in Diff-Serv Networks.
Proceedings of the NETWORKING 2002, 2002
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002
2001
Comput. Networks, 2001
A framework for the admission control of QoS multicast traffic in mobile ad hoc networks.
Proceedings of the 4th International Workshop on Wireless Mobile Multimedia, 2001
Proceedings of the Quality of Service in Multiservice IP Networks, International Workshop, 2001
Quality-of-Service Guarantees for Multicast Traffic in Heterogeneous Multi-service Networks.
Proceedings of the Quality of Service in Multiservice IP Networks, International Workshop, 2001
Implementing On-line Techniques to Allocate File Resources in Large Distributed Systems.
Proceedings of the Ninth Euromicro Workshop on Parallel and Distributed Processing, 2001
Proceedings of the Networking, 2001
2000
1999
Mob. Networks Appl., 1999
An On-Demand Shared Tree with Hybrid State for Multicast Routing in Ad Hoc Mobile Wireless Networks.
Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999
Proceedings of the Mobile Networks and Computing, 1999
1997
Proceedings of the MOBICOM '97, 1997
1996
Proceedings of the 22rd EUROMICRO Conference '96, 1996
1995
J. High Speed Networks, 1995
1993
Microprocess. Microprogramming, 1993
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993
Proceedings of the ACM SIGCOMM 1993 Conference on Communications Architectures, 1993
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993