Timothy G. Griffin
Orcid: 0000-0001-5475-4834Affiliations:
- University of Cambridge, UK
According to our database1,
Timothy G. Griffin
authored at least 66 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cl.cam.ac.uk
On csauthors.net:
Bibliography
2024
IEEE/ACM Trans. Netw., April, 2024
2022
2020
J. Autom. Reason., 2020
2018
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Proceedings of the 2018 IEEE 26th International Conference on Network Protocols, 2018
2015
J. Log. Algebraic Methods Program., 2015
2013
Proceedings of the 2013 21st IEEE International Conference on Network Protocols, 2013
2012
Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models.
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012
Proceedings of the 20th IEEE International Conference on Network Protocols, 2012
2011
Proceedings of the 2011 Conference on Emerging Networking Experiments and Technologies, 2011
Proceedings of the First Workshop on Automated Theory Engineering, 2011
Proceedings of the First Workshop on Automated Theory Engineering, 2011
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011
2010
Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010
Proceedings of the Second International Conference on Communication Systems and Networks, 2010
2009
Proceedings of the ACM SIGCOMM 2009 Workshop on Programmable Routers for Extensible Services of Tomorrow, 2009
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009
2008
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008
2007
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007
Proceedings of the IEEE International Conference on Network Protocols, 2007
2006
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006
Proceedings of the 14th IEEE International Conference on Networks, 2006
Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006
Proceedings of the 40th Annual Conference on Information Sciences and Systems, 2006
2005
IEEE Netw., 2005
Proceedings of the Passive and Active Network Measurement, 6th International Workshop, 2005
Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, 2005
Proceedings of the 5th Internet Measurement Conference, 2005
Proceedings of the Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 2005
2004
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004
Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2004
Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 2004
Proceedings of the ACM SIGCOMM Workshop on Network Troubleshooting, 2004
Proceedings of the Passive and Active Network Measurement, 5th International Workshop, 2004
2003
Proceedings of the ACM SIGCOMM 2003 Conference on Applications, 2003
Working around BGP: An Incremental Approach to Improving Security and Accuracy in Interdomain Routing.
Proceedings of the Network and Distributed System Security Symposium, 2003
Proceedings of the Proceedings IEEE INFOCOM 2003, The 22nd Annual Joint Conference of the IEEE Computer and Communications Societies, San Franciso, CA, USA, March 30, 2003
Proceedings of the 3rd ACM SIGCOMM Internet Measurement Conference, 2003
2002
Proceedings of the ACM SIGCOMM 2002 Conference on Applications, 2002
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002
2001
Proceedings of the Proceedings IEEE INFOCOM 2001, 2001
Proceedings of the 9th International Conference on Network Protocols (ICNP 2001), 2001
2000
1999
Proceedings of the ACM SIGCOMM 1999 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30, 1999
Proceedings of the Seventh Annual International Conference on Network Protocols, 1999
1998
1997
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions.
IEEE Trans. Knowl. Data Eng., 1997
Proceedings of the SIGMOD 1997, 1997
A Framework For Using Redundant Data to Optimize Read-Intensive Database Applications.
Proceedings of the Real-Time Database and Information Systems, 1997
1996
An Algebraic Approach to Supporting Multiple Deferred Views.
Proceedings of the Workshop on Materialized Views: Techniques and Applications, 1996
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996
1995
Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, 1995
1994
1990
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990
1989
Notational Definition and Top-Down Refinement for Interactive Proof Development Systems.
PhD thesis, 1989
1988
Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988
Proceedings of the 9th International Conference on Automated Deduction, 1988