Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Rahul Sharma 0001" ( http://dblp.L3S.de/Authors/Rahul_Sharma_0001 )

URL (Homepage):  http://www.stanford.edu/~sharmar/homepage/About_Me.html  Author page on DBLP  Author page in RDF  Community of Rahul Sharma 0001 in ASPL-2

Publication years (Num. hits)
2011 (3)
Publication types (Num. hits)
article(1) inproceedings(2)
Venues (Conferences, Journals, ...)
CAV(1) FSTTCS(1) IACR Cryptology ePrint Archive(1)
Authors
Rahul Sharma 0001(3) Alex Bain(2) Deian Stefan(2) Joe Zimmerman(2) John C. Mitchell(2) Alex Aiken(1) Isil Dillig(1) Thomas Dillig(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Alex Bain, John C. Mitchell, Rahul Sharma 0001, Deian Stefan, Joe Zimmerman A Domain-Specific Language for Computing on Encrypted Data. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2011 DBLP  BibTeX  RDF
1Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken Simplifying Loop Invariant Generation Using Splitter Predicates. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alex Bain, John C. Mitchell, Rahul Sharma 0001, Deian Stefan, Joe Zimmerman A Domain-Specific Language for Computing on Encrypted Data (Invited Talk). Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.