BibTeX records: Timothy G. Griffin

download as .bib file

@inproceedings{DBLP:conf/icnp/DaggittG18,
  author    = {Matthew L. Daggitt and
               Timothy G. Griffin},
  title     = {Rate of Convergence of Increasing Path-Vector Routing Protocols},
  booktitle = {2018 {IEEE} 26th International Conference on Network Protocols, {ICNP}
               2018, Cambridge, UK, September 25-27, 2018},
  pages     = {335--345},
  year      = {2018},
  crossref  = {DBLP:conf/icnp/2018},
  url       = {https://doi.org/10.1109/ICNP.2018.00049},
  doi       = {10.1109/ICNP.2018.00049},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/DaggittG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ZmigrodDG18,
  author    = {Ran Zmigrod and
               Matthew L. Daggitt and
               Timothy G. Griffin},
  title     = {An Agda Formalization of {\"{U}}resin and Dubois' Asynchronous
               Fixed-Point Theory},
  booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 9-12, 2018, Proceedings},
  pages     = {623--639},
  year      = {2018},
  crossref  = {DBLP:conf/itp/2018},
  url       = {https://doi.org/10.1007/978-3-319-94821-8\_37},
  doi       = {10.1007/978-3-319-94821-8\_37},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/ZmigrodDG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/DaggittGG18,
  author    = {Matthew L. Daggitt and
               Alexander J. T. Gurney and
               Timothy G. Griffin},
  title     = {Asynchronous convergence of policy-rich distributed bellman-ford routing
               protocols},
  booktitle = {Proceedings of the 2018 Conference of the {ACM} Special Interest Group
               on Data Communication, {SIGCOMM} 2018, Budapest, Hungary, August 20-25,
               2018},
  pages     = {103--116},
  year      = {2018},
  crossref  = {DBLP:conf/sigcomm/2018},
  url       = {https://doi.org/10.1145/3230543.3230561},
  doi       = {10.1145/3230543.3230561},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/DaggittGG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KahlGH15,
  author    = {Wolfram Kahl and
               Timothy G. Griffin and
               Peter H{\"{o}}fner},
  title     = {Relational and algebraic methods in computer science},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {84},
  number    = {3},
  pages     = {283--284},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jlamp.2015.03.002},
  doi       = {10.1016/j.jlamp.2015.03.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/KahlGH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/DynerowiczG13,
  author    = {Seweryn Dynerowicz and
               Timothy G. Griffin},
  title     = {On the forwarding paths produced by Internet routing algorithms},
  booktitle = {2013 21st {IEEE} International Conference on Network Protocols, {ICNP}
               2013, G{\"{o}}ttingen, Germany, October 7-10, 2013},
  pages     = {1--10},
  year      = {2013},
  crossref  = {DBLP:conf/icnp/2013},
  url       = {https://doi.org/10.1109/ICNP.2013.6733608},
  doi       = {10.1109/ICNP.2013.6733608},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/DynerowiczG13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/PerouliGMFPGP12,
  author    = {Debbie Perouli and
               Timothy G. Griffin and
               Olaf Maennel and
               Sonia Fahmy and
               Cristel Pelsser and
               Alexander J. T. Gurney and
               Iain Phillips},
  title     = {Detecting unsafe {BGP} policies in a flexible world},
  booktitle = {20th {IEEE} International Conference on Network Protocols, {ICNP}
               2012, Austin, TX, USA, October 30 - Nov. 2, 2012},
  pages     = {1--10},
  year      = {2012},
  crossref  = {DBLP:conf/icnp/2012},
  url       = {https://doi.org/10.1109/ICNP.2012.6459974},
  doi       = {10.1109/ICNP.2012.6459974},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/PerouliGMFPGP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/PerouliGMFPP12,
  author    = {Debbie Perouli and
               Timothy G. Griffin and
               Olaf Maennel and
               Sonia Fahmy and
               Iain Phillips and
               Cristel Pelsser},
  title     = {Detecting the unintended in {BGP} policies},
  booktitle = {20th {IEEE} International Conference on Network Protocols, {ICNP}
               2012, Austin, TX, USA, October 30 - Nov. 2, 2012},
  pages     = {1--2},
  year      = {2012},
  crossref  = {DBLP:conf/icnp/2012},
  url       = {https://doi.org/10.1109/ICNP.2012.6459955},
  doi       = {10.1109/ICNP.2012.6459955},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/PerouliGMFPP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/PerouliVGMGPFP12,
  author    = {Debbie Perouli and
               Stefano Vissicchio and
               Alexander J. T. Gurney and
               Olaf Maennel and
               Timothy G. Griffin and
               Iain Phillips and
               Sonia Fahmy and
               Cristel Pelsser},
  title     = {Reducing the complexity of {BGP} stability analysis with hybrid combinatorial-algebraic
               models},
  booktitle = {20th {IEEE} International Conference on Network Protocols, {ICNP}
               2012, Austin, TX, USA, October 30 - Nov. 2, 2012},
  pages     = {1--6},
  year      = {2012},
  crossref  = {DBLP:conf/icnp/2012},
  url       = {https://doi.org/10.1109/ICNP.2012.6459945},
  doi       = {10.1109/ICNP.2012.6459945},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/PerouliVGMGPFP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2012,
  editor    = {Wolfram Kahl and
               Timothy G. Griffin},
  title     = {Relational and Algebraic Methods in Computer Science - 13th International
               Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7560},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33314-9},
  doi       = {10.1007/978-3-642-33314-9},
  isbn      = {978-3-642-33313-2},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GurneyG11,
  author    = {Alexander J. T. Gurney and
               Timothy G. Griffin},
  title     = {Pathfinding through Congruences},
  booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
               Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
               3, 2011. Proceedings},
  pages     = {180--195},
  year      = {2011},
  crossref  = {DBLP:conf/RelMiCS/2011},
  url       = {https://doi.org/10.1007/978-3-642-21070-9\_15},
  doi       = {10.1007/978-3-642-21070-9\_15},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/GurneyG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ate/Griffin11,
  author    = {Timothy G. Griffin},
  title     = {Do Formal Methodists have Bell-Shaped Heads?},
  booktitle = {Proceedings of the First Workshop on Automated Theory Engineering,
               Wroc{\l}aw, Poland, July 31, 2011},
  pages     = {1--2},
  year      = {2011},
  crossref  = {DBLP:conf/ate/2011},
  url       = {http://ceur-ws.org/Vol-760/paper1.pdf},
  timestamp = {Tue, 28 May 2019 16:23:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ate/Griffin11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ate/NaudziunasG11,
  author    = {Vilius Naudziunas and
               Timothy G. Griffin},
  title     = {A Domain-Specific Language for the Specification of Path Algebras},
  booktitle = {Proceedings of the First Workshop on Automated Theory Engineering,
               Wroc{\l}aw, Poland, July 31, 2011},
  pages     = {46--57},
  year      = {2011},
  crossref  = {DBLP:conf/ate/2011},
  url       = {http://ceur-ws.org/Vol-760/paper7.pdf},
  timestamp = {Tue, 28 May 2019 16:23:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ate/NaudziunasG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/AlimG11,
  author    = {M. Abdul Alim and
               Timothy G. Griffin},
  title     = {On the interaction of multiple routing algorithms},
  booktitle = {Proceedings of the 2011 Conference on Emerging Networking Experiments
               and Technologies, Co-NEXT '11, Tokyo, Japan, December 6-9, 2011},
  pages     = {7},
  year      = {2011},
  crossref  = {DBLP:conf/conext/2011},
  url       = {https://doi.org/10.1145/2079296.2079303},
  doi       = {10.1145/2079296.2079303},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/conext/AlimG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/HarrisG10,
  author    = {E. D. Harris and
               Timothy G. Griffin},
  title     = {Rate Limiting in an Event-Driven {BGP} Speaker},
  journal   = {{IEEE} Journal on Selected Areas in Communications},
  volume    = {28},
  number    = {8},
  pages     = {1287--1298},
  year      = {2010},
  url       = {https://doi.org/10.1109/JSAC.2010.101006},
  doi       = {10.1109/JSAC.2010.101006},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsac/HarrisG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aintec/AlimG10,
  author    = {M. Abdul Alim and
               Timothy G. Griffin},
  title     = {Hybrid link-state, path-vector routing},
  booktitle = {{AINTEC} '10, Asian Internet Engineering Conference, Bangkok, Thailand,
               November 17-19, 2010, Proceedings},
  pages     = {32--39},
  year      = {2010},
  crossref  = {DBLP:conf/aintec/2010},
  url       = {https://doi.org/10.1145/1930286.1930291},
  doi       = {10.1145/1930286.1930291},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aintec/AlimG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/GurneyG10,
  author    = {Alexander J. T. Gurney and
               Timothy G. Griffin},
  title     = {Neighbor-specific {BGP:} An algebraic exploration},
  booktitle = {Proceedings of the 18th annual {IEEE} International Conference on
               Network Protocols, {ICNP} 2010, Kyoto, Japan, 5-8 October, 2010},
  pages     = {103--112},
  year      = {2010},
  crossref  = {DBLP:conf/icnp/2010},
  url       = {https://doi.org/10.1109/ICNP.2010.5762759},
  doi       = {10.1109/ICNP.2010.5762759},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/GurneyG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/conext/2010,
  editor    = {Jaudelice Cavalcante de Oliveira and
               Maximilian Ott and
               Timothy G. Griffin and
               Muriel M{\'{e}}dard},
  title     = {Proceedings of the 2010 {ACM} Conference on Emerging Networking Experiments
               and Technology, CoNEXT 2010, Philadelphia, PA, USA, November 30 -
               December 03, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0448-1},
  timestamp = {Tue, 11 Jan 2011 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/conext/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/BillingsG09,
  author    = {John N. Billings and
               Timothy G. Griffin},
  title     = {A Model of Internet Routing Using Semi-modules},
  booktitle = {Relations and Kleene Algebra in Computer Science, 11th International
               Conference on Relational Methods in Computer Science, RelMiCS 2009,
               and 6th International Conference on Applications of Kleene Algebra,
               {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},
  pages     = {29--43},
  year      = {2009},
  crossref  = {DBLP:conf/RelMiCS/2009},
  url       = {https://doi.org/10.1007/978-3-642-04639-1\_3},
  doi       = {10.1007/978-3-642-04639-1\_3},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/BillingsG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/TaylorG09,
  author    = {Philip J. Taylor and
               Timothy G. Griffin},
  title     = {A model of configuration languages for routing protocols},
  booktitle = {Proceedings of the {ACM} {SIGCOMM} 2009 Workshop on Programmable Routers
               for Extensible Services of Tomorrow, {PRESTO} 2009, Barcelona, Spain,
               August 21, 2009},
  pages     = {55--60},
  year      = {2009},
  crossref  = {DBLP:conf/sigcomm/2009presto},
  url       = {https://doi.org/10.1145/1592631.1592645},
  doi       = {10.1145/1592631.1592645},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/TaylorG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2009,
  editor    = {Henning Schulzrinne and
               K. K. Ramakrishnan and
               Timothy G. Griffin and
               Srikanth V. Krishnamurthy},
  title     = {Proceedings of the 17th annual {IEEE} International Conference on
               Network Protocols, 2009. {ICNP} 2009, Princeton, NJ, USA, 13-16 October
               2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5335585/proceeding},
  isbn      = {978-1-4244-4634-6},
  timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/TeixeiraSGR08,
  author    = {Renata Teixeira and
               Aman Shaikh and
               Timothy G. Griffin and
               Jennifer Rexford},
  title     = {Impact of hot-potato routing changes in {IP} networks},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {16},
  number    = {6},
  pages     = {1295--1307},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1514016.1514021},
  doi       = {10.1145/1514016.1514021},
  timestamp = {Mon, 23 Mar 2009 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ton/TeixeiraSGR08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GriffinG08,
  author    = {Timothy G. Griffin and
               Alexander J. T. Gurney},
  title     = {Increasing Bisemigroups and Algebraic Routing},
  booktitle = {Relations and Kleene Algebra in Computer Science, 10th International
               Conference on Relational Methods in Computer Science, and 5th International
               Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
               Germany, April 7-11, 2008. Proceedings},
  pages     = {123--137},
  year      = {2008},
  crossref  = {DBLP:conf/RelMiCS/2008},
  url       = {https://doi.org/10.1007/978-3-540-78913-0\_11},
  doi       = {10.1007/978-3-540-78913-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/GriffinG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/TeixeiraGRR07,
  author    = {Renata Teixeira and
               Timothy G. Griffin and
               Mauricio G. C. Resende and
               Jennifer Rexford},
  title     = {{TIE} breaking: tunable interdomain egress selection},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {15},
  number    = {4},
  pages     = {761--774},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1295257.1295260},
  doi       = {10.1145/1295257.1295260},
  timestamp = {Tue, 23 Oct 2007 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ton/TeixeiraGRR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/GurneyG07,
  author    = {Alexander J. T. Gurney and
               Timothy G. Griffin},
  title     = {Lexicographic products in metarouting},
  booktitle = {Proceedings of the {IEEE} International Conference on Network Protocols,
               {ICNP} 2007, October 16-19, 2007, Beijing, China},
  pages     = {113--122},
  year      = {2007},
  crossref  = {DBLP:conf/icnp/2007},
  url       = {https://doi.org/10.1109/ICNP.2007.4375842},
  doi       = {10.1109/ICNP.2007.4375842},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/GurneyG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/LuaG07,
  author    = {Eng Keong Lua and
               Timothy G. Griffin},
  title     = {Embeddable Overlay Networks},
  booktitle = {Proceedings of the 12th {IEEE} Symposium on Computers and Communications
               {(ISCC} 2007), July 1-4, Aveiro, Portugal},
  pages     = {1099--1106},
  year      = {2007},
  crossref  = {DBLP:conf/iscc/2007},
  url       = {https://doi.org/10.1109/ISCC.2007.4381522},
  doi       = {10.1109/ISCC.2007.4381522},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscc/LuaG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icn/CavalliVG06,
  author    = {Ana R. Cavalli and
               Dario Vieira and
               Timothy G. Griffin},
  title     = {Implementation Analysis of {MSP}},
  booktitle = {Fifth International Conference on Networking and the International
               Conference on Systems {(ICN} / {ICONS} / {MCL} 2006), 23-29 April
               2006, Mauritius},
  pages     = {17},
  year      = {2006},
  crossref  = {DBLP:conf/icn/2006},
  url       = {https://doi.org/10.1109/ICNICONSMCL.2006.119},
  doi       = {10.1109/ICNICONSMCL.2006.119},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icn/CavalliVG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icon/CavalliGV06,
  author    = {Ana R. Cavalli and
               Timothy G. Griffin and
               Dario Vieira},
  title     = {{MSP:} {A} Novel Session Maintenance Protocol},
  booktitle = {14th {IEEE} International Conference on Networks, {ICON} 2006, Singapore,
               13-15 September 2006},
  pages     = {1--6},
  year      = {2006},
  crossref  = {DBLP:conf/icon/2006},
  url       = {https://doi.org/10.1109/ICON.2006.302611},
  doi       = {10.1109/ICON.2006.302611},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icon/CavalliGV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/ChauGG06,
  author    = {Chi{-}Kin Chau and
               Richard J. Gibbens and
               Timothy G. Griffin},
  title     = {Towards a Unified Theory of Policy-Based Routing},
  booktitle = {{INFOCOM} 2006. 25th {IEEE} International Conference on Computer Communications,
               Joint Conference of the {IEEE} Computer and Communications Societies,
               23-29 April 2006, Barcelona, Catalunya, Spain},
  year      = {2006},
  crossref  = {DBLP:conf/infocom/2006},
  url       = {https://doi.org/10.1109/INFOCOM.2006.125},
  doi       = {10.1109/INFOCOM.2006.125},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/ChauGG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/network/BonaventureFGGM05,
  author    = {Olivier Bonaventure and
               Anja Feldmann and
               Lixin Gao and
               Timothy G. Griffin and
               Z. Morley Mao},
  title     = {Guest editorial - Interdomain routing and the border gateway protocol},
  journal   = {{IEEE} Network},
  volume    = {19},
  number    = {6},
  pages     = {3--4},
  year      = {2005},
  url       = {https://doi.org/10.1109/MNET.2005.1541714},
  doi       = {10.1109/MNET.2005.1541714},
  timestamp = {Mon, 25 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/network/BonaventureFGGM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aict/CavalliGV05,
  author    = {Ana R. Cavalli and
               Timothy G. Griffin and
               Dario Vieira},
  title     = {A Comparison between Two Maintenance Session Protocols},
  booktitle = {Telecommunications 2005: Advanced Industrial Conference on Telecommunications
               / Service Assurance with Partial and Intermittent Resources Conference
               / E-Learning on Telecommunications Workshop {(AICT} / {SAPIR} / {ELETE}
               2005), 17-22 July 2005, Lisbon, Portugal},
  pages     = {230--237},
  year      = {2005},
  crossref  = {DBLP:conf/aict/2005},
  url       = {https://doi.org/10.1109/AICT.2005.2},
  doi       = {10.1109/AICT.2005.2},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aict/CavalliGV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/TeixeiraGRR05,
  author    = {Renata Teixeira and
               Timothy G. Griffin and
               Mauricio G. C. Resende and
               Jennifer Rexford},
  title     = {{TIE} breaking: tunable interdomain egress selection},
  booktitle = {Proceedings of the 2005 {ACM} Conference on Emerging Network Experiment
               and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005},
  pages     = {93--104},
  year      = {2005},
  crossref  = {DBLP:conf/conext/2005},
  url       = {https://doi.org/10.1145/1095921.1095935},
  doi       = {10.1145/1095921.1095935},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/conext/TeixeiraGRR05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/LuaGPZC05,
  author    = {Eng Keong Lua and
               Timothy G. Griffin and
               Marcelo Pias and
               Han Zheng and
               Jon Crowcroft},
  title     = {On the Accuracy of Embeddings for Internet Coordinate Systems},
  booktitle = {Proceedings of the 5th Internet Measurement Conference, {IMC} 2005,
               Berkeley, California, USA, October 19-21, 2005},
  pages     = {125--138},
  year      = {2005},
  crossref  = {DBLP:conf/imc/2005},
  url       = {http://www.usenix.org/events/imc05/tech/lua.html},
  timestamp = {Mon, 08 Jul 2019 07:25:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/imc/LuaGPZC05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobicom/Griffin05,
  author    = {Timothy G. Griffin},
  title     = {What can we unlearn from BGP?},
  booktitle = {Proceedings of the 1st {ACM} workshop on Dynamic interconnection of
               networks, DIN@MobiCom 2005, Cologne, Germany, September 2, 2005},
  pages     = {1},
  year      = {2005},
  crossref  = {DBLP:conf/mobicom/2005din},
  url       = {https://doi.org/10.1145/1080776.1080777},
  doi       = {10.1145/1080776.1080777},
  timestamp = {Tue, 06 Nov 2018 16:59:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobicom/Griffin05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pam/ZhengLPG05,
  author    = {Han Zheng and
               Eng Keong Lua and
               Marcelo Pias and
               Timothy G. Griffin},
  title     = {Internet Routing Policies and Round-Trip-Times},
  booktitle = {Passive and Active Network Measurement, 6th International Workshop,
               {PAM} 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings},
  pages     = {236--250},
  year      = {2005},
  crossref  = {DBLP:conf/pam/2005},
  url       = {https://doi.org/10.1007/978-3-540-31966-5\_19},
  doi       = {10.1007/978-3-540-31966-5\_19},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pam/ZhengLPG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/GriffinS05,
  author    = {Timothy G. Griffin and
               Jo{\~{a}}o L. Sobrinho},
  title     = {Metarouting},
  booktitle = {Proceedings of the {ACM} {SIGCOMM} 2005 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communications,
               Philadelphia, Pennsylvania, USA, August 22-26, 2005},
  pages     = {1--12},
  year      = {2005},
  crossref  = {DBLP:conf/sigcomm/2005},
  url       = {https://doi.org/10.1145/1080091.1080094},
  doi       = {10.1145/1080091.1080094},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/GriffinS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pam/BanerjeeGP04,
  author    = {Suman Banerjee and
               Timothy Griffin and
               Marcelo Pias},
  title     = {The Interdomain Connectivity of PlanetLab Nodes},
  booktitle = {Passive and Active Network Measurement, 5th International Workshop,
               {PAM} 2004, Antibes Juan-les-Pins, France, April 19-20, 2004, Proceedings},
  pages     = {73--82},
  year      = {2004},
  crossref  = {DBLP:conf/pam/2004},
  url       = {https://doi.org/10.1007/978-3-540-24668-8\_8},
  doi       = {10.1007/978-3-540-24668-8\_8},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pam/BanerjeeGP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/TeixeiraSGV04,
  author    = {Renata Teixeira and
               Aman Shaikh and
               Timothy Griffin and
               Geoffrey M. Voelker},
  title     = {Network sensitivity to hot-potato disruptions},
  booktitle = {Proceedings of the {ACM} {SIGCOMM} 2004 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communication,
               August 30 - September 3, 2004, Portland, Oregon, {USA}},
  pages     = {231--244},
  year      = {2004},
  crossref  = {DBLP:conf/sigcomm/2004},
  url       = {https://doi.org/10.1145/1015467.1015493},
  doi       = {10.1145/1015467.1015493},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/TeixeiraSGV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/TeixeiraSGR04,
  author    = {Renata Teixeira and
               Aman Shaikh and
               Timothy Griffin and
               Jennifer Rexford},
  title     = {Dynamics of hot-potato routing in {IP} networks},
  booktitle = {Proceedings of the International Conference on Measurements and Modeling
               of Computer Systems, {SIGMETRICS} 2004, June 10-14, 2004, New York,
               NY, {USA}},
  pages     = {307--319},
  year      = {2004},
  crossref  = {DBLP:conf/sigmetrics/2004},
  url       = {https://doi.org/10.1145/1005686.1005723},
  doi       = {10.1145/1005686.1005723},
  timestamp = {Tue, 06 Nov 2018 11:07:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmetrics/TeixeiraSGR04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmetrics/RoughanGMGF04,
  author    = {Matthew Roughan and
               Timothy Griffin and
               Zhuoqing Morley Mao and
               Albert G. Greenberg and
               Brian Freeman},
  title     = {Combining routing and traffic data for detection of {IP} forwarding
               anomalies},
  booktitle = {Proceedings of the International Conference on Measurements and Modeling
               of Computer Systems, {SIGMETRICS} 2004, June 10-14, 2004, New York,
               NY, {USA}},
  pages     = {416--417},
  year      = {2004},
  crossref  = {DBLP:conf/sigmetrics/2004},
  url       = {https://doi.org/10.1145/1005686.1005745},
  doi       = {10.1145/1005686.1005745},
  timestamp = {Tue, 06 Nov 2018 11:07:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmetrics/RoughanGMGF04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imc/MaoBGR03,
  author    = {Zhuoqing Morley Mao and
               Randy Bush and
               Timothy Griffin and
               Matthew Roughan},
  title     = {{BGP} beacons},
  booktitle = {Proceedings of the 3rd {ACM} {SIGCOMM} Internet Measurement Conference,
               {IMC} 2003, Miami Beach, FL, USA, October 27-29, 2003},
  pages     = {1--14},
  year      = {2003},
  crossref  = {DBLP:conf/imc/2003},
  url       = {https://doi.org/10.1145/948205.948207},
  doi       = {10.1145/948205.948207},
  timestamp = {Mon, 08 Jul 2019 07:25:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/imc/MaoBGR03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/BushG03,
  author    = {Randy Bush and
               Timothy Griffin},
  title     = {Integrity for Virtual Private Routed Networks},
  booktitle = {Proceedings {IEEE} {INFOCOM} 2003, The 22nd Annual Joint Conference
               of the {IEEE} Computer and Communications Societies, San Franciso,
               CA, USA, March 30 - April 3, 2003},
  pages     = {1467--1476},
  year      = {2003},
  crossref  = {DBLP:conf/infocom/2003},
  url       = {https://doi.org/10.1109/INFCOM.2003.1208982},
  doi       = {10.1109/INFCOM.2003.1208982},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/BushG03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/GoodellAGIMR03,
  author    = {Geoffrey Goodell and
               William Aiello and
               Timothy Griffin and
               John Ioannidis and
               Patrick D. McDaniel and
               Aviel D. Rubin},
  title     = {Working around {BGP:} An Incremental Approach to Improving Security
               and Accuracy in Interdomain Routing},
  booktitle = {Proceedings of the Network and Distributed System Security Symposium,
               {NDSS} 2003, San Diego, California, {USA}},
  year      = {2003},
  crossref  = {DBLP:conf/ndss/2003},
  url       = {https://www.ndss-symposium.org/ndss2003/working-around-bgp-incremental-approach-improving-security-and-accuracy-interdomain-routing/},
  timestamp = {Wed, 16 Oct 2019 16:49:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ndss/GoodellAGIMR03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/GriffinJR03,
  author    = {Timothy Griffin and
               Aaron D. Jaggard and
               Vijay Ramachandran},
  title     = {Design principles of policy languages for path vector protocols},
  booktitle = {Proceedings of the {ACM} {SIGCOMM} 2003 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communication,
               August 25-29, 2003, Karlsruhe, Germany},
  pages     = {61--72},
  year      = {2003},
  crossref  = {DBLP:conf/sigcomm/2003},
  url       = {https://doi.org/10.1145/863955.863964},
  doi       = {10.1145/863955.863964},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/GriffinJR03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/GriffinSW02,
  author    = {Timothy Griffin and
               F. Bruce Shepherd and
               Gordon T. Wilfong},
  title     = {The stable paths problem and interdomain routing},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {10},
  number    = {2},
  pages     = {232--243},
  year      = {2002},
  url       = {http://portal.acm.org/citation.cfm?id=508332},
  timestamp = {Thu, 03 Nov 2011 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ton/GriffinSW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/GriffinW02,
  author    = {Timothy Griffin and
               Gordon T. Wilfong},
  title     = {Analysis of the {MED} Oscillation Problem in {BGP}},
  booktitle = {10th {IEEE} International Conference on Network Protocols {(ICNP}
               2002), 12-15 November 2002, Paris, France, Proceedings},
  pages     = {90--99},
  year      = {2002},
  crossref  = {DBLP:conf/icnp/2002},
  url       = {https://doi.org/10.1109/ICNP.2002.1181389},
  doi       = {10.1109/ICNP.2002.1181389},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/GriffinW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/GriffinW02,
  author    = {Timothy Griffin and
               Gordon T. Wilfong},
  title     = {On the correctness of {IBGP} configuration},
  booktitle = {Proceedings of the {ACM} {SIGCOMM} 2002 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communication,
               August 19-23, 2002, Pittsburgh, PA, {USA}},
  pages     = {17--29},
  year      = {2002},
  crossref  = {DBLP:conf/sigcomm/2002},
  url       = {https://doi.org/10.1145/633025.633028},
  doi       = {10.1145/633025.633028},
  timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/GriffinW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/GriffinP01,
  author    = {Timothy G. Griffin and
               Brian J. Premore},
  title     = {An Experimental Analysis of {BGP} Convergence Time},
  booktitle = {9th International Conference on Network Protocols {(ICNP} 2001), 11-14
               November 2001, Riverside, CA, {USA}},
  pages     = {53--61},
  year      = {2001},
  crossref  = {DBLP:conf/icnp/2001},
  url       = {https://doi.org/10.1109/ICNP.2001.992760},
  doi       = {10.1109/ICNP.2001.992760},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/GriffinP01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/GaoGR01,
  author    = {Lixin Gao and
               Timothy Griffin and
               Jennifer Rexford},
  title     = {Inherently Safe Backup Routing with {BGP}},
  booktitle = {Proceedings {IEEE} {INFOCOM} 2001, The Conference on Computer Communications,
               Twentieth Annual Joint Conference of the {IEEE} Computer and Communications
               Societies, Twenty years into the communications odyssey, Anchorage,
               Alaska, USA, April 22-26, 2001},
  pages     = {547--556},
  year      = {2001},
  crossref  = {DBLP:conf/infocom/2001},
  url       = {https://doi.org/10.1109/INFCOM.2001.916777},
  doi       = {10.1109/INFCOM.2001.916777},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/GaoGR01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/GriffinW00,
  author    = {Timothy Griffin and
               Gordon T. Wilfong},
  title     = {A Safe Path Vector Protocol},
  booktitle = {Proceedings {IEEE} {INFOCOM} 2000, The Conference on Computer Communications,
               Nineteenth Annual Joint Conference of the {IEEE} Computer and Communications
               Societies, Reaching the Promised Land of Communications, Tel Aviv,
               Israel, March 26-30, 2000},
  pages     = {490--499},
  year      = {2000},
  crossref  = {DBLP:conf/infocom/2000},
  url       = {https://doi.org/10.1109/INFCOM.2000.832222},
  doi       = {10.1109/INFCOM.2000.832222},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/GriffinW00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/GriffinSW99,
  author    = {Timothy Griffin and
               F. Bruce Shepherd and
               Gordon T. Wilfong},
  title     = {Policy Disputes in Path-Vector Protocols},
  booktitle = {Seventh Annual International Conference on Network Protocols, {ICNP}
               1999, 31 October - 3 November, 1999, Toronto, Canada, Proceedings},
  pages     = {21--30},
  year      = {1999},
  crossref  = {DBLP:conf/icnp/1999},
  url       = {https://doi.org/10.1109/ICNP.1999.801912},
  doi       = {10.1109/ICNP.1999.801912},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/GriffinSW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/GriffinW99,
  author    = {Timothy Griffin and
               Gordon T. Wilfong},
  title     = {An Analysis of {BGP} Convergence Properties},
  booktitle = {Proceedings of the {ACM} {SIGCOMM} 1999 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communication,
               August 30 - September 3, 1999, Cambridge, Massachusetts, {USA}},
  pages     = {277--288},
  year      = {1999},
  crossref  = {DBLP:conf/sigcomm/1999},
  url       = {https://doi.org/10.1145/316188.316231},
  doi       = {10.1145/316188.316231},
  timestamp = {Tue, 06 Aug 2019 08:56:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/GriffinW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BenediktGL98,
  author    = {Michael Benedikt and
               Timothy Griffin and
               Leonid Libkin},
  title     = {Verifiable Properties of Database Transactions},
  journal   = {Inf. Comput.},
  volume    = {147},
  number    = {1},
  pages     = {57--88},
  year      = {1998},
  url       = {https://doi.org/10.1006/inco.1998.2731},
  doi       = {10.1006/inco.1998.2731},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/BenediktGL98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/GriffinK98,
  author    = {Timothy Griffin and
               Bharat Kumar},
  title     = {Algebraic Change Propagation for Semijoin and Outerjoin Queries},
  journal   = {{SIGMOD} Record},
  volume    = {27},
  number    = {3},
  pages     = {22--27},
  year      = {1998},
  url       = {https://doi.org/10.1145/290593.290597},
  doi       = {10.1145/290593.290597},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigmod/GriffinK98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/GriffinLT97,
  author    = {Timothy Griffin and
               Leonid Libkin and
               Howard Trickey},
  title     = {An Improved Algorithm for the Incremental Recomputation of Active
               Relational Expressions},
  journal   = {{IEEE} Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {3},
  pages     = {508--511},
  year      = {1997},
  url       = {https://doi.org/10.1109/69.599937},
  doi       = {10.1109/69.599937},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tkde/GriffinLT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtdb/GriffinHKLZ97,
  author    = {Timothy Griffin and
               Richard Hull and
               Bharat Kumar and
               Daniel F. Lieuwen and
               Gang Zhou},
  title     = {A Framework For Using Redundant Data to Optimize Read-Intensive Database
               Applications},
  booktitle = {Real-Time Database and Information Systems - Research Advances, Papers
               from the Second International Workshop on Real-Time Databases, RTDB'97,
               September 18-19, 1997, Burlington, Vermont, {USA.}},
  pages     = {63--76},
  year      = {1997},
  crossref  = {DBLP:conf/rtdb/1997},
  timestamp = {Sat, 27 Jul 2019 23:03:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtdb/GriffinHKLZ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/GriffinH97,
  author    = {Timothy Griffin and
               Richard Hull},
  title     = {A Framework for Implementing Hypothetical Queries},
  booktitle = {{SIGMOD} 1997, Proceedings {ACM} {SIGMOD} International Conference
               on Management of Data, May 13-15, 1997, Tucson, Arizona, {USA.}},
  pages     = {231--242},
  year      = {1997},
  crossref  = {DBLP:conf/sigmod/97},
  url       = {https://doi.org/10.1145/253260.253304},
  doi       = {10.1145/253260.253304},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/GriffinH97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/BenediktGL96,
  author    = {Michael Benedikt and
               Timothy Griffin and
               Leonid Libkin},
  title     = {Verifiable Properties of Database Transactions},
  booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
  pages     = {117--127},
  year      = {1996},
  crossref  = {DBLP:conf/pods/96},
  url       = {https://doi.org/10.1145/237661.237692},
  doi       = {10.1145/237661.237692},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/BenediktGL96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ColbyGLMT96,
  author    = {Latha S. Colby and
               Timothy Griffin and
               Leonid Libkin and
               Inderpal Singh Mumick and
               Howard Trickey},
  title     = {Algorithms for Deferred View Maintenance},
  booktitle = {Proceedings of the 1996 {ACM} {SIGMOD} International Conference on
               Management of Data, Montreal, Quebec, Canada, June 4-6, 1996.},
  pages     = {469--480},
  year      = {1996},
  crossref  = {DBLP:conf/sigmod/96},
  url       = {https://doi.org/10.1145/233269.233364},
  doi       = {10.1145/233269.233364},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/ColbyGLMT96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/views/ColbyG96,
  author    = {Latha S. Colby and
               Timothy Griffin},
  title     = {An Algebraic Approach to Supporting Multiple Deferred Views},
  booktitle = {Workshop on Materialized Views: Techniques and Applications, VIEWS@SIGMOD
               1996. Le Centre Sheraton Hotel, Monteal, Canada, Friday, June 7, 1996},
  pages     = {103--109},
  year      = {1996},
  crossref  = {DBLP:conf/views/1996},
  timestamp = {Wed, 07 Aug 2019 16:36:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/views/ColbyG96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/GriffinL95,
  author    = {Timothy Griffin and
               Leonid Libkin},
  title     = {Incremental Maintenance of Views with Duplicates},
  booktitle = {Proceedings of the 1995 {ACM} {SIGMOD} International Conference on
               Management of Data, San Jose, California, USA, May 22-25, 1995.},
  pages     = {328--339},
  year      = {1995},
  crossref  = {DBLP:conf/sigmod/95},
  url       = {https://doi.org/10.1145/223784.223849},
  doi       = {10.1145/223784.223849},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/GriffinL95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/GriffinT94,
  author    = {Timothy Griffin and
               Howard Trickey},
  title     = {Integrity Maintenance in {A} Telecommunications Switch},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {17},
  number    = {2},
  pages     = {43--46},
  year      = {1994},
  url       = {http://sites.computer.org/debull/94JUN-CD.pdf},
  timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/debu/GriffinT94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Griffin90,
  author    = {Timothy Griffin},
  title     = {A Formulae-as-Types Notion of Control},
  booktitle = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
               of Programming Languages, San Francisco, California, USA, January
               1990},
  pages     = {47--58},
  year      = {1990},
  crossref  = {DBLP:conf/popl/1990},
  url       = {https://doi.org/10.1145/96709.96714},
  doi       = {10.1145/96709.96714},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/Griffin90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Griffin88,
  author    = {Timothy Griffin},
  title     = {{EFS} - An Interactive Environment for Formal Systems},
  booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois,
               USA, May 23-26, 1988, Proceedings},
  pages     = {740--741},
  year      = {1988},
  crossref  = {DBLP:conf/cade/1988},
  url       = {https://doi.org/10.1007/BFb0012875},
  doi       = {10.1007/BFb0012875},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Griffin88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Griffin88,
  author    = {Timothy Griffin},
  title     = {Notational definition-a formal account},
  booktitle = {Proceedings of the Third Annual Symposium on Logic in Computer Science
               {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
  pages     = {372--383},
  year      = {1988},
  crossref  = {DBLP:conf/lics/1988},
  url       = {https://doi.org/10.1109/LICS.1988.5134},
  doi       = {10.1109/LICS.1988.5134},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/Griffin88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2018,
  title     = {2018 {IEEE} 26th International Conference on Network Protocols, {ICNP}
               2018, Cambridge, UK, September 25-27, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8526479/proceeding},
  isbn      = {978-1-5386-6043-0},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2018,
  editor    = {Jeremy Avigad and
               Assia Mahboubi},
  title     = {Interactive Theorem Proving - 9th International Conference, {ITP}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 9-12, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10895},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94821-8},
  doi       = {10.1007/978-3-319-94821-8},
  isbn      = {978-3-319-94820-1},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2018,
  editor    = {Sergey Gorinsky and
               J{\'{a}}nos Tapolcai},
  title     = {Proceedings of the 2018 Conference of the {ACM} Special Interest Group
               on Data Communication, {SIGCOMM} 2018, Budapest, Hungary, August 20-25,
               2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3230543},
  timestamp = {Thu, 09 Aug 2018 08:12:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2013,
  title     = {2013 21st {IEEE} International Conference on Network Protocols, {ICNP}
               2013, G{\"{o}}ttingen, Germany, October 7-10, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6718434/proceeding},
  isbn      = {978-1-4799-1270-4},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2012,
  title     = {20th {IEEE} International Conference on Network Protocols, {ICNP}
               2012, Austin, TX, USA, October 30 - Nov. 2, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6424016/proceeding},
  isbn      = {978-1-4673-2445-8},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2011,
  editor    = {Harrie C. M. de Swart},
  title     = {Relational and Algebraic Methods in Computer Science - 12th International
               Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
               3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6663},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21070-9},
  doi       = {10.1007/978-3-642-21070-9},
  isbn      = {978-3-642-21069-3},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ate/2011,
  editor    = {Peter H{\"{o}}fner and
               Annabelle McIver and
               Georg Struth},
  title     = {Proceedings of the First Workshop on Automated Theory Engineering,
               Wroc{\l}aw, Poland, July 31, 2011},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {760},
  publisher = {CEUR-WS.org},
  year      = {2011},
  url       = {http://ceur-ws.org/Vol-760},
  urn       = {urn:nbn:de:0074-760-4},
  timestamp = {Tue, 28 May 2019 16:23:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ate/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/conext/2011,
  editor    = {Kenjiro Cho and
               Mark Crovella},
  title     = {Proceedings of the 2011 Conference on Emerging Networking Experiments
               and Technologies, Co-NEXT '11, Tokyo, Japan, December 6-9, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2079296},
  isbn      = {978-1-4503-1041-3},
  timestamp = {Fri, 15 Jun 2012 14:19:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/conext/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aintec/2010,
  editor    = {Thanasis Korakis and
               Giovanni Pau and
               Ryuji Wakikawa},
  title     = {{AINTEC} '10, Asian Internet Engineering Conference, Bangkok, Thailand,
               November 17-19, 2010, Proceedings},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0401-6},
  timestamp = {Thu, 22 Jun 2017 16:10:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aintec/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2010,
  title     = {Proceedings of the 18th annual {IEEE} International Conference on
               Network Protocols, {ICNP} 2010, Kyoto, Japan, 5-8 October, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5759760/proceeding},
  isbn      = {978-1-4244-8644-1},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2009,
  editor    = {Rudolf Berghammer and
               Ali Jaoua and
               Bernhard M{\"{o}}ller},
  title     = {Relations and Kleene Algebra in Computer Science, 11th International
               Conference on Relational Methods in Computer Science, RelMiCS 2009,
               and 6th International Conference on Applications of Kleene Algebra,
               {AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5827},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04639-1},
  doi       = {10.1007/978-3-642-04639-1},
  isbn      = {978-3-642-04638-4},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2009presto,
  editor    = {Patrick Crowley and
               David A. Maltz and
               Jacobus E. van der Merwe},
  title     = {Proceedings of the {ACM} {SIGCOMM} 2009 Workshop on Programmable Routers
               for Extensible Services of Tomorrow, {PRESTO} 2009, Barcelona, Spain,
               August 21, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-446-1},
  timestamp = {Wed, 18 Nov 2009 08:17:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2009presto},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2008,
  editor    = {Rudolf Berghammer and
               Bernhard M{\"{o}}ller and
               Georg Struth},
  title     = {Relations and Kleene Algebra in Computer Science, 10th International
               Conference on Relational Methods in Computer Science, and 5th International
               Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
               Germany, April 7-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4988},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78913-0},
  doi       = {10.1007/978-3-540-78913-0},
  isbn      = {978-3-540-78912-3},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2007,
  title     = {Proceedings of the {IEEE} International Conference on Network Protocols,
               {ICNP} 2007, October 16-19, 2007, Beijing, China},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4375820/proceeding},
  isbn      = {1-4244-1588-8},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iscc/2007,
  title     = {Proceedings of the 12th {IEEE} Symposium on Computers and Communications
               {(ISCC} 2007), July 1-4, Aveiro, Portugal},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4381469/proceeding},
  isbn      = {978-1-4244-1520-5},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iscc/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icn/2006,
  title     = {Fifth International Conference on Networking and the International
               Conference on Systems {(ICN} / {ICONS} / {MCL} 2006), 23-29 April
               2006, Mauritius},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10841/proceeding},
  isbn      = {0-7695-2552-0},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icn/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icon/2006,
  title     = {14th {IEEE} International Conference on Networks, {ICON} 2006, Singapore,
               13-15 September 2006},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4087640/proceeding},
  isbn      = {0-7803-9746-0},
  timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icon/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infocom/2006,
  title     = {{INFOCOM} 2006. 25th {IEEE} International Conference on Computer Communications,
               Joint Conference of the {IEEE} Computer and Communications Societies,
               23-29 April 2006, Barcelona, Catalunya, Spain},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4146652/proceeding},
  isbn      = {1-4244-0221-2},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aict/2005,
  title     = {Telecommunications 2005: Advanced Industrial Conference on Telecommunications
               / Service Assurance with Partial and Intermittent Resources Conference
               / E-Learning on Telecommunications Workshop {(AICT} / {SAPIR} / {ELETE}
               2005), 17-22 July 2005, Lisbon, Portugal},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10175/proceeding},
  isbn      = {0-7695-2388-9},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aict/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/conext/2005,
  editor    = {Michel Diaz and
               Arturo Azcorra and
               Philippe Owezarski and
               Serge Fdida},
  title     = {Proceedings of the 2005 {ACM} Conference on Emerging Network Experiment
               and Technology, CoNEXT 2005, Toulouse, France, October 24-27, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-197-X},
  timestamp = {Mon, 28 Apr 2008 08:36:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/conext/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imc/2005,
  title     = {Proceedings of the 5th Internet Measurement Conference, {IMC} 2005,
               Berkeley, California, USA, October 19-21, 2005},
  publisher = {{USENIX} Association},
  year      = {2005},
  timestamp = {Mon, 08 Jul 2019 07:25:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/imc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mobicom/2005din,
  editor    = {Christian Prehofer and
               Cornelia Kappler},
  title     = {Proceedings of the 1st {ACM} workshop on Dynamic interconnection of
               networks, DIN@MobiCom 2005, Cologne, Germany, September 2, 2005},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1080776},
  doi       = {10.1145/1080776},
  timestamp = {Tue, 06 Nov 2018 16:59:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobicom/2005din},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pam/2005,
  editor    = {Constantinos Dovrolis},
  title     = {Passive and Active Network Measurement, 6th International Workshop,
               {PAM} 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3431},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b135479},
  doi       = {10.1007/b135479},
  isbn      = {3-540-25520-6},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pam/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2005,
  editor    = {Roch Gu{\'{e}}rin and
               Ramesh Govindan and
               Greg Minshall},
  title     = {Proceedings of the {ACM} {SIGCOMM} 2005 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communications,
               Philadelphia, Pennsylvania, USA, August 22-26, 2005},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1080091},
  doi       = {10.1145/1080091},
  isbn      = {1-59593-009-4},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pam/2004,
  editor    = {Chadi Barakat and
               Ian Pratt},
  title     = {Passive and Active Network Measurement, 5th International Workshop,
               {PAM} 2004, Antibes Juan-les-Pins, France, April 19-20, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3015},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96961},
  doi       = {10.1007/b96961},
  isbn      = {3-540-21492-5},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pam/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2004,
  editor    = {Raj Yavatkar and
               Ellen W. Zegura and
               Jennifer Rexford},
  title     = {Proceedings of the {ACM} {SIGCOMM} 2004 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communication,
               August 30 - September 3, 2004, Portland, Oregon, {USA}},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://doi.org/10.1145/1015467},
  doi       = {10.1145/1015467},
  isbn      = {1-58113-862-8},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmetrics/2004,
  editor    = {Edward G. Coffman Jr. and
               Zhen Liu and
               Arif Merchant},
  title     = {Proceedings of the International Conference on Measurements and Modeling
               of Computer Systems, {SIGMETRICS} 2004, June 10-14, 2004, New York,
               NY, {USA}},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://doi.org/10.1145/1005686},
  doi       = {10.1145/1005686},
  isbn      = {1-58113-873-3},
  timestamp = {Tue, 06 Nov 2018 11:07:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmetrics/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/imc/2003,
  title     = {Proceedings of the 3rd {ACM} {SIGCOMM} Internet Measurement Conference,
               {IMC} 2003, Miami Beach, FL, USA, October 27-29, 2003},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-773-7},
  timestamp = {Mon, 08 Jul 2019 07:25:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/imc/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infocom/2003,
  title     = {Proceedings {IEEE} {INFOCOM} 2003, The 22nd Annual Joint Conference
               of the {IEEE} Computer and Communications Societies, San Franciso,
               CA, USA, March 30 - April 3, 2003},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8585/proceeding},
  isbn      = {0-7803-7752-4},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ndss/2003,
  title     = {Proceedings of the Network and Distributed System Security Symposium,
               {NDSS} 2003, San Diego, California, {USA}},
  publisher = {The Internet Society},
  year      = {2003},
  url       = {https://www.ndss-symposium.org/ndss2003/},
  isbn      = {1-891562-16-9},
  timestamp = {Wed, 16 Oct 2019 16:49:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ndss/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2003,
  editor    = {Anja Feldmann and
               Martina Zitterbart and
               Jon Crowcroft and
               David Wetherall},
  title     = {Proceedings of the {ACM} {SIGCOMM} 2003 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communication,
               August 25-29, 2003, Karlsruhe, Germany},
  publisher = {{ACM}},
  year      = {2003},
  url       = {https://doi.org/10.1145/863955},
  doi       = {10.1145/863955},
  isbn      = {1-58113-735-4},
  timestamp = {Tue, 06 Nov 2018 11:07:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2002,
  title     = {10th {IEEE} International Conference on Network Protocols {(ICNP}
               2002), 12-15 November 2002, Paris, France, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8412/proceeding},
  isbn      = {0-7695-1856-7},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2002,
  editor    = {Matthew Mathis and
               Peter Steenkiste and
               Hari Balakrishnan and
               Vern Paxson},
  title     = {Proceedings of the {ACM} {SIGCOMM} 2002 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communication,
               August 19-23, 2002, Pittsburgh, PA, {USA}},
  publisher = {{ACM}},
  year      = {2002},
  url       = {https://doi.org/10.1145/633025},
  doi       = {10.1145/633025},
  isbn      = {1-58113-570-X},
  timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2001,
  title     = {9th International Conference on Network Protocols {(ICNP} 2001), 11-14
               November 2001, Riverside, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7792/proceeding},
  isbn      = {0-7695-1429-4},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infocom/2001,
  title     = {Proceedings {IEEE} {INFOCOM} 2001, The Conference on Computer Communications,
               Twentieth Annual Joint Conference of the {IEEE} Computer and Communications
               Societies, Twenty years into the communications odyssey, Anchorage,
               Alaska, USA, April 22-26, 2001},
  publisher = {{IEEE} Comptuer Society},
  year      = {2001},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/7321/proceeding},
  isbn      = {0-7803-7016-3},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infocom/2000,
  title     = {Proceedings {IEEE} {INFOCOM} 2000, The Conference on Computer Communications,
               Nineteenth Annual Joint Conference of the {IEEE} Computer and Communications
               Societies, Reaching the Promised Land of Communications, Tel Aviv,
               Israel, March 26-30, 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6725/proceeding},
  isbn      = {0-7803-5880-5},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/1999,
  title     = {Seventh Annual International Conference on Network Protocols, {ICNP}
               1999, 31 October - 3 November, 1999, Toronto, Canada, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6511/proceeding},
  isbn      = {0-7695-0412-4},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/1999,
  editor    = {Lyman Chapin and
               James P. G. Sterbenz and
               Guru M. Parulkar and
               Jonathan S. Turner},
  title     = {Proceedings of the {ACM} {SIGCOMM} 1999 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communication,
               August 30 - September 3, 1999, Cambridge, Massachusetts, {USA}},
  publisher = {{ACM}},
  year      = {1999},
  url       = {https://doi.org/10.1145/316188},
  doi       = {10.1145/316188},
  isbn      = {1-58113-135-6},
  timestamp = {Tue, 06 Aug 2019 08:56:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtdb/1997,
  editor    = {Azer Bestavros and
               Victor Fay Wolfe},
  title     = {Real-Time Database and Information Systems - Research Advances, Papers
               from the Second International Workshop on Real-Time Databases, RTDB'97,
               September 18-19, 1997, Burlington, Vermont, {USA}},
  publisher = {Kluwer Academic Publishers},
  year      = {1997},
  timestamp = {Sat, 27 Jul 2019 23:03:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtdb/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/97,
  editor    = {Joan Peckham},
  title     = {{SIGMOD} 1997, Proceedings {ACM} {SIGMOD} International Conference
               on Management of Data, May 13-15, 1997, Tucson, Arizona, {USA}},
  publisher = {{ACM} Press},
  year      = {1997},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pods/96,
  editor    = {Richard Hull},
  title     = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
               on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
  publisher = {{ACM} Press},
  year      = {1996},
  url       = {http://dl.acm.org/citation.cfm?id=237661},
  isbn      = {0-89791-781-2},
  timestamp = {Sat, 11 Nov 2017 21:53:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pods/96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/96,
  editor    = {H. V. Jagadish and
               Inderpal Singh Mumick},
  title     = {Proceedings of the 1996 {ACM} {SIGMOD} International Conference on
               Management of Data, Montreal, Quebec, Canada, June 4-6, 1996},
  publisher = {{ACM} Press},
  year      = {1996},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/views/1996,
  title     = {Workshop on Materialized Views: Techniques and Applications, VIEWS@SIGMOD
               1996. Le Centre Sheraton Hotel, Monteal, Canada, Friday, June 7, 1996},
  year      = {1996},
  url       = {http://www.savera.com/mumick/views96/tableOfContents.html},
  timestamp = {Wed, 07 Aug 2019 16:36:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/views/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/95,
  editor    = {Michael J. Carey and
               Donovan A. Schneider},
  title     = {Proceedings of the 1995 {ACM} {SIGMOD} International Conference on
               Management of Data, San Jose, California, USA, May 22-25, 1995},
  publisher = {{ACM} Press},
  year      = {1995},
  timestamp = {Thu, 21 Jun 2018 08:00:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1990,
  editor    = {Frances E. Allen},
  title     = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles
               of Programming Languages, San Francisco, California, USA, January
               1990},
  publisher = {{ACM} Press},
  year      = {1990},
  url       = {http://dl.acm.org/citation.cfm?id=96709},
  isbn      = {0-89791-343-4},
  timestamp = {Mon, 21 May 2012 16:19:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/1988,
  editor    = {Ewing L. Lusk and
               Ross A. Overbeek},
  title     = {9th International Conference on Automated Deduction, Argonne, Illinois,
               USA, May 23-26, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {310},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/BFb0012819},
  doi       = {10.1007/BFb0012819},
  isbn      = {3-540-19343-X},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1988,
  title     = {Proceedings of the Third Annual Symposium on Logic in Computer Science
               {(LICS} '88), Edinburgh, Scotland, UK, July 5-8, 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/203/proceeding},
  isbn      = {0-8186-0853-6},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics