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,213 | William Harris | 0.01628733 | 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,297 | Automated Verification of Query Equivalence Using Satisfiability Modulo Theories | 2019 | VLDB | 7.4421962e-05 |
| 6,149 | Sia: Optimizing Queries using Learned Predicates | 2021 | SIGMOD | 5.8683464e-05 |
Previous
Page 1 / 1
Next