Automatic Scaling using Gamma Learning for Feedforward Neural Networks. - Andries P. Engelbrecht; Ian Cloete; Jaco Geldenhuys; Jacek M. Zurada (IWANN, 1995)

Runtime Efficient State Compaction in SPIN. - Jaco Geldenhuys; P. J. A. de Villiers (SPIN, 1999)

Techniques for Smaller Intermediary BDDs. - Jaco Geldenhuys; Antti Valmari (CONCUR, 2001)

A Nearly Memory-Optimal Data Structure for Sets and Mappings. - Jaco Geldenhuys; Antti Valmari (SPIN, 2003)

State Caching Reconsidered. - Jaco Geldenhuys (SPIN, 2004)

Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. - Jaco Geldenhuys; Antti Valmari (TACAS, 2004)

More efficient on-the-fly LTL verification with Tarjan's algorithm. - Jaco Geldenhuys; Antti Valmari (Theor. Comput. Sci., 2005)

Larger Automata and Less Work for LTL Model Checking. - Jaco Geldenhuys; Henri Hansen (SPIN, 2006)

Update Propagation Practices in Highly Reusable Open Source Components. - Heikki Orsila; Jaco Geldenhuys; Anna Ruokonen; Imed Hammouda (OSS, 2008)

Cheap and Small Counterexamples. - Henri Hansen; Jaco Geldenhuys (SEFM, 2008)

Exploring the Scope for Partial Order Reduction. - Jaco Geldenhuys; Henri Hansen; Antti Valmari (ATVA, 2009)

Reducing Nondeterministic Finite Automata with SAT Solvers. - Jaco Geldenhuys; Brink van der Merwe; Lynette van Zijl (FSMNLP, 2009)

Comparing leaf and root insertion. - Jaco Geldenhuys; Brink van der Merwe (South Afr. Comput. J., 2009)

Finding the Core Developers. - Jaco Geldenhuys (EUROMICRO-SEAA, 2010)

Impendulo: debugging the programmer. - Willem Visser; Jaco Geldenhuys (ASE, 2010)

Ambiguity of Unary Symmetric Difference NFAs. - Brink van der Merwe; Lynette van Zijl; Jaco Geldenhuys (ICTAC, 2011)

Descriptional Complexity of Ambiguity in Symmetric Difference NFAs. - Lynette van Zijl; Jaco Geldenhuys (J. Univers. Comput. Sci., 2011)

Probabilistic symbolic execution. - Jaco Geldenhuys; Matthew B. Dwyer; Willem Visser (ISSTA, 2012)

Improving communication for distributed model checking. - Jean Fourie; Jaco Geldenhuys; Cornelia P. Inggs (SAICSIT, 2012)

Symbolic execution of programs with strings. - Gideon Redelinghuys; Willem Visser; Jaco Geldenhuys (SAICSIT, 2012)

Green: reducing, reusing and recycling constraints in program analysis. - Willem Visser; Jaco Geldenhuys; Matthew B. Dwyer (SIGSOFT FSE, 2012)

Counting Minimal Symmetric Difference NFAs. - Brink van der Merwe; Mark Farag; Jaco Geldenhuys (LATA, 2013)

Bounded Lazy Initialization. - Jaco Geldenhuys; Nazareno Aguirre; Marcelo F. Frias; Willem Visser (NASA Formal Methods, 2013)

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. - Corina S. Pasareanu; Willem Visser; David H. Bushnell; Jaco Geldenhuys; Peter C. Mehlitz; Neha Rungta (Autom. Softw. Eng., 2013)

Ambiguity and structural ambiguity of symmetric difference NFAs. - A. B. van der Merwe; Lynette van Zijl; Jaco Geldenhuys (Theor. Comput. Sci., 2014)

Probabilistic Program Analysis. - Matthew B. Dwyer; Antonio Filieri; Jaco Geldenhuys; Mitchell J. Gerrard; Corina S. Pasareanu; Willem Visser (GTTSE, 2015)

Statistical Symbolic Execution with Informed Sampling. - Antonio Filieri; Corina S. Pasareanu; Willem Visser; Jaco Geldenhuys (Software Engineering & Management, 2015)

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. - Nicolás Rosner; Jaco Geldenhuys; Nazareno Aguirre; Willem Visser; Marcelo F. Frias (IEEE Trans. Software Eng., 2015)

Evaluating paper and author ranking algorithms using impact and contribution awards. - Marcel Dunaiski; Willem Visser; Jaco Geldenhuys (J. Informetrics, 2016)

How to evaluate rankings of academic entities using test data. - Marcel Dunaiski; Jaco Geldenhuys; Willem Visser (J. Informetrics, 2018)

Author ranking evaluation at scale. - Marcel Dunaiski; Jaco Geldenhuys; Willem Visser (J. Informetrics, 2018)

On the interplay between normalisation, bias, and performance of paper impact metrics. - Marcel Dunaiski; Jaco Geldenhuys; Willem Visser (J. Informetrics, 2019)

Globalised vs averaged: Bias and ranking performance on the author level. - Marcel Dunaiski; Jaco Geldenhuys; Willem Visser (J. Informetrics, 2019)

Constraint Caching Revisited. - Jan Taljaard; Jaco Geldenhuys; Willem Visser (NFM, 2020)

COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution). - Willem Visser; Jaco Geldenhuys (TACAS (2), 2020)

Search Algorithms for the Combinatorial Generation of Bordered Box Repetition-Free Words. - Trienko L. Grobler; Manfred Habeck; Lynette van Zijl; Jaco Geldenhuys (J. Univers. Comput. Sci., 2023)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)