Scott Hazelhurst

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

16EEScott Hazelhurst: Scientific computing using virtual high-performance computing: a case study using the Amazon elastic computing cloud. SAICSIT Conf. 2008: 94-103
15EEScott Hazelhurst, Winston Hide, Zsuzsanna Lipták, Ramon Nogueira, Richard Starfield: An overview of the wcd EST clustering tool. Bioinformatics 24(13): 1542-1546 (2008)
14EEJudith 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)
11EEScott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix: A hybrid verification approach: getting deep into the design. DAC 2002: 111-116
10EERaymond Sinnappan, Scott Hazelhurst: A Reconfigurable Approach to Packet Filtering. FPL 2001: 638-642
9EEScott Hazelhurst: A Proposal for Dynamic Access Lists for TCP/IP Packet Filering CoRR cs.NI/0110013: (2001)
8EEScott Hazelhurst: Viewpoint: Developing IT skills internationally: who's developing whom?. Commun. ACM 44(7): 27-28 (2001)
7EEScott Hazelhurst, Adi Attar, Raymond Sinnappan: Algorithms for Improving the Dependability of Firewall and Filter Rule Lists. DSN 2000: 576-585
6EEScott Hazelhurst: Algorithms for Analysing Firewall and Router Access Lists CoRR cs.NI/0008006: (2000)
5EEYinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller: Development of a Decentralized Virtual Service Redirector for Internet Applications. FTDCS 1999: 235-241
4EEScott 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)
3 Scott Hazelhurst, Carl-Johan H. Seger: Symbolic Trajectory Evaluation. Formal Hardware Verification 1997: 3-78
2EEScott 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)
1 Scott Hazelhurst, Carl-Johan H. Seger: Composing Symbolic Trajectory Evaluation Results. CAV 1994: 273-285

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)