Galois Inc
Authors at This Institution
Listed authors are those whose most frequent affiliation is this institution.
Showing 1 of 1 authors.
| Rank | Author | Pagerank | Papers |
|---|---|---|---|
| 5,079 | William Harris | 0.016417369 | 2 |
Previous
Page 1 / 1
Next
Papers with at Least One Affiliated Author
Showing 2 of 2 papers, sorted by pagerank.
| Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,327 | Automated Verification of Query Equivalence Using Satisfiability Modulo Theories | 2019 | VLDB | 7.518491e-05 |
| 6,031 | Sia: Optimizing Queries using Learned Predicates | 2021 | SIGMOD | 6.0007422e-05 |
Previous
Page 1 / 1
Next