Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
2015 | Hollow Heaps | Hansen, Thomas D; Kaplan, Haim; Tarjan, Robert E; Zwick, Uri |
2014 | Disjoint Set Union with Randomized Linking | Goel, Ashish; Khanna, Sanjeev; Larkin, Daniel H; Tarjan, Robert E |
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 |
Dec-2016 | Scaling probabilistic models of genetic variation to millions of humans | Gopalan, Prem; Hao, Wei; Blei, David M; Storey, John D |
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 |
2017 | Bioinformatics Approaches to Profile the Tumor Microenvironment for Immunotherapeutic Discovery | Clancy, Trevor; Dannenfelser, Ruth; Troyanskaya, Olga; Malmberg, Karl J; Hovig, Eivind, et al |
Jan-2014 | Deletion without rebalancing in multiway search trees | Sen, Siddhartha; Tarjan, Robert E |
Dec-2011 | Encore: low-cost, fine-grained transient fault recovery | Feng, Shuguang; Gupta, Shantanu; Ansari, Amin; Mahlke, Scott A; August, David I |
2019 | Learning to Prove Theorems via Interacting with Proof Assistants | Yang, Kaiyu; Deng, Jia |