Design of a Reliable Multicast Protocol. - Rosario Aiello; Elena Pagani; Gian Paolo Rossi 001 (INFOCOM, 1993)

Causal Ordering in Reliable Group Communications. - Rosario Aiello; Elena Pagani; Gian Paolo Rossi 001 (SIGCOMM, 1993)

An Efficient Algorithm for Group Communication. - Rosario Aiello; Elena Pagani; Gian Paolo Rossi 001 (SPDP, 1993)

Providing circuit service over a high speed deflection network. - Elena Pagani; Gian Paolo Rossi 001 (Microprocess. Microprogramming, 1993)

A Set of Multicast Primitives for Fault Tolerant Distributed Systems. - Elena Pagani; Gian Paolo Rossi 001 (J. High Speed Networks, 1995)

Comparing Performances and Quality of Service of Group Communication Protocols. - Elena Pagani; Gian Paolo Rossi 001 (EUROMICRO, 1996)

Reliable Broadcast in Mobile Multihop Packet Networks. - Elena Pagani; Gian Paolo Rossi 001 (MobiCom, 1997)

An adaptive concurrency control protocol for mobile transactions. - Elisa Bertino; Elena Pagani; Gian Paolo Rossi 001 (Mobile Networks and Computing, 1999)

An On-Demand Shared Tree with Hybrid State for Multicast Routing in Ad Hoc Mobile Wireless Networks. - Elena Pagani; Gian Paolo Rossi 001 (ICPP Workshops, 1999)

Providing Reliable and Fault Tolerant Broadcast Delivery in Mobile Ad-hoc Networks. - Elena Pagani; Gian Paolo Rossi 001 (Mob. Networks Appl., 1999)

Protecting information on the Web. - Elisa Bertino; Elena Pagani; Gian Paolo Rossi 001; Pierangela Samarati (Commun. ACM, 2000)

Analysis and Evaluation of QoS-Sensitive Multicast Routing Policies. - Elena Pagani; Gian Paolo Rossi 001 (ICN (1), 2001)

Implementing On-line Techniques to Allocate File Resources in Large Distributed Systems. - Elena Pagani; Gian Paolo Rossi 001 (PDP, 2001)

Quality-of-Service Guarantees for Multicast Traffic in Heterogeneous Multi-service Networks. - Andrea Borella; Giovanni Cancellieri; Elena Pagani; Gian Paolo Rossi 001 (QoS-IP, 2001)

A Multicast Transport Service with Bandwidth Guarantees for Diff-Serv Networks. - Elena Pagani; Gian Paolo Rossi 001; Dario Maggiorini (QoS-IP, 2001)

A framework for the admission control of QoS multicast traffic in mobile ad hoc networks. - Elena Pagani; Gian Paolo Rossi 001 (WOWMOM, 2001)

Implementation schemes for multicast bandwidth brokers in multidomain networks. - Andrea Borella; Giovanni Cancellieri; Elena Pagani; Gian Paolo Rossi 001 (Comput. Networks, 2001)

Distributed Bandwidth Broker for QoS Multicast Traffic. - Elena Pagani; Gian Paolo Rossi 001 (ICDCS, 2002)

Measurement-Based Admission Control for Dynamic Multicast Groups in Diff-Serv Networks. - Elena Pagani; Gian Paolo Rossi 001 (NETWORKING, 2002)

Quality of Service Multipath Multicast Protocol. - Pierpaolo Baccichet; Elena Pagani; Gian Paolo Rossi 001 (Networked Group Communication, 2002)

A Linux-Based Testbed for Multicast Sessions Set-Up in Diff-Serv Networks. - Elena Pagani; Matteo Pelati; Gian Paolo Rossi 001 (QoS-IP, 2003)

On Combining a Semantic Engine and Flexible Network Policies for P2P Knowledge Sharing Networks. - Silvana Castano; Alfio Ferrara; Stefano Montanelli; Elena Pagani; Gian Paolo Rossi 001; Stefano Tebaldi (DEXA Workshops, 2004)

An On-Demand Bluetooth Scatternet Formation Algorithm. - Elena Pagani; Gian Paolo Rossi 001; Stefano Tebaldi (WONS, 2004)

