Search
Add filters:
Use filters to refine the search results.
Item hits:
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2017 | Bioinformatics Approaches to Profile the Tumor Microenvironment for Immunotherapeutic Discovery | Clancy, Trevor; Dannenfelser, Ruth; Troyanskaya, Olga; Malmberg, Karl J; Hovig, Eivind, et al |
| 2020 | Indifferentiability for Public Key Cryptosystems | Zhandry, Mark; Zhang, Cong |
| Jan-2016 | Example-directed synthesis: a type-theoretic interpretation | Frankle, Jonathan; Osera, Peter-Michael; Walker, David; Zdancewic, Steve |
| Oct-2016 | Online Tracking: A 1-million-site Measurement and Analysis | Englehardt, Steven; Narayanan, Arvind |
| 2014 | Content-based recommendations with Poisson factorization | Gopalan, Prem; Charlin, Laurent; Blei, David M |
| Nov-2015 | Dominator Tree Certification and Divergent Spanning Trees | Georgiadis, Loukas; Tarjan, Robert E |
| Jun-2020 | Data-driven inference of representation invariants | Miltner, Anders; Padhi, Saswat; Millstein, Todd; Walker, David |
| Nov-2013 | Finding dominators via disjoint set union | Fraczak, Wojciech; Georgiadis, Loukas; Miller, Andrew; Tarjan, Robert E |
| 2015 | Hollow Heaps | Hansen, Thomas D; Kaplan, Haim; Tarjan, Robert E; Zwick, Uri |
| 2015 | Faster and More Dynamic Maximum Flow by Incremental Breadth-First Search | Goldberg, Andrew V; Hed, Sagi; Kaplan, Haim; Kohli, Pushmeet; Tarjan, Robert E, et al |