According to our database1, Scott Hazelhurst authored at least 27 papers between 1988 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Developing reproducible bioinformatics analysis workflows for heterogeneous computing environments to support African genomics.
BMC Bioinformatics, 2018
Assessing computational genomics skills: Our experience in the H3ABioNet African bioinformatics network.
PLoS Computational Biology, 2017
The Development of Computational Biology in South Africa: Successes Achieved and Lessons Learnt.
PLoS Computational Biology, 2016
Robust sequence alignment using evolutionary rates coupled with an amino acid substitution matrix.
BMC Bioinformatics, 2015
SpeeDB: fast structural protein searches.
EvoDB: a database of evolutionary rate profiles, associated protein domains and phylogenetic trees for PFAM-A.
NFShunt: A Linux firewall with OpenFlow-enabled hardware bypass.
Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2015
KABOOM! A new suffix array based algorithm for clustering expression data.
Truth in advertising: reporting performance of computer programs, algorithms and the impact of architecture and systems environment.
South African Computer Journal, 2010
Evolutionary rates at codon sites may be used to align sequences and infer protein domain function.
BMC Bioinformatics, 2010
PH2: an hadoop-based framework for mining structural properties from the PDB database.
Proceedings of the 2010 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2010
Algorithms for clustering expressed sequence tags: the wcd tool.
South African Computer Journal, 2008
An overview of the wcd EST clustering tool.
Scientific computing using virtual high-performance computing: a case study using the Amazon elastic computing cloud.
Proceedings of the 2008 Annual Conference of the South African Institute of Computer Scientists and Information Technologists on IT Research in Developing Countries, 2008
Generating and model checking a hierarchy of abstract models.
South African Computer Journal, 2004
Semantics, implementation and performance of dynamic access lists for TCP/IP packet filtering.
South African Computer Journal, 2004
A Method for Evaluating the Quality of String Dissimilarity Measures and Clustering Algorithms for EST Clustering.
Proceedings of the 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 2004
A hybrid verification approach: getting deep into the design.
Proceedings of the 39th Design Automation Conference, 2002
Viewpoint: Developing IT skills internationally: who's developing whom?.
Commun. ACM, 2001
A Reconfigurable Approach to Packet Filtering.
Proceedings of the Field-Programmable Logic and Applications, 2001
Algorithms for Improving the Dependability of Firewall and Filter Rule Lists.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
Model Checking Lattices: Using and reasoning about information orders for abstraction.
Logic Journal of the IGPL, 1999
Development of a Decentralized Virtual Service Redirector for Internet Applications.
Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999
Symbolic Trajectory Evaluation.
Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997
A simple theorem prover based on symbolic trajectory evaluation and BDD's.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1995
Composing Symbolic Trajectory Evaluation Results.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
Computer scientists and South Africa.
SIGCAS Computers and Society, 1988