Alexander J. T. Gurney

	2012
7		Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov: Reduction-Based Formal Analysis of BGP Instances. TACAS 2012: 283-298
	2011
6		Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, Boon Thau Loo: Having your cake and eating it too: routing security with privacy protections. HotNets 2011: 15
5		Alexander J. T. Gurney, Timothy G. Griffin: Pathfinding through Congruences. RAMICS 2011: 180-195
4		Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford: FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM 2011: 440-441
	2010
3		Alexander J. T. Gurney, Timothy G. Griffin: Neighbor-specific BGP: An algebraic exploration. ICNP 2010: 103-112
	2008
2		Timothy G. Griffin, Alexander J. T. Gurney: Increasing Bisemigroups and Algebraic Routing. RelMiCS 2008: 123-137
	2007
1		Alexander J. T. Gurney, Timothy G. Griffin: Lexicographic products in metarouting. ICNP 2007: 113-122

Coauthor Index

1	Timothy G. Griffin (Timothy Griffin)	[1] [2] [3] [5]
2	Andreas Haeberlen	[6]
3	Limin Jia	[4]
4	Boon Thau Loo	[4] [6] [7]
5	Yiqing Ren	[4]
6	Jennifer Rexford	[4]
7	Andre Scedrov	[7]
8	Micah Sherr	[6]
9	Carolyn L. Talcott	[7]
10	Anduo Wang	[4] [7]
11	Wenchao Zhou	[4] [6]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page