The Design and Use of a Prolog Trace Generator for CSP. - Derrick G. Kourie (Softw. Pract. Exp., 1987)

Sentence Analysis Using a Concept Lattice. - Lebelo Serutla; Derrick G. Kourie (AMTA, 1998)

Issues in Translating Smalltalk into Java. - R. L. Engelbrecht; Derrick G. Kourie (CC, 1998)

Lattices in Machine Learning: Complexity Issues. - Derrick G. Kourie; G. Deon Oosthuizen (Acta Informatica, 1998)

Software testing using model programs. - L. I. Manolache; Derrick G. Kourie (Softw. Pract. Exp., 2001)

Compressed pseudo-lattices. - F. J. Van Der Merwe; Derrick G. Kourie (J. Exp. Theor. Artif. Intell., 2002)

Editorial notes. - Derrick G. Kourie (South Afr. Comput. J., 2002)

Preliminary Experiments in Hardcoding Finite Automata. - Ernest Ketcha Ngassam; Bruce W. Watson; Derrick G. Kourie (CIAA, 2003)

Translating smalltalk blocks into Java. - R. L. Engelbrecht; Derrick G. Kourie (IEE Proc. Softw., 2003)

AddIntent: A New Incremental Algorithm for Constructing Concept Lattices. - Dean van der Merwe; Sergei A. Obiedkov; Derrick G. Kourie (ICFCA, 2004)

Literate Programming to Enhance Agile Methods. - Vreda Pieterse; Derrick G. Kourie; Andrew Boake (XP, 2004)

Taxonomy of directed graph representations. - Gabor Barla-Szabo; Bruce W. Watson; Derrick G. Kourie (IEE Proc. Softw., 2004)

Foiling an Attack - Defeating IPSec Tunnel Fingerprinting. - Vafa D. Izadinia; Jan H. P. Eloff; Derrick G. Kourie (ISSA, 2005)

Reordering finite automata states for fast string recognition. - Ernest Ketcha Ngassam; Derrick G. Kourie; Bruce W. Watson (Stringology, 2005)

A framework for the dynamic implementation of finite automata for performance enhancement. - Ernest Ketcha Ngassam; Bruce W. Watson; Derrick G. Kourie (Int. J. Found. Comput. Sci., 2005)

Editorial. - Derrick G. Kourie (South Afr. Comput. J., 2005)

Refactoring Tools and Complementary Techniques. - Martin Drozdz; Derrick G. Kourie; Bruce W. Watson; Andrew Boake (AICCSA, 2006)

Towards Concise Representation for Taxonomies of Epistemic Communities. - Camille Roth; Sergei A. Obiedkov; Derrick G. Kourie (CLA, 2006)

Karl Popper's Critical Rationalism in Agile Software Development. - Mandy Northover; Andrew Boake; Derrick G. Kourie (ICCS, 2006)

On Lattices in Access Control Models. - Sergei A. Obiedkov; Derrick G. Kourie; Jan H. P. Eloff (ICCS, 2006)

Logical Traffic Isolation Using Differentiated Services. - Tinus Strauss; Martin S. Olivier; Derrick G. Kourie (IFIP Int. Conf. Digital Forensics, 2006)

FireµSat: An algorithm to detect microsatellites in DNA. - Corné de Ridder; Derrick G. Kourie; Bruce W. Watson (Stringology, 2006)

Uncovering identities: A study into VPN tunnel fingerprinting. - Vafa D. Izadinia; Derrick G. Kourie; Jan H. P. Eloff (Comput. Secur., 2006)

Dynamic Allocation of Finite Automata States for Fast String Recognition. - Ernest Ketcha Ngassam; Bruce W. Watson; Derrick G. Kourie (Int. J. Found. Comput. Sci., 2006)

TABASCO: using concept-based taxonomies in domain engineering. - Loek G. Cleophas; Bruce W. Watson; Derrick G. Kourie; Andrew Boake; Sergei A. Obiedkov (South Afr. Comput. J., 2006)

