default search action
Timothy G. Griffin
Person information
- affiliation: University of Cambridge, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j13]Matthew L. Daggitt
, Timothy G. Griffin:
Formally Verified Convergence of Policy-Rich DBF Routing Protocols. IEEE/ACM Trans. Netw. 32(2): 1645-1660 (2024) - 2022
- [j12]Matthew L. Daggitt
Dynamic asynchronous iterations. J. Parallel Distributed Comput. 164: 168-177 (2022) - 2021
- [i2]Matthew L. Daggitt, Timothy G. Griffin:
Formally Verified Convergence of Policy-Rich DBF Routing Protocols. CoRR abs/2106.01184 (2021) - 2020
- [j11]Matthew L. Daggitt
A Relaxation of Üresin and Dubois' Asynchronous Fixed-Point Theory in Agda. J. Autom. Reason. 64(5): 857-877 (2020) - [i1]Matthew L. Daggitt, Timothy G. Griffin:
Dynamic Asynchronous Iterations. CoRR abs/2012.01686 (2020)
2010 – 2019
- 2018
- [c54]Matthew L. Daggitt, Timothy G. Griffin:
Rate of Convergence of Increasing Path-Vector Routing Protocols. ICNP 2018: 335-345 - [c53]Ran Zmigrod, Matthew L. Daggitt, Timothy G. Griffin:
An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory. ITP 2018: 623-639 - [c52]Matthew L. Daggitt, Alexander J. T. Gurney, Timothy G. Griffin:
Asynchronous convergence of policy-rich distributed bellman-ford routing protocols. SIGCOMM 2018: 103-116 - 2015
- [j10]Wolfram Kahl, Timothy G. Griffin, Peter Höfner:
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 84(3): 283-284 (2015) - 2013
- [c51]Seweryn Dynerowicz
On the forwarding paths produced by Internet routing algorithms. ICNP 2013: 1-10 - 2012
- [c50]Debbie Perouli, Timothy G. Griffin, Olaf Maennel
Detecting unsafe BGP policies in a flexible world. ICNP 2012: 1-10 - [c49]Debbie Perouli, Timothy G. Griffin, Olaf Maennel
Detecting the unintended in BGP policies. ICNP 2012: 1-2 - [c48]Debbie Perouli, Stefano Vissicchio, Alexander J. T. Gurney, Olaf Maennel
Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models. ICNP 2012: 1-6 - [e3]Wolfram Kahl, Timothy G. Griffin:
Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings. Lecture Notes in Computer Science 7560, Springer 2012, ISBN 978-3-642-33313-2 [contents] - 2011
- [c47]Alexander J. T. Gurney, Timothy G. Griffin:
Pathfinding through Congruences. RAMiCS 2011: 180-195 - [c46]Timothy G. Griffin:
Do Formal Methodists have Bell-Shaped Heads? ATE 2011: 1-2 - [c45]Vilius Naudziunas, Timothy G. Griffin:
A Domain-Specific Language for the Specification of Path Algebras. ATE 2011: 46-57 - [c44]M. Abdul Alim, Timothy G. Griffin:
On the interaction of multiple routing algorithms. CoNEXT 2011: 7 - 2010
- [j9]E. D. Harris, Timothy G. Griffin:
Rate Limiting in an Event-Driven BGP Speaker. IEEE J. Sel. Areas Commun. 28(8): 1287-1298 (2010) - [c43]M. Abdul Alim, Timothy G. Griffin:
Hybrid link-state, path-vector routing. AINTEC 2010: 32-39 - [c42]Timothy G. Griffin:
The Stratified Shortest-Paths Problem (invited paper). COMSNETS 2010: 1-10 - [c41]Alexander J. T. Gurney, Timothy G. Griffin:
Neighbor-specific BGP: An algebraic exploration. ICNP 2010: 103-112 - [e2]Jaudelice Cavalcante de Oliveira, Maximilian Ott, Timothy G. Griffin, Muriel Médard:
Proceedings of the 2010 ACM Conference on Emerging Networking Experiments and Technology, CoNEXT 2010, Philadelphia, PA, USA, November 30 - December 03, 2010. ACM 2010, ISBN 978-1-4503-0448-1 [contents]
2000 – 2009
- 2009
- [c40]John N. Billings, Timothy G. Griffin:
A Model of Internet Routing Using Semi-modules. RelMiCS 2009: 29-43 - [c39]Philip J. Taylor, Timothy G. Griffin:
A model of configuration languages for routing protocols. PRESTO 2009: 55-60 - [e1]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, ISBN 978-1-4244-4634-6 [contents] - 2008
- [j8]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) - [c38]Timothy G. Griffin, Alexander J. T. Gurney:
Increasing Bisemigroups and Algebraic Routing. RelMiCS 2008: 123-137 - 2007
- [j7]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) - [c37]Alexander J. T. Gurney, Timothy G. Griffin:
Lexicographic products in metarouting. ICNP 2007: 113-122 - [c36]Eng Keong Lua, Timothy G. Griffin:
Embeddable Overlay Networks. ISCC 2007: 1099-1106 - 2006
- [c35]Alexander J. T. Gurney, Timothy G. Griffin:
Metarouting and Network Optimization. CISS 2006: 674 - [c34]Ana R. Cavalli, Dario Vieira
Implementation Analysis of MSP. ICN/ICONS/MCL 2006: 17 - [c33]Ana R. Cavalli, Timothy G. Griffin, Dario Vieira
MSP: A Novel Session Maintenance Protocol. ICON 2006: 1-6 - [c32]Chi-Kin Chau
Towards a Unified Theory of Policy-Based Routing. INFOCOM 2006 - 2005
- [j6]Olivier Bonaventure, Anja Feldmann
Guest editorial - Interdomain routing and the border gateway protocol. IEEE Netw. 19(6): 3-4 (2005) - [c31]Ana R. Cavalli, Timothy G. Griffin, Dario Vieira
A Comparison between Two Maintenance Session Protocols. AICT/SAPIR/ELETE 2005: 230-237 - [c30]Renata Teixeira, Timothy G. Griffin, Mauricio G. C. Resende, Jennifer Rexford
TIE breaking: tunable interdomain egress selection. CoNEXT 2005: 93-104 - [c29]Eng Keong Lua, Timothy G. Griffin, Marcelo Pias, Han Zheng, Jon Crowcroft:
On the Accuracy of Embeddings for Internet Coordinate Systems. Internet Measurement Conference 2005: 125-138 - [c28]Timothy G. Griffin:
What can we unlearn from BGP? DIN@MobiCom 2005: 1 - [c27]Han Zheng, Eng Keong Lua, Marcelo Pias
Internet Routing Policies and Round-Trip-Times. PAM 2005: 236-250 - [c26]Timothy G. Griffin, João L. Sobrinho
Metarouting. SIGCOMM 2005: 1-12 - 2004
- [c25]Suman Banerjee, Timothy Griffin, Marcelo Pias
The Interdomain Connectivity of PlanetLab Nodes. PAM 2004: 73-82 - [c24]Renata Teixeira, Aman Shaikh, Timothy Griffin, Geoffrey M. Voelker:
Network sensitivity to hot-potato disruptions. SIGCOMM 2004: 231-244 - [c23]Matthew Roughan, Timothy G. Griffin, Z. Morley Mao, Albert G. Greenberg, Brian Freeman:
IP forwarding anomalies and improving their detection using multiple data sources. NetT@SIGCOMM 2004: 307-312 - [c22]Renata Teixeira, Aman Shaikh, Timothy Griffin, Jennifer Rexford
Dynamics of hot-potato routing in IP networks. SIGMETRICS 2004: 307-319 - [c21]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
- [c20]Zhuoqing Morley Mao, Randy Bush, Timothy Griffin, Matthew Roughan:
BGP beacons. Internet Measurement Conference 2003: 1-14 - [c19]Randy Bush, Timothy Griffin:
Integrity for Virtual Private Routed Networks. INFOCOM 2003: 1467-1476 - [c18]Geoffrey Goodell, William Aiello, Timothy Griffin, John Ioannidis, Patrick D. McDaniel, Aviel D. Rubin:
Working around BGP: An Incremental Approach to Improving Security and Accuracy in Interdomain Routing. NDSS 2003 - [c17]Timothy Griffin, Aaron D. Jaggard, Vijay Ramachandran:
Design principles of policy languages for path vector protocols. SIGCOMM 2003: 61-72 - 2002
- [j5]Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilfong:
The stable paths problem and interdomain routing. IEEE/ACM Trans. Netw. 10(2): 232-243 (2002) - [c16]Timothy Griffin, Gordon T. Wilfong:
Analysis of the MED Oscillation Problem in BGP. ICNP 2002: 90-99 - [c15]Timothy Griffin, Gordon T. Wilfong:
On the correctness of IBGP configuration. SIGCOMM 2002: 17-29 - 2001
- [c14]Timothy G. Griffin, Brian J. Premore:
An Experimental Analysis of BGP Convergence Time. ICNP 2001: 53-61 - [c13]Lixin Gao, Timothy Griffin, Jennifer Rexford
Inherently Safe Backup Routing with BGP. INFOCOM 2001: 547-556 - 2000
- [c12]Timothy Griffin, Gordon T. Wilfong:
A Safe Path Vector Protocol. INFOCOM 2000: 490-499
1990 – 1999
- 1999
- [c11]Timothy Griffin, F. Bruce Shepherd, Gordon T. Wilfong:
Policy Disputes in Path-Vector Protocols. ICNP 1999: 21-30 - [c10]Timothy Griffin, Gordon T. Wilfong:
An Analysis of BGP Convergence Properties. SIGCOMM 1999: 277-288 - 1998
- [j4]Michael Benedikt, Timothy Griffin, Leonid Libkin:
Verifiable Properties of Database Transactions. Inf. Comput. 147(1): 57-88 (1998) - [j3]Timothy Griffin, Bharat Kumar:
Algebraic Change Propagation for Semijoin and Outerjoin Queries. SIGMOD Rec. 27(3): 22-27 (1998) - 1997
- [j2]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) - [c9]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 - [c8]Timothy Griffin, Richard Hull:
A Framework for Implementing Hypothetical Queries. SIGMOD Conference 1997: 231-242 - 1996
- [c7]Michael Benedikt, Timothy Griffin, Leonid Libkin:
Verifiable Properties of Database Transactions. PODS 1996: 117-127 - [c6]Latha S. Colby, Timothy Griffin, Leonid Libkin, Inderpal Singh Mumick, Howard Trickey:
Algorithms for Deferred View Maintenance. SIGMOD Conference 1996: 469-480 - [c5]Latha S. Colby, Timothy Griffin:
An Algebraic Approach to Supporting Multiple Deferred Views. VIEWS 1996: 103-109 - 1995
- [c4]Timothy Griffin, Leonid Libkin:
Incremental Maintenance of Views with Duplicates. SIGMOD Conference 1995: 328-339 - 1994
- [j1]Timothy Griffin, Howard Trickey:
Integrity Maintenance in A Telecommunications Switch. IEEE Data Eng. Bull. 17(2): 43-46 (1994) - 1990
- [c3]Timothy Griffin:
A Formulae-as-Types Notion of Control. POPL 1990: 47-58
1980 – 1989
- 1989
- [b1]Timothy G. Griffin:
Notational Definition and Top-Down Refinement for Interactive Proof Development Systems. Cornell University, USA, 1989 - 1988
- [c2]Timothy Griffin:
EFS - An Interactive Environment for Formal Systems. CADE 1988: 740-741 - [c1]Timothy Griffin:
Notational definition-a formal account. LICS 1988: 372-383
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: