EFS - An Interactive Environment for Formal Systems. - Timothy Griffin (CADE, 1988)

Notational definition-a formal account - Timothy Griffin (LICS, 1988)

Notational Definition and Top-Down Refinement for Interactive Proof Development Systems. - Timothy G. Griffin (1989)

A Formulae-as-Types Notion of Control. - Timothy Griffin (POPL, 1990)

Integrity Maintenance in A Telecommunications Switch. - Timothy Griffin; Howard Trickey (IEEE Data Eng. Bull., 1994)

Incremental Maintenance of Views with Duplicates. - Timothy Griffin; Leonid Libkin (SIGMOD Conference, 1995)

Algorithms for Deferred View Maintenance. - Latha S. Colby; Timothy Griffin; Leonid Libkin; Inderpal Singh Mumick; Howard Trickey (SIGMOD Conference, 1996)

An Algebraic Approach to Supporting Multiple Deferred Views. - Latha S. Colby; Timothy Griffin (VIEWS, 1996)

A Framework For Using Redundant Data to Optimize Read-Intensive Database Applications. - Timothy Griffin; Richard Hull 001; Bharat Kumar; Daniel F. Lieuwen; Gang Zhou (RTDB, 1997)

A Framework for Implementing Hypothetical Queries. - Timothy Griffin; Richard Hull 001 (SIGMOD Conference, 1997)

An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions. - Timothy Griffin; Leonid Libkin; Howard Trickey (IEEE Trans. Knowl. Data Eng., 1997)

Verifiable Properties of Database Transactions. - Michael Benedikt; Timothy Griffin; Leonid Libkin (Inf. Comput., 1998)

Algebraic Change Propagation for Semijoin and Outerjoin Queries. - Timothy Griffin; Bharat Kumar (SIGMOD Rec., 1998)

Policy Disputes in Path-Vector Protocols. - Timothy Griffin; F. Bruce Shepherd; Gordon T. Wilfong (ICNP, 1999)

An Analysis of BGP Convergence Properties. - Timothy Griffin; Gordon T. Wilfong (SIGCOMM, 1999)

A Safe Path Vector Protocol. - Timothy Griffin; Gordon T. Wilfong (INFOCOM, 2000)

An Experimental Analysis of BGP Convergence Time. - Timothy G. Griffin; Brian J. Premore (ICNP, 2001)

Inherently Safe Backup Routing with BGP. - Lixin Gao 001; Timothy Griffin; Jennifer Rexford (INFOCOM, 2001)

Analysis of the MED Oscillation Problem in BGP. - Timothy Griffin; Gordon T. Wilfong (ICNP, 2002)

On the correctness of IBGP configuration. - Timothy Griffin; Gordon T. Wilfong (SIGCOMM, 2002)

The stable paths problem and interdomain routing. - Timothy Griffin; F. Bruce Shepherd; Gordon T. Wilfong (IEEE/ACM Trans. Netw., 2002)

BGP beacons. - Zhuoqing Morley Mao; Randy Bush; Timothy Griffin; Matthew Roughan (Internet Measurement Conference, 2003)

Integrity for Virtual Private Routed Networks. - Randy Bush; Timothy Griffin (INFOCOM, 2003)

Working around BGP: An Incremental Approach to Improving Security and Accuracy in Interdomain Routing. - Geoffrey Goodell; William Aiello; Timothy Griffin; John Ioannidis; Patrick D. McDaniel; Aviel D. Rubin (NDSS, 2003)

Design principles of policy languages for path vector protocols. - Timothy Griffin; Aaron D. Jaggard; Vijay Ramachandran (SIGCOMM, 2003)

The Interdomain Connectivity of PlanetLab Nodes. - Suman Banerjee 001; Timothy Griffin; Marcelo Pias (PAM, 2004)

IP forwarding anomalies and improving their detection using multiple data sources. - Matthew Roughan; Timothy G. Griffin; Z. Morley Mao; Albert G. Greenberg; Brian Freeman (NetT@SIGCOMM, 2004)

Network sensitivity to hot-potato disruptions. - Renata Teixeira; Aman Shaikh; Timothy Griffin; Geoffrey M. Voelker (SIGCOMM, 2004)

Combining routing and traffic data for detection of IP forwarding anomalies. - Matthew Roughan; Timothy Griffin; Zhuoqing Morley Mao; Albert G. Greenberg; Brian Freeman (SIGMETRICS, 2004)

Dynamics of hot-potato routing in IP networks. - Renata Teixeira; Aman Shaikh; Timothy Griffin; Jennifer Rexford (SIGMETRICS, 2004)

A Comparison between Two Maintenance Session Protocols. - Ana R. Cavalli; Timothy G. Griffin; Dario Vieira (AICT/SAPIR/ELETE, 2005)

On the Accuracy of Embeddings for Internet Coordinate Systems. - Eng Keong Lua; Timothy G. Griffin; Marcelo Pias; Han Zheng; Jon Crowcroft (Internet Measurement Conference, 2005)

What can we unlearn from BGP? - Timothy G. Griffin (DIN@MobiCom, 2005)

Internet Routing Policies and Round-Trip-Times. - Han Zheng; Eng Keong Lua; Marcelo Pias; Timothy G. Griffin (PAM, 2005)

Metarouting. - Timothy G. Griffin; João L. Sobrinho (SIGCOMM, 2005)

Guest editorial - Interdomain routing and the border gateway protocol. - Olivier Bonaventure; Anja Feldmann; Lixin Gao 001; Timothy G. Griffin; Z. Morley Mao (IEEE Netw., 2005)

Metarouting and Network Optimization. - Alexander J. T. Gurney; Timothy G. Griffin (CISS, 2006)

Implementation Analysis of MSP. - Ana R. Cavalli; Dario Vieira; Timothy G. Griffin (ICN/ICONS/MCL, 2006)

MSP: A Novel Session Maintenance Protocol. - Ana R. Cavalli; Timothy G. Griffin; Dario Vieira (ICON, 2006)

Towards a Unified Theory of Policy-Based Routing. - Chi-Kin Chau; Richard J. Gibbens; Timothy G. Griffin (INFOCOM, 2006)

Lexicographic products in metarouting. - Alexander J. T. Gurney; Timothy G. Griffin (ICNP, 2007)

Embeddable Overlay Networks. - Eng Keong Lua; Timothy G. Griffin (ISCC, 2007)

TIE breaking: tunable interdomain egress selection. - Renata Teixeira; Timothy G. Griffin; Mauricio G. C. Resende; Jennifer Rexford (IEEE/ACM Trans. Netw., 2007)

Increasing Bisemigroups and Algebraic Routing. - Timothy G. Griffin; Alexander J. T. Gurney (RelMiCS, 2008)

Impact of hot-potato routing changes in IP networks. - Renata Teixeira; Aman Shaikh; Timothy G. Griffin; Jennifer Rexford (IEEE/ACM Trans. Netw., 2008)

A Model of Internet Routing Using Semi-modules. - John N. Billings; Timothy G. Griffin (RelMiCS, 2009)

A model of configuration languages for routing protocols. - Philip J. Taylor; Timothy G. Griffin (PRESTO, 2009)

Hybrid link-state, path-vector routing. - M. Abdul Alim; Timothy G. Griffin (AINTEC, 2010)

The Stratified Shortest-Paths Problem (invited paper). - Timothy G. Griffin (COMSNETS, 2010)

Neighbor-specific BGP: An algebraic exploration. - Alexander J. T. Gurney; Timothy G. Griffin (ICNP, 2010)

Rate Limiting in an Event-Driven BGP Speaker. - E. D. Harris; Timothy G. Griffin (IEEE J. Sel. Areas Commun., 2010)

Pathfinding through Congruences. - Alexander J. T. Gurney; Timothy G. Griffin (RAMiCS, 2011)

Do Formal Methodists have Bell-Shaped Heads? - Timothy G. Griffin (ATE, 2011)

A Domain-Specific Language for the Specification of Path Algebras. - Vilius Naudziunas; Timothy G. Griffin (ATE, 2011)

On the interaction of multiple routing algorithms. - M. Abdul Alim; Timothy G. Griffin (CoNEXT, 2011)

Detecting unsafe BGP policies in a flexible world. - Debbie Perouli; Timothy G. Griffin; Olaf Maennel; Sonia Fahmy; Cristel Pelsser; Alexander J. T. Gurney; Iain Phillips 002 (ICNP, 2012)

Detecting the unintended in BGP policies. - Debbie Perouli; Timothy G. Griffin; Olaf Maennel; Sonia Fahmy; Iain Phillips 002; Cristel Pelsser (ICNP, 2012)

Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models. - Debbie Perouli; Stefano Vissicchio; Alexander J. T. Gurney; Olaf Maennel; Timothy G. Griffin; Iain Phillips 002; Sonia Fahmy; Cristel Pelsser (ICNP, 2012)

On the forwarding paths produced by Internet routing algorithms. - Seweryn Dynerowicz; Timothy G. Griffin (ICNP, 2013)

Relational and algebraic methods in computer science. - Wolfram Kahl; Timothy G. Griffin; Peter Höfner (J. Log. Algebraic Methods Program., 2015)

Rate of Convergence of Increasing Path-Vector Routing Protocols. - Matthew L. Daggitt; Timothy G. Griffin (ICNP, 2018)

An Agda Formalization of Üresin and Dubois' Asynchronous Fixed-Point Theory. - Ran Zmigrod; Matthew L. Daggitt; Timothy G. Griffin (ITP, 2018)

Asynchronous convergence of policy-rich distributed bellman-ford routing protocols. - Matthew L. Daggitt; Alexander J. T. Gurney; Timothy G. Griffin (SIGCOMM, 2018)

A Relaxation of Üresin and Dubois' Asynchronous Fixed-Point Theory in Agda. - Matthew L. Daggitt; Ran Zmigrod; Timothy G. Griffin (J. Autom. Reason., 2020)

Dynamic asynchronous iterations. - Matthew L. Daggitt; Timothy G. Griffin (J. Parallel Distributed Comput., 2022)

Formally Verified Convergence of Policy-Rich DBF Routing Protocols. - Matthew L. Daggitt; Timothy G. Griffin (IEEE/ACM Trans. Netw., 2024)