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 |