1. Network Measurements and Optimizations for Telehealth in Internet's Remote Regions;2023 Tenth International Conference on Software Defined Systems (SDS);2023-10-23
2. Modular Control Plane Verification via Temporal Invariants;Proceedings of the ACM on Programming Languages;2023-06-06
3. The Internet Measurement Network (AIORI-IMN);2023 4th International Conference on Computing and Communication Systems (I3CS);2023-03-16
4. Eliminating Routing Loops and Oscillations in BGP Using Total Ordering;2022 IEEE 47th Conference on Local Computer Networks (LCN);2022-09-26
5. Multidomain SDN-Based Gateways and Border Gateway Protocol;Journal of Computer Networks and Communications;2022-05-12