Alex Hixon
Identifiers
No identifiers captured yet.
Papers (2)
- Prospects of detecting the nonlinear gravitational wave memory gr-qc · 2018 · author #4
- COGENT: Certified Compilation for a Functional Systems Language cs.PL · 2016 · author #8
Mentions
No mention provenance yet.
Frequent Coauthors
- Aaron D. Johnson 1 shared papers
- Andrew Osborne 1 shared papers
- Christine Rizkallah 1 shared papers
- Daniel Kennefick 1 shared papers
- Gabriele Keller 1 shared papers
- Gerwin Klein 1 shared papers
- Japheth Lim 1 shared papers
- Liam O'Connor 1 shared papers
- Shasvath J. Kapadia 1 shared papers
- Sidney Amani 1 shared papers
- Thomas Sewell 1 shared papers
- Toby Murray 1 shared papers
- Yutaka Nagashima 1 shared papers
- Zilin Chen 1 shared papers