Alexander J. T. Gurney

Most-cited papers

1. Impact of Path Characteristics and Scheduling Policies on MPTCP Performance

   Behnaz Arzani, Alexander J. T. Gurney, Shuotian Cheng, R. Guérin +1 more

   20142014 28th International Conference on Advanced Information Networking and Applications Workshops72 citations

   Semantic Scholar

   Save

2. Private and verifiable interdomain routing decisions

   Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen +2 more

   2012Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication53 citations Open access

   Semantic Scholar

   Save

3. Lexicographic products in metarouting

   Alexander J. T. Gurney, T. Griffin

   2007IEEE International Conference on Network Protocols49 citations

   Semantic Scholar

   Save

4. FSR: formal analysis and implementation toolkit for safe inter-domain routing

   Yiqing Ren, Wenchao Zhou, An-Duo Wang, Li-Min Jia +3 more

   2011Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication36 citations Open access

   Semantic Scholar

   Save

5. Increasing Bisemigroups and Algebraic Routing

   T. Griffin, Alexander J. T. Gurney

   2008RelMiCS33 citations

   Semantic Scholar

   Save

6. Deconstructing MPTCP Performance

   Behnaz Arzani, Alexander J. T. Gurney, Sitian Cheng, R. Guérin +1 more

   2014IEEE International Conference on Network Protocols31 citations

   Semantic Scholar

   Save

7. Asynchronous convergence of policy-rich distributed bellman-ford routing protocols

   M. Daggitt, Alexander J. T. Gurney, T. Griffin

   2018Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication29 citations Open access

   Semantic Scholar

   Save

8. Having your cake and eating it too: routing security with privacy protections

   Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Michael E. Sherr +1 more

   2011HotNets-X28 citations

   Semantic Scholar

   Save

9. Reduction-Based Formal Analysis of BGP Instances

   An-Duo Wang, C. Talcott, Alexander J. T. Gurney, B. T. Loo +1 more

   2012International Conference on Tools and Algorithms for Construction and Analysis of Systems19 citations

   Semantic Scholar

   Save

10. Neighbor-specific BGP: An algebraic exploration

    Alexander J. T. Gurney, T. Griffin

    2010IEEE International Conference on Network Protocols14 citations

    Semantic Scholar

    Save

11. Partial Specification of Routing Configurations

    Alexander J. T. Gurney, Li-Min Jia, An-Duo Wang, B. T. Loo

    201112 citations

    Semantic Scholar

    Save

12. A reduction-based approach towards scaling up formal analysis of internet configurations

    An-Duo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao +3 more

    2014IEEE Conference on Computer Communications9 citations Open access

    Semantic Scholar

    Save

13. Detecting unsafe BGP policies in a flexible world

    Debbie Perouli, T. Griffin, O. Maennel, S. Fahmy +3 more

    2012IEEE International Conference on Network Protocols8 citations Open access

    Semantic Scholar

    Save

14. Reduction-based analysis of BGP systems with BGPVerif

    An-Duo Wang, Alexander J. T. Gurney, Xianglong Han, Jinyan Cao +3 more

    2012Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication7 citations

    Semantic Scholar

    Save

15. Pathfinding through Congruences

    Alexander J. T. Gurney, T. Griffin

    2011International Conference on Relational and Algebraic Methods in Computer Science7 citations

    Semantic Scholar

    Save

16. Asynchronous iterations in ultrametric spaces

    Alexander J. T. Gurney

    2017arXiv.org6 citations

    Semantic Scholar

    Save

17. Route shepherd: stability hints for the control plane

    Alexander J. T. Gurney, Xianglong Han, Yang Li, B. T. Loo

    2012CCRV6 citations

    Semantic Scholar

    Save

18. Private and Verifiable Interdomain Routing Decisions

    Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen +2 more

    2016IEEE/ACM Transactions on Networking5 citations Open access

    Semantic Scholar

    Save

19. Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models

    Debbie Perouli, Stefano Vissicchio, Alexander J. T. Gurney, O. Maennel +4 more

    2012IEEE International Conference on Network Protocols3 citations

    Semantic Scholar

    Save

20. FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering

    Behnaz Arzani, Alexander J. T. Gurney, Bo Li, Xianglong Han +2 more

    2015arXiv.org2 citations

    Semantic Scholar

    Save

21. Breif Announcement: A Calculus of Policy-Based Routing Systems Breif Announcement: A Calculus of Policy-Based Routing Systems

    An-Duo Wang, CarolynTalcott, Alexander J. T. Gurney, T. Loo +1 more

    20152 citations

    Semantic Scholar

    Save

22. Rapid convergence versus policy expressiveness in interdomain routing

    Alexander J. T. Gurney, S. Khanna, Yang Li

    2016IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications1 citations

    Semantic Scholar

    Save

23. Private and verifiable interdomain routing decisions

    Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen +2 more

    2012CCRV1 citations

    Semantic Scholar

    Save

24. Metarouting and Network Optimization

    Alexander J. T. Gurney, T. Griffin

    2006Annual Conference on Information Sciences and Systems1 citations

    Semantic Scholar

    Save

25. Metarouting and Network Optimization (Invited Paper)

    Alexander J. T. Gurney, T. Griffin

    20060 citations

    Semantic Scholar

    Save