Statistics
Publications
2
Citations
217
H-Index
2
Active since
1982
Affiliations
University of California, Irvine(Current)
Scott Huddleston is an author at University of California, Irvine specializing in computer science, computing, and interactive proof systems.
Publications per year
1982–2005
2
2
A new data structure for representing sorted lists
Scott Huddleston, Kurt Mehlhorn · Acta Informatica · 1982 · 187 citations
SAT-based Induction for Temporal Safety Properties
Roy Armoni, Limor Fix, Ranan Fraer et al. · Electronic Notes in Theoretical Computer Science · 2005 · 30 citations · Full text
1–2 of 2