A Service Discovery Infrastructure for Heterogeneous Wired/Bluetooth Networks. - Elena Pagani; Stefano Tebaldi; Gian Paolo Rossi 001 (IWUC, 2004)

Spatial and Traffic-Aware Routing (STAR) for Vehicular Systems. - Francesco Giudici; Elena Pagani (HPCC, 2005)

Specification of a Functional Architecture for E-Learning Supported by Wireless Technologies. - Philip Grew; Francesco Giudici; Elena Pagani (PerCom Workshops, 2006)

Impact of Mobility on Epidemic Broadcast in DTNs. - Francesco Giudici; Elena Pagani; Gian Paolo Rossi 001 (MWCN/PWC, 2008)

Impact of history on epidemic broadcast in DTNs. - Giorgio Gamberini; Francesco Giudici; Elena Pagani; Gian Paolo Rossi 001 (Wireless Days, 2008)

Opportunistic forwarding in workplaces. - Sabrina Gaito; Elena Pagani; Gian Paolo Rossi 001 (WOSN, 2009)

Distance vector routing for public transportation vehicular networks: Performance evaluation on a real topology. - Sabrina Gaito; Dario Maggiorini; Elena Pagani; Gian Paolo Rossi 001 (Wireless Days, 2009)

Comparison of Policies for Epidemic Broadcast in DTNs under Different Mobility Models. - Francesco Giudici; Elena Pagani; Gian Paolo Rossi 001 (Int. J. Bus. Data Commun. Netw., 2009)

ORION - Ontology-based queRy routIng in Overlay Networks. - Elena Pagani; Gian Paolo Rossi 001; Enrico Pertoso (J. Parallel Distributed Comput., 2009)

An opportunistic platform for Android-based mobile devices. - Paolo Meroni; Elena Pagani; Gian Paolo Rossi 001; Lorenzo Valerio (MobiOpp, 2010)

Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. - Francesco Alberti; Silvio Ghilardi; Elena Pagani; Silvio Ranise; Gian Paolo Rossi 001 (DISC, 2010)

Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. - Francesco Alberti; Silvio Ghilardi; Elena Pagani; Silvio Ranise; Gian Paolo Rossi 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Message from the workshop chair and vice-chair. - Elena Pagani; Chiara Boldrini (WOWMOM, 2011)

Reasoning about multicast in Opportunistic Networks. - Elena Pagani; Gian Paolo Rossi 001 (WOWMOM, 2011)

Strangers help friends to communicate in opportunistic networks. - Sabrina Gaito; Elena Pagani; Gian Paolo Rossi 001 (Comput. Networks, 2011)

Mobility Timing for Agent Communities, a Cue for Advanced Connectionist Systems. - Bruno Apolloni; Simone Bassis; Elena Pagani; Gian Paolo Rossi 001; Lorenzo Valerio (IEEE Trans. Neural Networks, 2011)

Sensing multi-dimensional human behavior in opportunistic networks. - Sabrina Gaito; Elena Pagani; Gian Paolo Rossi 001; Matteo Zignani (MobiOpp, 2012)

Utility-based forwarding: a comparison in different mobility scenarios. - Elena Pagani; Gian Paolo Rossi 001 (MobiOpp, 2012)

Context sensing for autonomic forwarding in opportunistic networks. - Elena Pagani; Gian Paolo Rossi 001 (WiMob, 2012)

Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. - Francesco Alberti; Silvio Ghilardi; Elena Pagani; Silvio Ranise; Gian Paolo Rossi 001 (J. Satisf. Boolean Model. Comput., 2012)

Interest-driven forwarding for delay-tolerant mobile ad hoc networks. - Elena Pagani; Gian Paolo Rossi 001 (IWCMC, 2013)

Content Dissemination on Location-Based Communities: A Comparative Analysis. - Elena Pagani; Gian Paolo Rossi 001 (MOBILWARE, 2013)

Autonomic cognitive-based data dissemination in Opportunistic Networks. - Lorenzo Valerio; Marco Conti; Elena Pagani; Andrea Passarella (WOWMOM, 2013)

