| Tool Support for Correctness-by-Construction. | 0 | 0.34 | 2019 |
| Towards Confidentiality-by-Construction. | 0 | 0.34 | 2018 |
| Using CSP to Develop Quality Concurrent Software. | 0 | 0.34 | 2018 |
| CSP for Parallelising Brzozowski's DFA Construction Algorithm. | 0 | 0.34 | 2017 |
| Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. | 3 | 0.41 | 2016 |
| Quantum Leap Pattern Matching. | 2 | 0.36 | 2015 |
| An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata. | 0 | 0.34 | 2015 |
| Experience with correctness-by-construction. | 0 | 0.34 | 2015 |
| Using Correctness-by-Construction to Derive Dead-zone Algorithms. | 0 | 0.34 | 2014 |
| A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm. | 0 | 0.34 | 2014 |
| Weak factor automata: the failure of failure factor oracles? | 0 | 0.34 | 2014 |
| Light Beam Tracing for Multi-Bounce Specular and Glossy Transport Paths | 0 | 0.34 | 2014 |
| Empirically Assessing Algorithm Performance | 0 | 0.34 | 2014 |
| Quality in software development: a pragmatic approach using metrics. | 0 | 0.34 | 2014 |
| Refactoring With Ordered Collections Of Fine-Grain Transformations | 0 | 0.34 | 2013 |
| Efficient representation of DNA data for pattern recognition using failure factor oracles | 1 | 0.37 | 2013 |
| A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching. | 3 | 0.56 | 2012 |
| Performance assessment of dead-zone single keyword pattern matching | 2 | 0.48 | 2012 |
| Multiple Keyword Pattern Matching using Position Encoded Pattern Lattices. | 0 | 0.34 | 2012 |
| Extending Backward Polygon Beam Tracing to Glossy Scattering Surfaces. | 2 | 0.41 | 2011 |
| On Compile Time Knuth-Morris-Pratt Precomputation | 0 | 0.34 | 2011 |
| Performance of C++ bit-vector implementations | 3 | 0.41 | 2010 |
| Formal Characterizations Of Fa-Based String Processors | 0 | 0.34 | 2010 |
| A framework for benchmarking FA-based string recognizers | 0 | 0.34 | 2010 |
| Improving Automata Efficiency By Stretching And Jamming | 0 | 0.34 | 2010 |
| Thoughts on Exploiting Instability in Lattices for Assessing the Discrimination Adequacy of a Taxonomy. | 1 | 0.37 | 2010 |
| Software engineering in South Africa | 0 | 0.34 | 2010 |
| The influence of optimisations on the performance of an object relational mapping tool | 4 | 0.44 | 2009 |
| Sensitivity analysis of Voronoi-based sensor deployment and reconfiguration algorithms. | 2 | 0.38 | 2009 |
| FCA-Based Two Dimensional Pattern Matching | 1 | 0.43 | 2009 |
| An incremental algorithm to construct a lattice of set intersections | 23 | 0.78 | 2009 |
| Composite refactoring using fine-grained transformations | 0 | 0.34 | 2009 |
| On Minimizing Deterministic Tree Automata | 0 | 0.34 | 2009 |
| Building access control models with attribute exploration | 10 | 0.66 | 2009 |
| Virtual machine framework for constructing domain-specific languages | 4 | 0.51 | 2009 |
| On Regular Expression Hashing To Reduce Fa Size | 0 | 0.34 | 2008 |
| On Implementation And Performance Of Table-Driven Dfa-Based String Processors | 1 | 0.40 | 2008 |
| On Succinct Representation Of Knowledge Community Taxonomies With Formal Concept Analysis | 24 | 0.89 | 2008 |
| Server-centric Web frameworks: An overview | 14 | 0.96 | 2008 |
| Efficient Automata Constructions And Approximate Automata | 3 | 0.48 | 2008 |
| A Cross-Layer Approach Towards Efficiency Optimization of Wireless Sensor and Actor Networks | 0 | 0.34 | 2008 |
| A comparison of simulated traffic conditioner performance | 0 | 0.34 | 2008 |
| A Concurrent Specification Of An Incremental Dfa Minimisation Algorithm | 1 | 0.37 | 2008 |
| A Concurrent Specification Of Brzozowski'S Dfa Construction Algorithm | 0 | 0.34 | 2008 |
| A New CSP Operator for Optional Parallelism | 1 | 0.37 | 2008 |
| Reflections on coding standards in tertiary Computer Science education. | 0 | 0.34 | 2008 |
| An Algorithm for Ordering Refactorings Based on Fine-Grained Model Transformations | 1 | 0.36 | 2008 |
| Migrating to a real-time distributed parallel simulator architecture | 1 | 0.40 | 2007 |
| Agile software development: a contemporary philosophical perspective | 4 | 0.56 | 2007 |
| Assessment of a framework to compare software development methodologies | 7 | 0.79 | 2007 |