Editorial introduction to special ARIMA / SACJ joint issue on advances in end-user data mining techniques. - Sadok Ben Yahia; Derrick G. Kourie; Engelbert Mephu Nguifo (South Afr. Comput. J., 2006)

Performance of hardcoded finite automata. - Ernest Ketcha Ngassam; Derrick G. Kourie; Bruce W. Watson (Softw. Pract. Exp., 2006)

Corporate-, Agile- and Open Source Software Development: A Witch's Brew or An Elixir of Life?. - Morkel Theunissen; Derrick G. Kourie; Andrew Boake (CEE-SET, 2007)

Assessment of a framework to compare software development methodologies. - Riaan Klopper; Stefan Gruner; Derrick G. Kourie (SAICSIT, 2007)

Agile software development: a contemporary philosophical perspective. - Mandy Northover; Alan Northover; Stefan Gruner; Derrick G. Kourie; Andrew Boake (SAICSIT, 2007)

Migrating to a real-time distributed parallel simulator architecture. - Bernardt Duvenhage; Derrick G. Kourie (SCSC, 2007)

A Word Game Support Tool Case Study. - T. Botha; Derrick G. Kourie; Bruce W. Watson (ARIMA J., 2007)

A Cross-Layer Approach Towards Efficiency Optimization of Wireless Sensor and Actor Networks. - Eckhard B. Kohlmeyer; Gerhard P. Hancke 001; Derrick G. Kourie (BroadCom, 2008)

A New CSP Operator for Optional Parallelism. - Stefan Gruner; Derrick G. Kourie; Markus Roggenbach; Tinus Strauss; Bruce W. Watson (CSSE (2), 2008)

An Algorithm for Ordering Refactorings Based on Fine-Grained Model Transformations. - Emmad Saadeh; Derrick G. Kourie; Andrew Boake (SoMeT, 2008)

A Concurrent Specification of an Incremental DFA Minimisation Algorithm. - Tinus Strauss; Derrick G. Kourie; Bruce W. Watson (Stringology, 2008)

A comparison of simulated traffic conditioner performance. - Tinus Strauss; Derrick G. Kourie; Martin S. Olivier (Comput. Commun., 2008)

Server-centric Web frameworks: An overview. - Iwan Vosloo; Derrick G. Kourie (ACM Comput. Surv., 2008)

On Implementation and Performance of Table-Driven DFA-Based String Processors. - Ernest Ketcha Ngassam; Derrick G. Kourie; Bruce W. Watson (Int. J. Found. Comput. Sci., 2008)

On Succinct Representation of Knowledge Community Taxonomies with Formal Concept Analysis. - Camille Roth; Sergei A. Obiedkov; Derrick G. Kourie (Int. J. Found. Comput. Sci., 2008)

A Concurrent Specification of Brzozowski's DFA Construction Algorithm. - Tinus Strauss; Derrick G. Kourie; Bruce W. Watson (Int. J. Found. Comput. Sci., 2008)

Efficient Automata Constructions and Approximate Automata. - Bruce W. Watson; Derrick G. Kourie; Tinus Strauss; Ernest Ketcha Ngassam; Loek G. Cleophas (Int. J. Found. Comput. Sci., 2008)

FCA-Based Two Dimensional Pattern Matching. - Fritz Venter; Derrick G. Kourie; Bruce W. Watson (ICFCA, 2009)

Composite refactoring using fine-grained transformations. - Emmad Saadeh; Derrick G. Kourie (SAICSIT, 2009)

The influence of optimisations on the performance of an object relational mapping tool. - Pieter van Zyl; Derrick G. Kourie; Louis Coetzee; Andrew Boake (SAICSIT, 2009)

On Minimizing Deterministic Tree Automata. - Loek G. Cleophas; Derrick G. Kourie; Tinus Strauss; Bruce W. Watson (Stringology, 2009)

