Skip to main content
- Bagula, BA
- Cloete, I (Prof)
- Ackerman, C
- de Villiers PJA (Prof)
- de Villiers H (Dr)
- Dodds, RMcD
- Du Toit, C
- Eloff, J
- Engelbrecht, JA
- Geldenhuys, J (Prof)
- Gouws, EH (Dr)
- Hayter, J
- Hoffmann, M (Dr)
- Lezar, E
- Ludik, J (Dr)
- Omlin, CW (Dr)
- Scheffler, K (Prof)
- Uys, JB
- Van Deventer, MH
- Van der Walt, APJ (Prof)
2025
2023
2022
2020
2019
2018
2017
2012
1999
- Viktor, HL: Learning by Cooperation: An Approach to Rule Induction and Knowledge Fusion, 1999
- Theron, PZ: Automatic Acquisition of Two-Level Morphological Rules, 1999
- Ewert, SG: Random Context Picture Grammars, 1999
- Engelbrecht, AP: Sensitivity Analysis of Multilayer Neural Networks, 1999
- De Villiers, PJA: Validation of a Microkernel: A Case Study, 1999
1997
1994
2024
- Miller, GD: Constructing a Knowledge Graph from an Institutional Repository, 2024
- Brand, K: Applied machine learning for radio galaxy classification and anomalous source detection, 2024
- Strelitz, BS: Particle swarm optimization for constrained multimodal function optimization, 2024
- Nakiranda, P: Building identification in aerial imagery using deep learning, 2024
- Lang, RD: Landscape analysis-based automated algorithm selection, 2024
- Kane, BR: Ergo: a gesture-based computer interaction device, 2024
- Du Toit, J: Hierarchical text classification with transformer-based language models, 2024
- Dewey, MG: Large language models and software testing, 2024
2023
- Van Zyl, J-P: Rule Induction with Swarm Intelligence, 2023
- Van Zyl, C: Implementation of the Cavalieri Integral, 2023
- Mouton, J: Integrating Bayesian network structure into normalizing flows and variational autoencoders, 2023
- Jackson, J: Solidifying what is known about calibration artefacts and the development of an educational tool to assist in the teaching of interferometric imaging, 2023
- Dreyer, A: Using transformers to assign ICD codes to medical notes, 2023
2022
- Van Litsenborgh, PS: An investigation into performance-related issues of regular expression matching, 2022
- Rossouw, CJ: Coverage directed algorithms for test suite construction from LR-automata, 2022
- Habeck, M: The generation of longest optimal box repetition-free words, 2022
- Burger, CN: An extension of the linear regression model for improved vessel trajectory prediction utilising a priori AIS Information, 2022
- Bekcer, AB: Application of statistical pattern recognition and deep learning for morphological classification in radio astronomy, 2022
2021
- Mohamed, Z: Explaining neural networks used for modeling credit risk, 2021
- Steenkamp, C: Multi-guide particle swarm optimization for many-objective optimization problems, 2021
- Erwin, KH: Set-based particle swarm optimization for portfolio optimization, 2021
- Strydom, S: Automatic assignment of diagnosis codes to free-form text medical notes, 2021
- Van Biljon, E: Initialisation of noise-regularised neural networks, 2021
- Steyl, CC: A deep framework for predictive maintenance, 2021
- Du Toit, N: Concrete and symbolic linearisability checking of non-blocking concurrent data structures, 2021
2020
2019
2018
- Martin, JJ: Creating 3D models using reconstruction techniques, 2018
- Schreiber, S: Texture synthesis with neural networks, 2018
- Thom, JD: Combining tree kernels and text embeddings for plagiarism detection, 2018
- Breytenbach, JA: Design and evaluation of a formula cache for SMT-based bounded model checking tools, 2018
- Wiehman, S: Investigating fully convolutional networks for bio-image segmentation, 2018
- Esterhuizen, MH: Test case generation for context free grammars, 2018
2017
2016
2015
2014
2013
- Uwimbabazi, A: Extended Probabilistic Symbolic Execution, 2013
- Theron, PJ: Criteria for the Evaluation of Private Cloud Computing, 2013
- Rajaona, SF: An Algebraic Framework for Reasoning About Security, 2013
- Durant, K: Investigating the Non-termination of Affine Loops, 2013
- De Villiers, PF: Constructing Topic-Based Twitter Lists, 2013
- Buys, JM: Probabilistic Tree Transducers for Grammatical Error Correction, 2013
- Bester, WHK: Bug-Finding and Test Case Generation for Java Programs by Symbolic Execution, 2013
2012
- Venter, WJ: An Embodied Conversational Agent with Autistic Behaviour, 2012
- Redelinghuys, GJ-W: Symbolic String Execution, 2012
- Kruger, PJH: Cellphone Banking at the Bottom of the Pyramid, 2012
- Huysamen, NF: FATKID: A Finite Automaton Toolkit, 2012
- Goldberg, AS: Investigating Credit Based Mechanisms for Enhancing Performance in Wireless Ad Hoc Networks, 2012
- Botha, SG: The Effect of Evolutionary Rate Estimation Methods on Correlations Observed Between Substitution Rates in Models of Evolution, 2012
- Bezuidenhout, JA: Automated Program Generation: Bridging the Gap Between Model and Implementation, 2012
2011
- Msiska, MF: A Visual Programming Environment for Authoring ASD Therapy Tools, 2011
- Minoarivelo, HO: Probabilistic Modelling of the Evolution of Ecological Interaction Networks, 2011
- Kassa, DF: Analytic Models of TCP Performance, 2011
- Hayward, PJ: Parallel Likelihood Calculations for Phylogenetic Trees, 2011
- Botha, LW: Modeling Online Social Networks Using Quasi-Clique Communities, 2011
- Bergh, JR: Ontology Comprehension, 2011
- Adams, RC: Implementation of Cell Clustering in Cellular Automata, 2011
2010
- Schulze, W: A Formal Language Theory Approach to Music Generation, 2010
- Odendaal, MJ: Business Process Modelling Using Model Checking and the Theory of Constraints, 2010
- Fath Elrahman, TM: QoS Routing in IP Networks Using Multi-Constrained Computational Methods, 2010
- Fasan, MO: Distributed Binary Decision Diagrams, 2010
- Boulkaibet, I: Modelling Collaborative Motion in Mobile Ad Hoc Networks, 2010
2009
- Stapelberg, D: Link Failure Recovery Among Dynamic Routes in Telecommunication Networks, 2009
- Kriek, AM: RoboCup Formation Modeling, 2009
- Greeff, GJ: Interactive Voxel Terrain Design Using Procedural Techniques, 2009
- Fourie, JF: Reducing Communication in Distributed Model Checking, 2009
- Crous, CB: Autonomous Robot Path Planning, 2009
- Chamberlain, ME: A 3D Virtual Environment Development Platform for ASD Therapy Tools, 2009
2008
2007
- Welgemoed, Johan: A Prototype System for Machine Translation from English to South African Sign Language Using Synchronous Tree Adjoining Grammars, 2007
- Seotsanyana, M: Formal Specification and Verification of Safety Interlock Systems: A Comparative Case Study, 2007
- Mazandu, GK: Traffic Engineering Using Multipath Routing Approaches, 2007
- Gerber, DB: A Model Checker for the LF System, 2007
- Baruani, AJ: Network Engineering Using Multi-Objective Evolutionary Algorithms, 2007
2006
- Raitt, LA: Random Generation of Finite Automata Over the Domain of the Regular Languages, 2006
- Müller, G: Minimization of Symmetric Difference Finite Automata, 2006
- Louw, F: A Program Slicer for LF, 2006
- Grobler, LD: A Kernel to Support Computer-Aided Verification of Embedded Software, 2006
- Grift, W: Visualizing QoS in Networks, 2006
2005
2004
- Swart, R: A Language to Support Verification of Embedded Software, 2004
- De Jongh, AB: Neural Network Ensembles, 2004
- Connan, J: Collection, Evaluation and Selection of Scientific Literature: Machine Learning, Bibliometrics and the World Wide Web, 2004
- Combrink, JJ: A Bandwidth Market for Traffic Engineering in Telecommunication Networks, 2004
- Botha, M: Online Traffic Engineering for MPLS Networks, 2004
2003
- Snyders, S: Inductive Machine Learning Bias in Knowledge-Based Neurocomputing, 2003
- Myburgh, WD: Development of a Tool to Test Computer Protocols, 2003
- Müller, KE: MPLS-Based Recovery, 2003
- Kruger, AF: Machine Learning, Data Mining, and the World Wide Web: Design of Special-Purpose Search Engines, 2003
- Kroon, RS: Support Vector Machines, Generalization Bounds, and Transduction, 2003
- Hakl, HM: Computer-Controlled Human Body Coordination, 2003
- Bull, JJD: A Comparison of Two Different Model Checking Techniques, 2003
- Andrag, WH: Reinforcement Learning for Routing in Communication Networks, 2003
2002
2001
- Wessels, T: Hidden Markov Models for On-Line Signature Verification, 2001
- Walsh, DA: Automatic Detection of Image Orientation Using Support Vector Machines, 2001
- Wahabi, AR: Resource Management in IP Networks, 2001
- Van Zyl, J: Modelling Chaotic Systems with Neural Networks: Application to Seismic Event Predicting in Gold Mines, 2001
- Van Riet, FA: LF: A Language for Reliable Embedded Systems, 2001
- Esterhuyse, E: On Providing an Efficient and Reliable Virtual Block Storage Service, 2001
- Eloff, JJ: A Software Restructuring Tool for Oberon, 2001
- Du Toit, C: The Use of Temporal Context in the Generation of Strings, 2001
- Bagula, BA: Traffic Engineering Label Switched Paths, 2001
2000
1999
1998
1996
1995
1994
1993
- Visser, WC: A Run-Time Environment for a Validation Language, 1993
- Van der Poel, E: Visualizing Neural Networks, 1993
- Howard, WT: An Efficient Resilient Page Store, 1993
- Engelbrecht, AP: Modelling Algorithms for the South African Telephone Network, 1993
- Ackerman, MC: Kernel Support for Embedded Reactive Systems, 1993
- Ackerman, CC: Providing Mechanical Support for Program Development in a Weakest Precondition Calculus, 1993
1992
1991
- Meumann, MD: The Design and Implementation of a Communication Kernel for a Distributed Database System, 1991
- Ludik, J: 'n Meerdoelige Simulasie Omgewing vir die Ontwikkeling van Neurale Netwerke, 1991
- Fouche, W: An Efficient Kernel to Support the Client-Server Model, 1991
- Deacon, AE: Concurrency Control Mechanisms for Multidatabase Systems, 1991
- Barnard, DC: Reducing the State Explosion Problem During Model Checking, 1991
1990
- Theron, H: A Survey and Comparison of Well-Known Concept Induction Algorithms, 1990
- Lamprecht, SM: A Comparative Study of Distributed Query Optimization Methods, 1990
- Harmse, MFP: The Analytic Modelling of DASD Subsystems, 1990
- Greeff, J: Derivation and Implementation of an Extended Entity-Relationship Data Model, 1990
- Crosby, SA: Queueing Networks with Blocking and Simultaneous Resource Possession, 1990
