Elena Pagani

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 22

Top Topics

Data Distribution

Quantifier Elimination

Social Networks

Top Venues

Pervasive Mob. Comput.

Comput. Commun.

Publications

Mattia Giovanni Campana, Marco Colussi, Franca Delmastro, Sergio Mascetti, Elena Pagani
A Transfer Learning and Explainable Solution to Detect mpox from Smartphones images. Pervasive Mob. Comput. 98 (2024)
Mattia Giovanni Campana, Marco Colussi, Franca Delmastro, Sergio Mascetti, Elena Pagani
A Transfer Learning and Explainable Solution to Detect mpox from Smartphones images. CoRR (2023)
Valerio Arnaboldi, Mattia Giovanni Campana, Franca Delmastro, Elena Pagani
PLIERS: a Popularity-Based Recommender System for Content Dissemination in Online Social Networks. CoRR (2023)
Mattia Giovanni Campana, Franca Delmastro, Elena Pagani
Transfer Learning for the Efficient Detection of COVID-19 from Smartphone Audio Data. CoRR (2023)
Mattia Giovanni Campana, Franca Delmastro, Elena Pagani
Transfer learning for the efficient detection of COVID-19 from smartphone audio data. Pervasive Mob. Comput. 89 (2023)
Valerio Arnaboldi, Mattia Giovanni Campana, Franca Delmastro, Elena Pagani
A Personalized Recommender System for Pervasive Social Networks. CoRR (2022)
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks. IEEE Trans. Dependable Secur. Comput. 19 (6) (2022)
Mattia Giovanni Campana, Andrea Rovati, Franca Delmastro, Elena Pagani
-Net Deep Audio Embeddings to Improve COVID-19 Detection from Smartphone Data. SMARTCOMP (2022)
Mattia Giovanni Campana, Andrea Rovati, Franca Delmastro, Elena Pagani
L3-Net Deep Audio Embeddings to Improve COVID-19 Detection from Smartphone Data. CoRR (2022)
Theofanis P. Raptis, Andrea Formica, Elena Pagani, Andrea Passarella, Marco Conti
Toward a Detailed Evaluation of Wireless Industrial Data Distribution Approaches. Sensors 22 (7) (2022)
Silvio Ghilardi, Elena Pagani
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems. J. Autom. Reason. 65 (3) (2021)
Marco Conti, Chiara Boldrini, Salil S. Kanhere, Enzo Mingozzi, Elena Pagani, Pedro M. Ruiz, Mohamed F. Younis
From MANET to people-centric networking: milestones and open research challenges. CoRR (2021)
Theofanis P. Raptis, Andrea Formica, Elena Pagani, Andrea Passarella
On the Performance of Data Distribution Methods for Wireless Industrial Networks. WOWMOM (2019)
Valerio Arnaboldi, Mattia Giovanni Campana, Franca Delmastro, Elena Pagani
A personalized recommender system for pervasive social networks. Pervasive Mob. Comput. 36 (2017)
Silvio Ghilardi, Elena Pagani
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report. PxTP (2017)
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. IFM (2017)
Silvio Ghilardi, Elena Pagani
Second Order Quantifier Elimination: Towards Verification Applications. SOQE (2017)
Francesco Alberti, Silvio Ghilardi, Elena Pagani
Cardinality constraints for arrays (decidability results and applications). Formal Methods Syst. Des. 51 (3) (2017)
Valerio Arnaboldi, Mattia Giovanni Campana, Franca Delmastro, Elena Pagani
PLIERS: a popularity-based recommender system for content dissemination in online social networks. SAC (2016)
Francesco Alberti, Silvio Ghilardi, Elena Pagani
Counting Constraints in Flat Array Fragments. CoRR (2016)
Francesco Alberti, Silvio Ghilardi, Elena Pagani
Counting Constraints in Flat Array Fragments. IJCAR (2016)
Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. CILC (2016)
Elena Pagani, Lorenzo Valerio, Gian Paolo Rossi
Weak social ties improve content delivery in behavior-aware opportunistic networks. Ad Hoc Networks 25 (2015)
Lorenzo Valerio, Andrea Passarella, Marco Conti, Elena Pagani
Scalable data dissemination in opportunistic networks through cognitive methods. Pervasive Mob. Comput. 16 (2015)
Marco Conti, Chiara Boldrini, Salil S. Kanhere, Enzo Mingozzi, Elena Pagani, Pedro M. Ruiz, Mohamed F. Younis
From MANET to people-centric networking: Milestones and open research challenges. Comput. Commun. 71 (2015)
Federico Pedersini, Andrea Toscano, Elena Pagani
Study and Experimentation of Control Policies to Dynamically Maintain Micro-UAV Flight Stability. DroNet@MobiSys (2015)
Chiara Boldrini, Kyunghan Lee, Melek Önen, Jörg Ott, Elena Pagani
Opportunistic networks. Comput. Commun. 48 (2014)
Elena Pagani, Gian Paolo Rossi
Interest-driven forwarding for delay-tolerant mobile ad hoc networks. IWCMC (2013)
Elena Pagani, Gian Paolo Rossi
Content Dissemination on Location-Based Communities: A Comparative Analysis. MOBILWARE (2013)
Lorenzo Valerio, Marco Conti, Elena Pagani, Andrea Passarella
Autonomic cognitive-based data dissemination in Opportunistic Networks. WOWMOM (2013)
Elena Pagani, Gian Paolo Rossi
Utility-based forwarding: a comparison in different mobility scenarios. MobiOpp (2012)
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. J. Satisf. Boolean Model. Comput. 8 (1/2) (2012)
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi, Matteo Zignani
Sensing multi-dimensional human behavior in opportunistic networks. MobiOpp (2012)
Elena Pagani, Gian Paolo Rossi
Context sensing for autonomic forwarding in opportunistic networks. WiMob (2012)
Elena Pagani, Gian Paolo Rossi
Reasoning about multicast in Opportunistic Networks. WOWMOM (2011)
Elena Pagani, Chiara Boldrini
Message from the workshop chair and vice-chair. WOWMOM (2011)
Bruno Apolloni, Simone Bassis, Elena Pagani, Gian Paolo Rossi, Lorenzo Valerio
Mobility Timing for Agent Communities, a Cue for Advanced Connectionist Systems. IEEE Trans. Neural Networks 22 (12) (2011)
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi
Strangers help friends to communicate in opportunistic networks. Comput. Networks 55 (2) (2011)
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. DISC (2010)
Paolo Meroni, Elena Pagani, Gian Paolo Rossi, Lorenzo Valerio
An opportunistic platform for Android-based mobile devices. MobiOpp (2010)
Sabrina Gaito, Elena Pagani, Gian Paolo Rossi
Opportunistic forwarding in workplaces. WOSN (2009)
Francesco Giudici, Elena Pagani, Gian Paolo Rossi
Comparison of Policies for Epidemic Broadcast in DTNs under Different Mobility Models. Int. J. Bus. Data Commun. Netw. 5 (2) (2009)
Sabrina Gaito, Dario Maggiorini, Elena Pagani, Gian Paolo Rossi
Distance vector routing for public transportation vehicular networks: Performance evaluation on a real topology. Wireless Days (2009)
Elena Pagani, Gian Paolo Rossi, Enrico Pertoso
ORION - Ontology-based queRy routIng in Overlay Networks. J. Parallel Distributed Comput. 69 (1) (2009)
Giorgio Gamberini, Francesco Giudici, Elena Pagani, Gian Paolo Rossi
Impact of history on epidemic broadcast in DTNs. Wireless Days (2008)
Francesco Giudici, Elena Pagani, Gian Paolo Rossi
Impact of Mobility on Epidemic Broadcast in DTNs. MWCN/PWC (2008)
Philip Grew, Francesco Giudici, Elena Pagani
Specification of a Functional Architecture for E-Learning Supported by Wireless Technologies. PerCom Workshops (2006)
Francesco Giudici, Elena Pagani
Spatial and Traffic-Aware Routing (STAR) for Vehicular Systems. HPCC (2005)
Elena Pagani, Stefano Tebaldi, Gian Paolo Rossi
A Service Discovery Infrastructure for Heterogeneous Wired/Bluetooth Networks. IWUC (2004)
Silvana Castano, Alfio Ferrara, Stefano Montanelli, Elena Pagani, Gian Paolo Rossi, Stefano Tebaldi
On Combining a Semantic Engine and Flexible Network Policies for P2P Knowledge Sharing Networks. DEXA Workshops (2004)
Elena Pagani, Gian Paolo Rossi, Stefano Tebaldi
An On-Demand Bluetooth Scatternet Formation Algorithm. WONS (2004)
Elena Pagani, Matteo Pelati, Gian Paolo Rossi
A Linux-Based Testbed for Multicast Sessions Set-Up in Diff-Serv Networks. QoS-IP (2003)
Elena Pagani, Gian Paolo Rossi
Measurement-Based Admission Control for Dynamic Multicast Groups in Diff-Serv Networks. NETWORKING (2002)
Pierpaolo Baccichet, Elena Pagani, Gian Paolo Rossi
Quality of Service Multipath Multicast Protocol. Networked Group Communication (2002)
Elena Pagani, Gian Paolo Rossi
Distributed Bandwidth Broker for QoS Multicast Traffic. ICDCS (2002)
Elena Pagani, Gian Paolo Rossi, Dario Maggiorini
A Multicast Transport Service with Bandwidth Guarantees for Diff-Serv Networks. QoS-IP (2001)
Elena Pagani, Gian Paolo Rossi
Analysis and Evaluation of QoS-Sensitive Multicast Routing Policies. ICN (1) (2001)
Elena Pagani, Gian Paolo Rossi
Implementing On-line Techniques to Allocate File Resources in Large Distributed Systems. PDP (2001)
Andrea Borella, Giovanni Cancellieri, Elena Pagani, Gian Paolo Rossi
Implementation schemes for multicast bandwidth brokers in multidomain networks. Comput. Networks 37 (5) (2001)
Andrea Borella, Giovanni Cancellieri, Elena Pagani, Gian Paolo Rossi
Quality-of-Service Guarantees for Multicast Traffic in Heterogeneous Multi-service Networks. QoS-IP (2001)
Elena Pagani, Gian Paolo Rossi
A framework for the admission control of QoS multicast traffic in mobile ad hoc networks. WOWMOM (2001)
Elisa Bertino, Elena Pagani, Gian Paolo Rossi, Pierangela Samarati
Protecting information on the Web. Commun. ACM 43 (11es) (2000)
Elena Pagani, Gian Paolo Rossi
Providing Reliable and Fault Tolerant Broadcast Delivery in Mobile Ad-hoc Networks. Mob. Networks Appl. 4 (3) (1999)
Elena Pagani, Gian Paolo Rossi
An On-Demand Shared Tree with Hybrid State for Multicast Routing in Ad Hoc Mobile Wireless Networks. ICPP Workshops (1999)
Elisa Bertino, Elena Pagani, Gian Paolo Rossi
An adaptive concurrency control protocol for mobile transactions. Mobile Networks and Computing (1999)
Elena Pagani, Gian Paolo Rossi
Reliable Broadcast in Mobile Multihop Packet Networks. MobiCom (1997)
Elena Pagani, Gian Paolo Rossi
Comparing Performances and Quality of Service of Group Communication Protocols. EUROMICRO (1996)
Elena Pagani, Gian Paolo Rossi
A Set of Multicast Primitives for Fault Tolerant Distributed Systems. J. High Speed Networks 4 (3) (1995)
Rosario Aiello, Elena Pagani, Gian Paolo Rossi
An Efficient Algorithm for Group Communication. SPDP (1993)
Rosario Aiello, Elena Pagani, Gian Paolo Rossi
Causal Ordering in Reliable Group Communications. SIGCOMM (1993)
Rosario Aiello, Elena Pagani, Gian Paolo Rossi
Design of a Reliable Multicast Protocol. INFOCOM (1993)
Elena Pagani, Gian Paolo Rossi
Providing circuit service over a high speed deflection network. Microprocess. Microprogramming 38 (1-5) (1993)