Scott Huddleston

	2005
3		Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi: SAT-based Induction for Temporal Safety Properties. Electr. Notes Theor. Comput. Sci. 119(2): 3-16 (2005)
	1982
2		Scott Huddleston, Kurt Mehlhorn: A New Data Structure for Representing Sorted Lists. Acta Inf. 17: 157-184 (1982)
	1981
1		Scott Huddleston, Kurt Mehlhorn: Robust Balancing in B-Trees. Theoretical Computer Science 1981: 234-244

Coauthor Index

1	Roy Armoni	[3]
2	Limor Fix	[3]
3	Ranan Fraer	[3]
4	Kurt Mehlhorn	[1] [2]
5	Nir Piterman	[3]
6	Moshe Y. Vardi	[3]

Colors in the list of coauthors