Scott Huddleston

According to our database1, Scott Huddleston
  • authored at least 3 papers between 1981 and 2005.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2005
SAT-based Induction for Temporal Safety Properties.
Electr. Notes Theor. Comput. Sci., 2005

1982
A New Data Structure for Representing Sorted Lists.
Acta Inf., 1982

1981
Robust Balancing in B-Trees.
Proceedings of the Theoretical Computer Science, 1981


  Loading...