1![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 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](https://www.pdfsearch.io/img/672bf781120b21267d7079fcb54c77c1.jpg) | Add to Reading ListSource URL: popl.mpi-sws.orgLanguage: English - Date: 2013-04-10 04:03:03
|
---|
2![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 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](https://www.pdfsearch.io/img/6ce2e121c84eb075248069570c16d381.jpg) | Add to Reading ListSource URL: www.aapl.orgLanguage: English - Date: 2016-04-13 04:00:58
|
---|
3![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 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](https://www.pdfsearch.io/img/6daacfa0cdd3e39c82f1a611a9eb4004.jpg) | Add to Reading ListSource URL: www.kasv.dk- Date: 2016-10-22 09:38:23
|
---|
4![BitMat: 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](https://www.pdfsearch.io/img/9cb1d55d3a895a43b74a5f88487350f9.jpg) | Add to Reading ListSource URL: www.cs.rpi.edu- Date: 2014-05-23 03:15:05
|
---|
5![A 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](https://www.pdfsearch.io/img/2436e296d5ab2292c829102de202526c.jpg) | Add to Reading ListSource URL: gowthamk.github.io- Date: 2016-09-07 22:55:22
|
---|
6![BitMat: 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](https://www.pdfsearch.io/img/78df80da8cc3fd8e54276125bf9e982b.jpg) | Add to Reading ListSource URL: ftp.informatik.rwth-aachen.de- Date: 2008-09-23 14:36:04
|
---|
7![A 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](https://www.pdfsearch.io/img/60f1a4487fe6fee0af66899ba3ad3cb9.jpg) | Add to Reading ListSource URL: tycon.github.io- Date: 2015-10-12 17:47:53
|
---|
8![On 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](https://www.pdfsearch.io/img/1b532f281973ea535994a79c6318bf87.jpg) | Add to Reading ListSource URL: www.hec.unil.ch- Date: 2010-02-12 10:03:14
|
---|
9![Growth 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](https://www.pdfsearch.io/img/fbb8751c33bf1eab6381eb7d0cbe4216.jpg) | Add to Reading ListSource URL: www3.nd.edu- Date: 2015-02-22 02:29:06
|
---|