Timothy Griffin
List of publications from the DBLP Bibliography Server - FAQ
2009 | ||
---|---|---|
44 | Henning Schulzrinne, K. K. Ramakrishnan, Timothy G. Griffin, Srikanth V. Krishnamurthy: Proceedings of the 17th annual IEEE International Conference on Network Protocols, 2009. ICNP 2009, Princeton, NJ, USA, 13-16 October 2009 IEEE Computer Society 2009 | |
43 | Philip J. Taylor, Timothy G. Griffin: A model of configuration languages for routing protocols. PRESTO 2009: 55-60 | |
42 | John N. Billings, Timothy G. Griffin: A Model of Internet Routing Using Semi-modules. RelMiCS 2009: 29-43 | |
2008 | ||
41 | Timothy G. Griffin, Alexander J. T. Gurney: Increasing Bisemigroups and Algebraic Routing. RelMiCS 2008: 123-137 | |
40 | 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 | Alexander J. T. Gurney, Timothy G. Griffin: Lexicographic products in metarouting. ICNP 2007: 113-122 | |
38 | Eng Keong Lua, Timothy G. Griffin: Embeddable Overlay Networks. ISCC 2007: 1099-1106 | |
37 | 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 | Ana R. Cavalli, Dario Vieira, Timothy G. Griffin: Implementation Analysis of MSP. ICN/ICONS/MCL 2006: 17 | |
35 | Chi-Kin Chau, Richard Gibbens, Timothy G. Griffin: Towards a Unified Theory of Policy-Based Routing. INFOCOM 2006 | |
2005 | ||
34 | Ana R. Cavalli, Timothy G. Griffin, Dario Vieira: A Comparison between Two Maintenance Session Protocols. AICT/SAPIR/ELETE 2005: 230-237 | |
33 | Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford: TIE breaking: tunable interdomain egress selection. CoNEXT 2005: 93-104 | |
32 | 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 | Han Zheng, Eng Keong Lua, Marcelo Pias, Timothy G. Griffin: Internet Routing Policies and Round-Trip-Times. PAM 2005: 236-250 | |
30 | Timothy G. Griffin, João L. Sobrinho: Metarouting. SIGCOMM 2005: 1-12 | |
2004 | ||
29 | Suman Banerjee, Timothy Griffin, Marcelo Pias: The Interdomain Connectivity of PlanetLab Nodes. PAM 2004: 73-82 | |
28 | Renata Teixeira, Aman Shaikh, Timothy Griffin, Geoffrey M. Voelker: Network sensitivity to hot-potato disruptions. SIGCOMM 2004: 231-244 | |
27 | Renata Teixeira, Aman Shaikh, Timothy Griffin, Jennifer Rexford: Dynamics of hot-potato routing in IP networks. SIGMETRICS 2004: 307-319 | |
26 | 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 | Randy Bush, Timothy Griffin: Integrity for Virtual Private Routed Networks. INFOCOM 2003 | |
24 | Zhuoqing Morley Mao, Randy Bush, Timothy Griffin, Matthew Roughan: BGP beacons. Internet Measurement Comference 2003: 1-14 | |
23 | 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 | Timothy Griffin, Aaron D. Jaggard, Vijay Ramachandran: Design principles of policy languages for path vector protocols. SIGCOMM 2003: 61-72 | |
2002 | ||
21 | Timothy Griffin, Gordon T. Wilfong: Analysis of the MED Oscillation Problem in BGP. ICNP 2002: 90-99 | |
20 | Timothy Griffin, Gordon T. Wilfong: On the correctness of IBGP configuration. SIGCOMM 2002: 17-29 | |
19 | 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 | Timothy G. Griffin, Brian J. Premore: An Experimental Analysis of BGP Convergence Time. ICNP 2001: 53-61 | |
17 | Lixin Gao, Timothy Griffin, Jennifer Rexford: Inherently Safe Backup Routing with BGP. INFOCOM 2001: 547-556 | |
2000 | ||
16 | Timothy Griffin, Gordon T. Wilfong: A Safe Path Vector Protocol. INFOCOM 2000: 490-499 | |
1999 | ||
15 | Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilfong: Policy Disputes in Path-Vector Protocols. ICNP 1999: 21-30 | |
14 | 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 | 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 | Timothy Griffin, Richard Hull: A Framework for Implementing Hypothetical Queries. SIGMOD Conference 1997: 231-242 | |
9 | 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 | Michael Benedikt, Timothy Griffin, Leonid Libkin: Verifiable Properties of Database Transactions. PODS 1996: 117-127 | |
7 | 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 | Timothy Griffin, Leonid Libkin: Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995: 328-339 | |
1994 | ||
4 | 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 |