Scott Huddleston

According to our database¹, Scott Huddleston authored at least 4 papers between 1981 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2019

Guest Column: The Muffin Problem.

[BibT_eX]

[DOI]

SIGACT News, 2019

2004

SAT-based Induction for Temporal Safety Properties.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004

1982

A New Data Structure for Representing Sorted Lists.

[BibT_eX]

[DOI]

Scott Huddleston

Kurt Mehlhorn

Acta Informatica, 1982

1981

Robust Balancing in B-Trees.

[BibT_eX]

[DOI]

Scott Huddleston

Kurt Mehlhorn

Proceedings of the Theoretical Computer Science, 1981

Scott Huddleston

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...