Scott Hazelhurst

	2008
16		Scott Hazelhurst: Scientific computing using virtual high-performance computing: a case study using the Amazon elastic computing cloud. SAICSIT Conf. 2008: 94-103
15		Scott Hazelhurst, Winston Hide, Zsuzsanna Lipták, Ramon Nogueira, Richard Starfield: An overview of the wcd EST clustering tool. Bioinformatics 24(13): 1542-1546 (2008)
	2004
14		Judith Zimmermann, Zsuzsanna Lipták, Scott Hazelhurst: A Method for Evaluating the Quality of String Dissimilarity Measures and Clustering Algorithms for EST Clustering. BIBE 2004: 301-309
13		Scott Hazelhurst: Generating and model checking a hierarchy of abstract models. South African Computer Journal 32: 53-68 (2004)
12		Scott Hazelhurst: Semantics, implementation and performance of dynamic access lists for TCP/IP packet filtering. South African Computer Journal 33: 38-51 (2004)
	2002
11		Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix: A hybrid verification approach: getting deep into the design. DAC 2002: 111-116
	2001
10		Raymond Sinnappan, Scott Hazelhurst: A Reconfigurable Approach to Packet Filtering. FPL 2001: 638-642
9		Scott Hazelhurst: A Proposal for Dynamic Access Lists for TCP/IP Packet Filering CoRR cs.NI/0110013: (2001)
8		Scott Hazelhurst: Viewpoint: Developing IT skills internationally: who's developing whom?. Commun. ACM 44(7): 27-28 (2001)
	2000
7		Scott Hazelhurst, Adi Attar, Raymond Sinnappan: Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. DSN 2000: 576-585
6		Scott Hazelhurst: Algorithms for Analysing Firewall and Router Access Lists CoRR cs.NI/0008006: (2000)
	1999
5		Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller: Development of a Decentralized Virtual Service Redirector for Internet Applications. FTDCS 1999: 235-241
4		Scott Hazelhurst, Carl-Johan H. Seger: Model Checking Lattices: Using and reasoning about information orders for abstraction. Logic Journal of the IGPL 7(3): 375-411 (1999)
	1997
3		Scott Hazelhurst, Carl-Johan H. Seger: Symbolic Trajectory Evaluation. Formal Hardware Verification 1997: 3-78
	1995
2		Scott Hazelhurst, Carl-Johan H. Seger: A simple theorem prover based on symbolic trajectory evaluation and BDD's. IEEE Trans. on CAD of Integrated Circuits and Systems 14(4): 413-422 (1995)
	1994
1		Scott Hazelhurst, Carl-Johan H. Seger: Composing Symbolic Trajectory Evaluation Results. CAV 1994: 273-285

Coauthor Index

1	Adi Attar	[7]
2	Yinong Chen	[5]
3	Limor Fix	[11]
4	Vashti Galpin (Vashti C. Galpin)	[5]
5	Winston Hide (Winston A. Hide)	[15]
6	Gila Kamhi	[11]
7	Zsuzsanna Lipták	[14] [15]
8	Roger Mateer	[5]
9	Conrad Mueller	[5]
10	Ramon Nogueira	[15]
11	Carl-Johan H. Seger	[1] [2] [3] [4]
12	Raymond Sinnappan	[7] [10]
13	Richard Starfield	[15]
14	Osnat Weissberg	[11]
15	Judith Zimmermann	[14]

Colors in the list of coauthors