Opportunistic networks. - Chiara Boldrini; Kyunghan Lee; Melek Önen; Jörg Ott; Elena Pagani (Comput. Commun., 2014)

Study and Experimentation of Control Policies to Dynamically Maintain Micro-UAV Flight Stability. - Federico Pedersini; Andrea Toscano; Elena Pagani (DroNet@MobiSys, 2015)

Weak social ties improve content delivery in behavior-aware opportunistic networks. - Elena Pagani; Lorenzo Valerio; Gian Paolo Rossi 001 (Ad Hoc Networks, 2015)

From MANET to people-centric networking: Milestones and open research challenges. - Marco Conti; Chiara Boldrini; Salil S. Kanhere; Enzo Mingozzi; Elena Pagani; Pedro M. Ruiz; Mohamed F. Younis (Comput. Commun., 2015)

Scalable data dissemination in opportunistic networks through cognitive methods. - Lorenzo Valerio; Andrea Passarella; Marco Conti; Elena Pagani (Pervasive Mob. Comput., 2015)

Counting Constraints in Flat Array Fragments. - Francesco Alberti; Silvio Ghilardi; Elena Pagani (IJCAR, 2016)

Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. - Francesco Alberti; Silvio Ghilardi; Andrea Orsini; Elena Pagani (CILC, 2016)

PLIERS: a popularity-based recommender system for content dissemination in online social networks. - Valerio Arnaboldi; Mattia Giovanni Campana; Franca Delmastro; Elena Pagani (SAC, 2016)

Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. - Danilo Bruschi; Andrea Di Pasquale; Silvio Ghilardi; Andrea Lanzi; Elena Pagani (IFM, 2017)

Second Order Quantifier Elimination: Towards Verification Applications. - Silvio Ghilardi; Elena Pagani (SOQE, 2017)

Counter Simulations via Higher Order Quantifier Elimination: a preliminary report. - Silvio Ghilardi; Elena Pagani (PxTP, 2017)

Cardinality constraints for arrays (decidability results and applications). - Francesco Alberti; Silvio Ghilardi; Elena Pagani (Formal Methods Syst. Des., 2017)

A personalized recommender system for pervasive social networks. - Valerio Arnaboldi; Mattia Giovanni Campana; Franca Delmastro; Elena Pagani (Pervasive Mob. Comput., 2017)

On the Performance of Data Distribution Methods for Wireless Industrial Networks. - Theofanis P. Raptis; Andrea Formica; Elena Pagani; Andrea Passarella (WOWMOM, 2019)

Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems. - Silvio Ghilardi; Elena Pagani (J. Autom. Reason., 2021)

L3-Net Deep Audio Embeddings to Improve COVID-19 Detection from Smartphone Data. - Mattia Giovanni Campana; Andrea Rovati; Franca Delmastro; Elena Pagani (SMARTCOMP, 2022)

L3-Net Deep Audio Embeddings to Improve COVID-19 Detection from Smartphone Data. - Mattia Giovanni Campana; Andrea Rovati; Franca Delmastro; Elena Pagani (CoRR, 2022)

Toward a Detailed Evaluation of Wireless Industrial Data Distribution Approaches. - Theofanis P. Raptis; Andrea Formica; Elena Pagani; Andrea Passarella; Marco Conti (Sensors, 2022)

A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks. - Danilo Bruschi; Andrea Di Pasquale; Silvio Ghilardi; Andrea Lanzi; Elena Pagani (IEEE Trans. Dependable Secur. Comput., 2022)

Transfer learning for the efficient detection of COVID-19 from smartphone audio data. - Mattia Giovanni Campana; Franca Delmastro; Elena Pagani (Pervasive Mob. Comput., 2023)

Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks. - Danilo Bruschi; Andrea Di Pasquale; Andrea Lanzi; Elena Pagani (J. Comput. Secur., 2024)

A Transfer Learning and Explainable Solution to Detect mpox from Smartphones images. - Mattia Giovanni Campana; Marco Colussi; Franca Delmastro; Sergio Mascetti; Elena Pagani (Pervasive Mob. Comput., 2024)