Elena Pagani

Orcid: 0000-0001-7162-5997

Affiliations:
  • University of Milan, Italy


According to our database1, Elena Pagani authored at least 67 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Transfer Learning and Explainable Solution to Detect mpox from Smartphones images.
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

Toward a Detailed Evaluation of Wireless Industrial Data Distribution Approaches.
Sensors, 2022

L3-Net Deep Audio Embeddings to Improve COVID-19 Detection from Smartphone Data.
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
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems.
J. Autom. Reason., 2021

2019
On the Performance of Data Distribution Methods for Wireless Industrial Networks.
Proceedings of the 20th IEEE International Symposium on "A World of Wireless, 2019

2017
A personalized recommender system for pervasive social networks.
Pervasive Mob. Comput., 2017

Cardinality constraints for arrays (decidability results and applications).
Formal Methods Syst. Des., 2017

Counter Simulations via Higher Order Quantifier Elimination: a preliminary report.
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017

Second Order Quantifier Elimination: Towards Verification Applications.
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

Counting Constraints in Flat Array Fragments.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015
Scalable data dissemination in opportunistic networks through cognitive methods.
Pervasive Mob. Comput., 2015

From MANET to people-centric networking: Milestones and open research challenges.
Comput. Commun., 2015

Weak social ties improve content delivery in behavior-aware opportunistic networks.
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
Opportunistic networks.
Comput. Commun., 2014

2013
Autonomic cognitive-based data dissemination in Opportunistic Networks.
Proceedings of the IEEE 14th International Symposium on "A World of Wireless, 2013

Content Dissemination on Location-Based Communities: A Comparative Analysis.
Proceedings of the 2013 International Conference on MOBILe Wireless MiddleWARE, 2013

Interest-driven forwarding for delay-tolerant mobile ad hoc networks.
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

Context sensing for autonomic forwarding in opportunistic networks.
Proceedings of the 8th IEEE International Conference on Wireless and Mobile Computing, 2012

Utility-based forwarding: a comparison in different mobility scenarios.
Proceedings of the third ACM international workshop on Mobile Opportunistic Networks, 2012

Sensing multi-dimensional human behavior in opportunistic networks.
Proceedings of the third ACM international workshop on Mobile Opportunistic Networks, 2012

2011
Mobility Timing for Agent Communities, a Cue for Advanced Connectionist Systems.
IEEE Trans. Neural Networks, 2011

Strangers help friends to communicate in opportunistic networks.
Comput. Networks, 2011

Reasoning about multicast in Opportunistic Networks.
Proceedings of the 12th IEEE International Symposium on a World of Wireless, 2011

Message from the workshop chair and vice-chair.
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

An opportunistic platform for Android-based mobile devices.
Proceedings of the Second International Workshop on Mobile Opportunistic Networking, 2010

2009
ORION - Ontology-based queRy routIng in Overlay Networks.
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

Opportunistic forwarding in workplaces.
Proceedings of the 2nd ACM Workshop on Online Social Networks, 2009

2008
Impact of history on epidemic broadcast in DTNs.
Proceedings of the 1st IFIP Wireless Days, 2008

Impact of Mobility on Epidemic Broadcast in DTNs.
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
Spatial and Traffic-Aware Routing (STAR) for Vehicular Systems.
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

An On-Demand Bluetooth Scatternet Formation Algorithm.
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
A Linux-Based Testbed for Multicast Sessions Set-Up in Diff-Serv Networks.
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

Distributed Bandwidth Broker for QoS Multicast Traffic.
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

2001
Implementation schemes for multicast bandwidth brokers in multidomain networks.
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

A Multicast Transport Service with Bandwidth Guarantees for Diff-Serv Networks.
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

Analysis and Evaluation of QoS-Sensitive Multicast Routing Policies.
Proceedings of the Networking, 2001

2000
Protecting information on the Web.
Commun. ACM, 2000

1999
Providing Reliable and Fault Tolerant Broadcast Delivery in Mobile Ad-hoc Networks.
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

An adaptive concurrency control protocol for mobile transactions.
Proceedings of the Mobile Networks and Computing, 1999

1997
Reliable Broadcast in Mobile Multihop Packet Networks.
Proceedings of the MOBICOM '97, 1997

1996
Comparing Performances and Quality of Service of Group Communication Protocols.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995
A Set of Multicast Primitives for Fault Tolerant Distributed Systems.
J. High Speed Networks, 1995

1993
Providing circuit service over a high speed deflection network.
Microprocess. Microprogramming, 1993

An Efficient Algorithm for Group Communication.
Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Causal Ordering in Reliable Group Communications.
Proceedings of the ACM SIGCOMM 1993 Conference on Communications Architectures, 1993

Design of a Reliable Multicast Protocol.
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


  Loading...