|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anduo Wang, Carolyn L. Talcott, Alexander J. T. Gurney, Boon Thau Loo, Andre Scedrov |
Reduction-Based Formal Analysis of BGP Instances.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. T. Gurney, Timothy G. Griffin |
Pathfinding through Congruences.  |
RAMICS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. T. Gurney, Timothy G. Griffin |
Neighbor-specific BGP: An algebraic exploration.  |
ICNP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy G. Griffin, Alexander J. T. Gurney |
Increasing Bisemigroups and Algebraic Routing.  |
RelMiCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. T. Gurney, Timothy G. Griffin |
Lexicographic products in metarouting.  |
ICNP  |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|