Goel

Results: 217



#Item
91— TTVSI, London 2008 — Decision Procedures for Parametric Theories Sava Krsti´ c∗ , Amit Goel∗, Jim Grundy∗ , Cesare Tinelli∗∗

— TTVSI, London 2008 — Decision Procedures for Parametric Theories Sava Krsti´ c∗ , Amit Goel∗, Jim Grundy∗ , Cesare Tinelli∗∗

Add to Reading List

Source URL: www.csee.ogi.edu

Language: English - Date: 2008-12-15 19:19:13
    92Recon: Verifying File System Consistency at Runtime Daniel Fryer, Kuei Sun, Rahat Mahmood, TingHao Cheng, Shaun Benjamin, Ashvin Goel, Angela Demke Brown University of Toronto Abstract

    Recon: Verifying File System Consistency at Runtime Daniel Fryer, Kuei Sun, Rahat Mahmood, TingHao Cheng, Shaun Benjamin, Ashvin Goel, Angela Demke Brown University of Toronto Abstract

    Add to Reading List

    Source URL: www.usenix.org

      93Needs and added value of Fuel Cell Buses: the Hydrogen Solution Mr. Alok Goel, Country Head India & South Asia Region, Ballard Power Systems ›

      Needs and added value of Fuel Cell Buses: the Hydrogen Solution Mr. Alok Goel, Country Head India & South Asia Region, Ballard Power Systems ›

      Add to Reading List

      Source URL: www.iru.org

        94Topical TrustRank: Using Topicality to Combat Web Spam Baoning Wu Vinay Goel Brian D. Davison

        Topical TrustRank: Using Topicality to Combat Web Spam Baoning Wu Vinay Goel Brian D. Davison

        Add to Reading List

        Source URL: ryanrossi.com

        Language: English - Date: 2012-06-10 17:19:19
          95Microsoft Word - Voicing_infos.rtf

          Microsoft Word - Voicing_infos.rtf

          Add to Reading List

          Source URL: www.veronique-goel.net

          Language: French - Date: 2009-11-12 09:06:00
            96Needs and added value of Fuel Cell Buses: the Hydrogen Solution Mr. Alok Goel, Country Head India & South Asia Region, Ballard Power Systems ›

            Needs and added value of Fuel Cell Buses: the Hydrogen Solution Mr. Alok Goel, Country Head India & South Asia Region, Ballard Power Systems ›

            Add to Reading List

            Source URL: www.iru.org

              97Reaching India’s Renewable Energy Targets Cost-Effectively Gireesh Shrimali Sandhya Srinivasan Shobhit Goel Saurabh Trivedi

              Reaching India’s Renewable Energy Targets Cost-Effectively Gireesh Shrimali Sandhya Srinivasan Shobhit Goel Saurabh Trivedi

              Add to Reading List

              Source URL: climatepolicyinitiative.org

              Language: English - Date: 2015-04-10 22:51:08
                98CentMail: Rate Limiting via Certified Micro-Donations Sharad Goel Jake Hofman David M. Pennock

                CentMail: Rate Limiting via Certified Micro-Donations Sharad Goel Jake Hofman David M. Pennock

                Add to Reading List

                Source URL: centmail.net

                Language: English - Date: 2009-06-29 01:55:30
                  99Propagating Trust and Distrust to Demote Web Spam Baoning Wu Vinay Goel Brian D. Davison

                  Propagating Trust and Distrust to Demote Web Spam Baoning Wu Vinay Goel Brian D. Davison

                  Add to Reading List

                  Source URL: www.olmedilla.info

                  Language: English - Date: 2012-07-07 17:41:42
                  100SPOOFING Information Security in Systems & Networks Public Development Program Sanjay Goel University at Albany, SUNY Fall 2006

                  SPOOFING Information Security in Systems & Networks Public Development Program Sanjay Goel University at Albany, SUNY Fall 2006

                  Add to Reading List

                  Source URL: www.albany.edu

                  Language: English - Date: 2014-08-07 12:38:39