Jagannathan

Results: 39



#Item
1Principles  of  POPL Derek  Dreyer,  John  Field,  Roberto  Giacobazzi,  Michael  Hicks,  Suresh  Jagannathan, Mooly  Sagiv,  Peter  Sewell,  Phil  Wadler (on  behalf  of  the  POPL  Steering  Commi

Principles  of  POPL Derek  Dreyer,  John  Field,  Roberto  Giacobazzi,  Michael  Hicks,  Suresh  Jagannathan, Mooly  Sagiv,  Peter  Sewell,  Phil  Wadler (on  behalf  of  the  POPL  Steering  Commi

Add to Reading List

Source URL: popl.mpi-sws.org

Language: English - Date: 2013-04-10 04:03:03
    2AAPL Newsletter American Academy of Psychiatry and the Law from the issue of January 2002 • Vol. 27, No. 1, p. 10 Frank Bolz Jr.: Hostage Negotiations Jagannathan Srinivasaraghavan MD

    AAPL Newsletter American Academy of Psychiatry and the Law from the issue of January 2002 • Vol. 27, No. 1, p. 10 Frank Bolz Jr.: Hostage Negotiations Jagannathan Srinivasaraghavan MD

    Add to Reading List

    Source URL: www.aapl.org

    Language: English - Date: 2016-04-13 04:00:58
      3A Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic MIKE DODDS, University of York, UK SURESH JAGANNATHAN, Purdue University, Indiana MATTHEW J. PARKINSON, Microsoft Research, UK

      A Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic MIKE DODDS, University of York, UK SURESH JAGANNATHAN, Purdue University, Indiana MATTHEW J. PARKINSON, Microsoft Research, UK

      Add to Reading List

      Source URL: www.kasv.dk

      - Date: 2016-10-22 09:38:23
        4BitMat: A Main-memory Bit Matrix of RDF Triples for Conjunctive Triple Pattern Queries Medha Atre Jagannathan Srinivasan

        BitMat: A Main-memory Bit Matrix of RDF Triples for Conjunctive Triple Pattern Queries Medha Atre Jagannathan Srinivasan

        Add to Reading List

        Source URL: www.cs.rpi.edu

        - Date: 2014-05-23 03:15:05
          5A Relational Framework for Higher-Order Shape Analysis Gowtham Kaki Suresh Jagannathan Purdue University

          A Relational Framework for Higher-Order Shape Analysis Gowtham Kaki Suresh Jagannathan Purdue University

          Add to Reading List

          Source URL: gowthamk.github.io

          - Date: 2016-09-07 22:55:22
            6BitMat: A Main-memory Bit Matrix of RDF Triples for Conjunctive Triple Pattern Queries Medha Atre Jagannathan Srinivasan

            BitMat: A Main-memory Bit Matrix of RDF Triples for Conjunctive Triple Pattern Queries Medha Atre Jagannathan Srinivasan

            Add to Reading List

            Source URL: ftp.informatik.rwth-aachen.de

            - Date: 2008-09-23 14:36:04
              7A Relational Framework for Higher-Order Shape Analysis Gowtham Kaki Suresh Jagannathan Purdue University

              A Relational Framework for Higher-Order Shape Analysis Gowtham Kaki Suresh Jagannathan Purdue University

              Add to Reading List

              Source URL: tycon.github.io

              - Date: 2015-10-12 17:47:53
                8On the Hansen-Jagannathan distance with a no-arbitrage constraint Nikolay Gospodinov, Raymond Kan, Cesare Robotti∗ First draft: May 2009 This draft: January 2010

                On the Hansen-Jagannathan distance with a no-arbitrage constraint Nikolay Gospodinov, Raymond Kan, Cesare Robotti∗ First draft: May 2009 This draft: January 2010

                Add to Reading List

                Source URL: www.hec.unil.ch

                - Date: 2010-02-12 10:03:14
                  9Growth Expectations, Dividend Yields, and Future Stock Returns ∗ Zhi Da†, Ravi Jagannathan‡, and Jianfeng Shen§ February 22, 2015

                  Growth Expectations, Dividend Yields, and Future Stock Returns ∗ Zhi Da†, Ravi Jagannathan‡, and Jianfeng Shen§ February 22, 2015

                  Add to Reading List

                  Source URL: www3.nd.edu

                  - Date: 2015-02-22 02:29:06