Building access control models with attribute exploration. - Sergei A. Obiedkov; Derrick G. Kourie; Jan H. P. Eloff (Comput. Secur., 2009)

Virtual machine framework for constructing domain-specific languages. - Derrick G. Kourie; D. Fick; Bruce W. Watson (IET Softw., 2009)

On Regular Expression Hashing to Reduce FA Size. - Wikus Coetser; Derrick G. Kourie; Bruce W. Watson (Int. J. Found. Comput. Sci., 2009)

Sensitivity analysis of Voronoi-based sensor deployment and reconfiguration algorithms. - Gareth Nicholls; Derrick G. Kourie; Tinus Strauss (South Afr. Comput. J., 2009)

An incremental algorithm to construct a lattice of set intersections. - Derrick G. Kourie; Sergei A. Obiedkov; Bruce W. Watson; Dean van der Merwe (Sci. Comput. Program., 2009)

Exploring the use of glossy light volumes for interactive global illumination. - Bernardt Duvenhage; Kadi Bouatouch; Derrick G. Kourie (Afrigraph, 2010)

Thoughts on Exploiting Instability in Lattices for Assessing the Discrimination Adequacy of a Taxonomy. - Antony K. Cooper; Derrick G. Kourie; Serena Coetzee (CLA, 2010)

Software engineering in South Africa. - Derrick G. Kourie; Bruce W. Watson (ICSE (2), 2010)

Deriving a digraph isomorphism for digraph compliance measurement. - Linda Marshall; Derrick G. Kourie (SAICSIT, 2010)

A framework for benchmarking FA-based string recognizers. - Ernest Ketcha Ngassam; Derrick G. Kourie; Bruce W. Watson (SAICSIT, 2010)

Performance of C++ bit-vector implementations. - Vreda Pieterse; Derrick G. Kourie; Loek G. Cleophas; Bruce W. Watson (SAICSIT, 2010)

Improving Automata Efficiency by Stretching and Jamming. - Noud de Beijer; Loek G. Cleophas; Derrick G. Kourie; Bruce W. Watson (Stringology, 2010)

Formal Characterizations of FA-based String Processors. - Ernest Ketcha Ngassam; Bruce W. Watson; Derrick G. Kourie (Stringology, 2010)

A security privacy aware architecture and protocol for a single smart card used for multiple services. - A. Maciej Rossudowski; Hein S. Venter; Jan H. P. Eloff; Derrick G. Kourie (Comput. Secur., 2010)

On Compile Time Knuth-Morris-Pratt Precomputation. - Derrick G. Kourie; Bruce W. Watson; Loek G. Cleophas (Stringology, 2011)

Extending Backward Polygon Beam Tracing to Glossy Scattering Surfaces. - Bernardt Duvenhage; Kadi Bouatouch; Derrick G. Kourie (Comput. Graph. Forum, 2011)

The Correctness-by-Construction Approach to Programming. - Derrick G. Kourie; Bruce W. Watson (Springer, 2012)

Multiple Keyword Pattern Matching using Position Encoded Pattern Lattices. - Fritz Venter; Bruce W. Watson; Derrick G. Kourie (CLA, 2012)

A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching. - Bruce W. Watson; Derrick G. Kourie; Tinus Strauss (IWOCA, 2012)

Performance assessment of dead-zone single keyword pattern matching. - Melanie Mauch; Derrick G. Kourie; Bruce W. Watson; Tinus Strauss (SAICSIT, 2012)

Failure Deterministic Finite Automata. - Derrick G. Kourie; Bruce W. Watson; Loek G. Cleophas; Fritz Venter (Stringology, 2012)

An algorithm for mapping short reads to a dynamically changing genomic sequence. - Costas S. Iliopoulos; Derrick G. Kourie; Laurent Mouchard; Themba K. Musombuka; Solon P. Pissis; Corné de Ridder (J. Discrete Algorithms, 2012)

