Timothy Griffin
List of publications from the DBLP Bibliography Server - FAQ
2008 | ||
---|---|---|
41 | EE | Timothy G. Griffin, Alexander J. T. Gurney: Increasing Bisemigroups and Algebraic Routing. RelMiCS 2008: 123-137 |
40 | EE | Renata Teixeira, Aman Shaikh, Timothy G. Griffin, Jennifer Rexford: Impact of hot-potato routing changes in IP networks. IEEE/ACM Trans. Netw. 16(6): 1295-1307 (2008) |
2007 | ||
39 | EE | Alexander J. T. Gurney, Timothy G. Griffin: Lexicographic products in metarouting. ICNP 2007: 113-122 |
38 | EE | Eng Keong Lua, Timothy G. Griffin: Embeddable Overlay Networks. ISCC 2007: 1099-1106 |
37 | EE | Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford: TIE breaking: tunable interdomain egress selection. IEEE/ACM Trans. Netw. 15(4): 761-774 (2007) |
2006 | ||
36 | EE | Ana R. Cavalli, Dario Vieira, Timothy G. Griffin: Implementation Analysis of MSP. ICN/ICONS/MCL 2006: 17 |
35 | EE | Chi-Kin Chau, Richard Gibbens, Timothy G. Griffin: Towards a Unified Theory of Policy-Based Routing. INFOCOM 2006 |
2005 | ||
34 | EE | Ana R. Cavalli, Timothy G. Griffin, Dario Vieira: A Comparison between Two Maintenance Session Protocols. AICT/SAPIR/ELETE 2005: 230-237 |
33 | EE | Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford: TIE breaking: tunable interdomain egress selection. CoNEXT 2005: 93-104 |
32 | EE | Eng Keong Lua, Timothy G. Griffin, Marcelo Pias, Han Zheng, Jon Crowcroft: On the Accuracy of Embeddings for Internet Coordinate Systems. Internet Measurment Conference 2005: 125-138 |
31 | EE | Han Zheng, Eng Keong Lua, Marcelo Pias, Timothy G. Griffin: Internet Routing Policies and Round-Trip-Times. PAM 2005: 236-250 |
30 | EE | Timothy G. Griffin, João L. Sobrinho: Metarouting. SIGCOMM 2005: 1-12 |
2004 | ||
29 | EE | Suman Banerjee, Timothy Griffin, Marcelo Pias: The Interdomain Connectivity of PlanetLab Nodes. PAM 2004: 73-82 |
28 | EE | Renata Teixeira, Aman Shaikh, Timothy Griffin, Geoffrey M. Voelker: Network sensitivity to hot-potato disruptions. SIGCOMM 2004: 231-244 |
27 | EE | Renata Teixeira, Aman Shaikh, Timothy Griffin, Jennifer Rexford: Dynamics of hot-potato routing in IP networks. SIGMETRICS 2004: 307-319 |
26 | EE | Matthew Roughan, Timothy Griffin, Zhuoqing Morley Mao, Albert G. Greenberg, Brian Freeman: Combining routing and traffic data for detection of IP forwarding anomalies. SIGMETRICS 2004: 416-417 |
2003 | ||
25 | EE | Randy Bush, Timothy Griffin: Integrity for Virtual Private Routed Networks. INFOCOM 2003 |
24 | EE | Zhuoqing Morley Mao, Randy Bush, Timothy Griffin, Matthew Roughan: BGP beacons. Internet Measurement Comference 2003: 1-14 |
23 | EE | Geoffrey Goodell, William Aiello, Timothy Griffin, John Ioannidis, Patrick Drew McDaniel, Aviel D. Rubin: Working around BGP: An Incremental Approach to Improving Security and Accuracy in Interdomain Routing. NDSS 2003 |
22 | EE | Timothy Griffin, Aaron D. Jaggard, Vijay Ramachandran: Design principles of policy languages for path vector protocols. SIGCOMM 2003: 61-72 |
2002 | ||
21 | EE | Timothy Griffin, Gordon T. Wilfong: Analysis of the MED Oscillation Problem in BGP. ICNP 2002: 90-99 |
20 | EE | Timothy Griffin, Gordon T. Wilfong: On the correctness of IBGP configuration. SIGCOMM 2002: 17-29 |
19 | EE | Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilfong: The stable paths problem and interdomain routing. IEEE/ACM Trans. Netw. 10(2): 232-243 (2002) |
2001 | ||
18 | EE | Timothy G. Griffin, Brian J. Premore: An Experimental Analysis of BGP Convergence Time. ICNP 2001: 53-61 |
17 | EE | Lixin Gao, Timothy Griffin, Jennifer Rexford: Inherently Safe Backup Routing with BGP. INFOCOM 2001: 547-556 |
2000 | ||
16 | EE | Timothy Griffin, Gordon T. Wilfong: A Safe Path Vector Protocol. INFOCOM 2000: 490-499 |
1999 | ||
15 | EE | Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilfong: Policy Disputes in Path-Vector Protocols. ICNP 1999: 21-30 |
14 | EE | Timothy Griffin, Gordon T. Wilfong: An Analysis of BGP Convergence Properties. SIGCOMM 1999: 277-288 |
1998 | ||
13 | Michael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. Inf. Comput. 147(1): 57-88 (1998) | |
12 | EE | Timothy Griffin, Bharat Kumar: Algebraic Change Propagation for Semijoin and Outerjoin Queries. SIGMOD Record 27(3): 22-27 (1998) |
1997 | ||
11 | Timothy Griffin, Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Gang Zhou: A Framework For Using Redundant Data to Optimize Read-Intensive Database Applications. RTDB 1997: 63-76 | |
10 | EE | Timothy Griffin, Richard Hull: A Framework for Implementing Hypothetical Queries. SIGMOD Conference 1997: 231-242 |
9 | EE | Timothy Griffin, Leonid Libkin, Howard Trickey: An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions. IEEE Trans. Knowl. Data Eng. 9(3): 508-511 (1997) |
1996 | ||
8 | EE | Michael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996: 117-127 |
7 | EE | Latha S. Colby, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey: Algorithms for Deferred View Maintenance. SIGMOD Conference 1996: 469-480 |
6 | Latha S. Colby, Timothy Griffin: An Algebraic Approach to Supporting Multiple Deferred Views. VIEWS 1996: 103-109 | |
1995 | ||
5 | EE | Timothy Griffin, Leonid Libkin: Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995: 328-339 |
1994 | ||
4 | EE | Timothy Griffin, Howard Trickey: Integrity Maintenance in A Telecommunications Switch. IEEE Data Eng. Bull. 17(2): 43-46 (1994) |
1990 | ||
3 | Timothy Griffin: A Formulae-as-Types Notion of Control. POPL 1990: 47-58 | |
1988 | ||
2 | Timothy Griffin: EFS - An Interactive Environment for Formal Systems. CADE 1988: 740-741 | |
1 | Timothy Griffin: Notational definition-a formal account LICS 1988: 372-383 |