Scott Hazelhurst

According to our database1, Scott Hazelhurst authored at least 29 papers between 1988 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Assessing computational genomics skills: Our experience in the H3ABioNet African bioinformatics network.
PLoS Computational Biology, 2017

2016
The Development of Computational Biology in South Africa: Successes Achieved and Lessons Learnt.
PLoS Computational Biology, 2016

2015
Robust sequence alignment using evolutionary rates coupled with an amino acid substitution matrix.
BMC Bioinformatics, 2015

SpeeDB: fast structural protein searches.
Bioinformatics, 2015

EvoDB: a database of evolutionary rate profiles, associated protein domains and phylogenetic trees for PFAM-A.
Database, 2015

NFShunt: A Linux firewall with OpenFlow-enabled hardware bypass.
Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2015

2011
An empirical analysis of the relationship between web usage and academic performance in undergraduate students
CoRR, 2011

KABOOM! A new suffix array based algorithm for clustering expression data.
Bioinformatics, 2011

2010
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

2008
Algorithms for clustering expressed sequence tags: the wcd tool.
South African Computer Journal, 2008

An overview of the wcd EST clustering tool.
Bioinformatics, 2008

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

2004
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

2002
A hybrid verification approach: getting deep into the design.
Proceedings of the 39th Design Automation Conference, 2002

2001
A Proposal for Dynamic Access Lists for TCP/IP Packet Filering
CoRR, 2001

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

2000
Algorithms for Analysing Firewall and Router Access Lists
CoRR, 2000

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

1999
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

1997
Symbolic Trajectory Evaluation.
Proceedings of the Formal Hardware Verification - Methods and Systems in Comparison, 1997

1995
A simple theorem prover based on symbolic trajectory evaluation and BDD's.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1995

1994
Composing Symbolic Trajectory Evaluation Results.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1988
Computer scientists and South Africa.
SIGCAS Computers and Society, 1988


  Loading...