Timothy Griffin

Results: 23



#Item
1Exploring the Stratified Shortest-Paths Problem Timothy G. Griffin  Computer Laboratory University of Cambridge, UK

Exploring the Stratified Shortest-Paths Problem Timothy G. Griffin Computer Laboratory University of Cambridge, UK

Add to Reading List

Source URL: www.cs.stir.ac.uk

- Date: 2010-06-17 03:55:50
    2A Formulae-as-Types Notion of Control Timothy G. Griffin* Department of Computer Science Rice University Houston, TX

    A Formulae-as-Types Notion of Control Timothy G. Griffin* Department of Computer Science Rice University Houston, TX

    Add to Reading List

    Source URL: www.cs.ru.nl

    Language: English - Date: 2011-10-04 07:32:04
      3Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK

      Local optimality in algebraic path problems (with help from Coq and Ssreflect) Timothy G. Griffin Computer Laboratory University of Cambridge, UK

      Add to Reading List

      Source URL: www.monmeetings.org

      Language: English - Date: 2015-09-04 10:24:56
      4Interdomain Routing Streams Timothy G. Griffin∗ Zhuoqing Morley Mao†  Abstract

      Interdomain Routing Streams Timothy G. Griffin∗ Zhuoqing Morley Mao† Abstract

      Add to Reading List

      Source URL: sahara.cs.berkeley.edu

      Language: English - Date: 2004-05-07 19:48:08
      5Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin  Computer Laboratory University of Cambridge, UK

      Remarks on A Formulae-as-Types Notion of Control Timothy G. Griffin Computer Laboratory University of Cambridge, UK

      Add to Reading List

      Source URL: www.pps.univ-paris-diderot.fr

      Language: English - Date: 2013-09-22 09:55:54
        6Alumni Spotlight Timothy A. Griffin ’84 has focused his career on the discovery of new, clean and efficient energy technologies. Currently a professor of thermodynamics and energy research at the University of Applied

        Alumni Spotlight Timothy A. Griffin ’84 has focused his career on the discovery of new, clean and efficient energy technologies. Currently a professor of thermodynamics and energy research at the University of Applied

        Add to Reading List

        Source URL: www.che.udel.edu

        Language: English - Date: 2014-09-17 10:22:29
        7Software testing / PlanetLab / Abilene Network / Border Gateway Protocol / Routing / Router / Internet / Network architecture / Computing

        The Interdomain Connectivity of PlanetLab Nodes Suman Banerjee University of Wisconsin, Madison Timothy G. Griffin Intel Research, Cambridge UK Marcelo Pias

        Add to Reading List

        Source URL: www.planet-lab.org

        Language: English - Date: 2009-06-12 12:01:19
        8Metarouting Timothy G. Griffin Joao ˜ Lu´ıs Sobrinho Computer Laboratory Instituto de Telecomunicac¸oes ˜

        Metarouting Timothy G. Griffin Joao ˜ Lu´ıs Sobrinho Computer Laboratory Instituto de Telecomunicac¸oes ˜

        Add to Reading List

        Source URL: conferences.sigcomm.org

        Language: English - Date: 2005-08-03 21:37:26
        9Design Principles of Policy Languages ∗ for Path Vector Protocols Timothy G. Griffin AT&T Labs – Research Florham Park, NJ, USA

        Design Principles of Policy Languages ∗ for Path Vector Protocols Timothy G. Griffin AT&T Labs – Research Florham Park, NJ, USA

        Add to Reading List

        Source URL: conferences.sigcomm.org

        Language: English - Date: 2003-07-24 11:26:28
        10Cross-Linking DOI Author URIs Using Research Networking Systems Nick Benik , Timothy Lebo , Griffin M. Weber 1 2

        Cross-Linking DOI Author URIs Using Research Networking Systems Nick Benik , Timothy Lebo , Griffin M. Weber 1 2

        Add to Reading List

        Source URL: www.iscb.org

        Language: English - Date: 2014-03-04 19:22:54