Metarouting and Network Optimization. - Alexander J. T. Gurney; Timothy G. Griffin (CISS, 2006)

Lexicographic products in metarouting. - Alexander J. T. Gurney; Timothy G. Griffin (ICNP, 2007)

Increasing Bisemigroups and Algebraic Routing. - Timothy G. Griffin; Alexander J. T. Gurney (RelMiCS, 2008)

Neighbor-specific BGP: An algebraic exploration. - Alexander J. T. Gurney; Timothy G. Griffin (ICNP, 2010)

Pathfinding through Congruences. - Alexander J. T. Gurney; Timothy G. Griffin (RAMiCS, 2011)

Having your cake and eating it too: routing security with privacy protections. - Alexander J. T. Gurney; Andreas Haeberlen; Wenchao Zhou; Micah Sherr; Boon Thau Loo (HotNets, 2011)

FSR: formal analysis and implementation toolkit for safe inter-domain routing. - Yiqing Ren; Wenchao Zhou; Anduo Wang; Limin Jia 001; Alexander J. T. Gurney; Boon Thau Loo; Jennifer Rexford (SIGCOMM, 2011)

Detecting unsafe BGP policies in a flexible world. - Debbie Perouli; Timothy G. Griffin; Olaf Maennel; Sonia Fahmy; Cristel Pelsser; Alexander J. T. Gurney; Iain Phillips 002 (ICNP, 2012)

Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models. - Debbie Perouli; Stefano Vissicchio; Alexander J. T. Gurney; Olaf Maennel; Timothy G. Griffin; Iain Phillips 002; Sonia Fahmy; Cristel Pelsser (ICNP, 2012)

Brief announcement: a calculus of policy-based routing systems. - Anduo Wang; Carolyn L. Talcott; Alexander J. T. Gurney; Boon Thau Loo; Andre Scedrov (PODC, 2012)

Route shepherd: stability hints for the control plane. - Alexander J. T. Gurney; Xianglong Han; Yang Li 025; Boon Thau Loo (SIGCOMM, 2012)

Reduction-based analysis of BGP systems with BGPVerif. - Anduo Wang; Alexander J. T. Gurney; Xianglong Han; Jinyan Cao; Carolyn L. Talcott; Boon Thau Loo; Andre Scedrov (SIGCOMM, 2012)

Reduction-Based Formal Analysis of BGP Instances. - Anduo Wang; Carolyn L. Talcott; Alexander J. T. Gurney; Boon Thau Loo; Andre Scedrov (TACAS, 2012)

Impact of Path Characteristics and Scheduling Policies on MPTCP Performance. - Behnaz Arzani; Alexander J. T. Gurney; Shuotian Cheng; Roch Guérin; Boon Thau Loo (AINA Workshops, 2014)

Deconstructing MPTCP Performance. - Behnaz Arzani; Alexander J. T. Gurney; Sitian Cheng; Roch Guérin; Boon Thau Loo (ICNP, 2014)

A reduction-based approach towards scaling up formal analysis of internet configurations. - Anduo Wang; Alexander J. T. Gurney; Xianglong Han; Jinyan Cao; Boon Thau Loo; Carolyn L. Talcott; Andre Scedrov (INFOCOM, 2014)

FixRoute: A Unified Logic and Numerical Tool for Provably Safe Internet Traffic Engineering. - Behnaz Arzani; Alexander J. T. Gurney; Bo Li; Xianglong Han; Roch Guérin; Boon Thau Loo (CoRR, 2015)

Rapid convergence versus policy expressiveness in interdomain routing. - Alexander J. T. Gurney; Sanjeev Khanna; Yang Li 025 (INFOCOM, 2016)

Private and Verifiable Interdomain Routing Decisions. - Mingchen Zhao; Wenchao Zhou; Alexander J. T. Gurney; Andreas Haeberlen; Micah Sherr; Boon Thau Loo (IEEE/ACM Trans. Netw., 2016)

Asynchronous iterations in ultrametric spaces. - Alexander J. T. Gurney (CoRR, 2017)

Asynchronous convergence of policy-rich distributed bellman-ford routing protocols. - Matthew L. Daggitt; Alexander J. T. Gurney; Timothy G. Griffin (SIGCOMM, 2018)