Lindsay Allen

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 3

Top Topics

Space Complexity

Laser Range Scanner

Top Venues

Medical Imaging: Image-Guided Procedures

IEEE Trans. Aerosp. Electron. Syst.

Publications

Kiernan Compy, Alana Evey, Hunter McCullough, Lindsay Allen, Aaron S. Crandall
An Upper Bound on the State-Space Complexity of Brandubh. CoRR (2021)
Kiernan Compy, Alana Evey, Hunter McCullough, Lindsay Allen, Aaron S. Crandall
An Upper Bound on the State-Space Complexity of Brandubh. CoG (2020)
Johannes Gehrke, Lindsay Allen, Panagiotis Antonopoulos, Arvind Arasu, Joachim Hammer, James Hunter, Raghav Kaushik, Donald Kossmann, Ravi Ramamurthy, Srinath T. V. Setty, Jakub Szymaszek, Alexander van Renen, Jonathan Lee, Ramarathnam Venkatesan
Veritas: Shared Verifiable Databases and Tables in the Cloud. CIDR (2019)
Lindsay Allen, Ariane Chepko, Theodore L. Beach, Odile Clavier
Algorithms for accurate LEO geomagnetic measurements with satellite-mounted magnetometers. IEEE Trans. Aerosp. Electron. Syst. 50 (4) (2014)
Eric Friets, Jerry Bieszczad, David Kynor, James A. Norris, Brynmor J. Davis, Lindsay Allen, Robert D. Chambers, Jacob Wolf, Courtenay L. Glisson, S. Duke Herrell, Robert L. Galloway
Endoscopic laser range scanner for minimally invasive, image guided kidney surgery. Medical Imaging: Image-Guided Procedures (2013)