 | 2011 |
|---|
| 23 |       | Scott Hazelhurst,
Zsuzsanna Lipták:
KABOOM! A new suffix array based algorithm for clustering expression data.
Bioinformatics 27(24): 3348-3355 (2011) |
| 22 | | Scott Hazelhurst,
Yestin Johnson,
Ian Sanders:
An empirical analysis of the relationship between web usage and academic performance in undergraduate students
CoRR abs/1110.6267: (2011) |
| 2010 |
|---|
| 21 | | Scott Hazelhurst:
PH2: an hadoop-based framework for mining structural properties from the PDB database.
SAICSIT Conf. 2010: 104-112 |
| 20 | | Pierre M. Durand,
Scott Hazelhurst,
Theresa L. Coetzer:
Evolutionary rates at codon sites may be used to align sequences and infer protein domain function.
BMC Bioinformatics 11: 151 (2010) |
| 19 |  | Scott Hazelhurst:
Truth in advertising: reporting performance of computer programs, algorithms and the impact of architecture and systems environment.
South African Computer Journal 46: 24-37 (2010) |
| 2009 |
|---|
| 18 | | Barry Dwolatzky,
Jason Cohen,
Scott Hazelhurst:
Proceedings of the 2009 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT Conf. 2009, Vanderbijlpark, Emfuleni, South Africa, October 12-14, 2009
ACM 2009 |
| 2008 |
|---|
| 17 | | Scott Hazelhurst:
Scientific computing using virtual high-performance computing: a case study using the Amazon elastic computing cloud.
SAICSIT Conf. 2008: 94-103 |
| 16 | | 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) |
| 15 | | Scott Hazelhurst:
Algorithms for clustering expressed sequence tags: the wcd tool.
South African Computer Journal 40: 51-62 (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 |
Data released under the ODC-BY 1.0 license — See also our legal information page