Scott Huddleston

Publication Activity (10 Years)

Years Active: 1981-2019
Publications (10 Years): 1

Top Topics

Column Oriented

Multiresolution

Image Sequences

Top Venues

Publications

William Gasarch, Scott Huddleston, Erik Metz, Jacob Prinz
Guest Column: The Muffin Problem. SIGACT News 50 (2) (2019)
Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
SAT-based Induction for Temporal Safety Properties. Electron. Notes Theor. Comput. Sci. 119 (2) (2005)
Scott Huddleston, Kurt Mehlhorn
A New Data Structure for Representing Sorted Lists. Acta Informatica 17 (1982)
Scott Huddleston, Kurt Mehlhorn
Robust Balancing in B-Trees. Theoretical Computer Science (1981)