Efficient representation of DNA data for pattern recognition using failure factor oracles. - Loek G. Cleophas; Derrick G. Kourie; Bruce W. Watson (SAICSIT, 2013)

Numerical verification of bidirectional reflectance distribution functions for physical plausibility. - Bernardt Duvenhage; Kadi Bouatouch; Derrick G. Kourie (SAICSIT, 2013)

Weak Factor Automata: Comparing (Failure) Oracles and Storacles. - Loek G. Cleophas; Derrick G. Kourie; Bruce W. Watson (Stringology, 2013)

Refactoring with Ordered Collections of Fine-Grain Transformations. - Emmad Saadeh; Derrick G. Kourie (Int. J. Softw. Eng. Knowl. Eng., 2013)

Fine-tuning the search for microsatellites. - Corné de Ridder; Derrick G. Kourie; Bruce W. Watson; T. R. Fourie; P. V. Reyneke (J. Discrete Algorithms, 2013)

Light Beam Tracing for Multi-Bounce Specular and Glossy Transport Paths. - Bernardt Duvenhage; Kadi Bouatouch; Derrick G. Kourie (SAICSIT, 2014)

Empirically Assessing Algorithm Performance. - Derrick G. Kourie; Bruce W. Watson; Tinus Strauss; Loek G. Cleophas; Melanie Mauch (SAICSIT, 2014)

A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm. - Tinus Strauss; Derrick G. Kourie; Bruce W. Watson; Loek G. Cleophas (Stringology, 2014)

Using Correctness-by-Construction to Derive Dead-zone Algorithms. - Bruce W. Watson; Loek G. Cleophas; Derrick G. Kourie (Stringology, 2014)

Quality in software development: a pragmatic approach using metrics. - Daniel Acton; Derrick G. Kourie; Bruce W. Watson (South Afr. Comput. J., 2014)

Weak factor automata: the failure of failure factor oracles? - Loek G. Cleophas; Derrick G. Kourie; Bruce W. Watson (South Afr. Comput. J., 2014)

An Aho-Corasick Based Assessment of Algorithms Generating Failure Deterministic Finite Automata. - Madoda Nxumalo; Derrick G. Kourie; Loek G. Cleophas; Bruce W. Watson (CLA, 2015)

Quantum Leap Pattern Matching. - Bruce W. Watson; Derrick G. Kourie; Loek G. Cleophas (Stringology, 2015)

Experience with correctness-by-construction. - Bruce W. Watson; Derrick G. Kourie; Loek G. Cleophas (Sci. Comput. Program., 2015)

Correctness-by-Construction wedge Taxonomies Rightarrow Deep Comprehension of Algorithm Families. - Loek Cleophas; Derrick G. Kourie; Vreda Pieterse; Ina Schaefer; Bruce W. Watson (ISoLA (1), 2016)

Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? - Bruce W. Watson; Derrick G. Kourie; Ina Schaefer; Loek Cleophas (ISoLA (1), 2016)

CSP for Parallelising Brzozowski's DFA Construction Algorithm. - Tinus Strauss; Bruce W. Watson; Derrick G. Kourie; Loek Cleophas (The Role of Theory in Computer Science, 2017)

An Assessment of Algorithms for Deriving Failure Deterministic Finite Automata. - Madoda Nxumalo; Derrick G. Kourie; Loek Cleophas; Bruce W. Watson (South Afr. Comput. J., 2017)

Using CSP to Develop Quality Concurrent Software. - Derrick G. Kourie; Tinus Strauss; Loek Cleophas; Bruce W. Watson (Principled Software Development, 2018)

Towards Confidentiality-by-Construction. - Ina Schaefer; Tobias Runge; Alexander Knüppel; Loek Cleophas; Derrick G. Kourie; Bruce W. Watson (ISoLA (1), 2018)

Tool Support for Correctness-by-Construction. - Tobias Runge; Ina Schaefer; Loek Cleophas; Thomas Thüm; Derrick G. Kourie; Bruce W. Watson (Software Engineering, 2021)