2008 |
16 | EE | Scott Hazelhurst:
Scientific computing using virtual high-performance computing: a case study using the Amazon elastic computing cloud.
SAICSIT Conf. 2008: 94-103 |
15 | EE | 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 | EE | 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 | EE | Scott Hazelhurst,
Osnat Weissberg,
Gila Kamhi,
Limor Fix:
A hybrid verification approach: getting deep into the design.
DAC 2002: 111-116 |
2001 |
10 | EE | Raymond Sinnappan,
Scott Hazelhurst:
A Reconfigurable Approach to Packet Filtering.
FPL 2001: 638-642 |
9 | EE | Scott Hazelhurst:
A Proposal for Dynamic Access Lists for TCP/IP Packet Filering
CoRR cs.NI/0110013: (2001) |
8 | EE | Scott Hazelhurst:
Viewpoint: Developing IT skills internationally: who's developing whom?.
Commun. ACM 44(7): 27-28 (2001) |
2000 |
7 | EE | Scott Hazelhurst,
Adi Attar,
Raymond Sinnappan:
Algorithms for Improving the Dependability of Firewall and Filter Rule Lists.
DSN 2000: 576-585 |
6 | EE | Scott Hazelhurst:
Algorithms for Analysing Firewall and Router Access Lists
CoRR cs.NI/0008006: (2000) |
1999 |
5 | EE | 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 | EE | 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 | EE | 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 |