Calta J, Schlingloff H, Shkatov D
Finding Uniform Strategies for Multiagent Systems.
Lecture Notes in Artificial Intelligence, 16-Aug-2010 - 17-Aug-2010. pp. 135-152, 2010

Ewert S, Raborife M, Zerbian S
An African Solution for an African Problem: A Step towards Perfection.
Twenty-First Annual Symposium of the Pattern Recognition Association of South Africa, 22-Nov-2010 - 23-Nov-2010, pp. 225 - 230, 2010

Nyongesa H, Vadapali H, Omlin C
Recurrent Neural Networks for Facial Action Unit Recognition from Image Sequences.
Proceedings of the Twenty-first Annual Symposium of the Pattern Recognition Association of South Africa, 22-Nov-2010 - 23-Nov-2010, pp. 269 - 273, 2010

Sanders ID, Scholtz TL
Mental Models of Recursion: Investigating Students' Understanding of Recursion.
Proceedings of the 15th Annual Conference on Innovation and Technology in Computer Science Education, 26-Jun-2010 - 30-Jun-2010, pp 103 - 107, 2010

Shkatov D, Goranko V
Tableau-based Decision Procedures for .
ALGEBRA UNIVERSALIS, 62 pp. 419 - 451, 2010

Van Alten CJ
Completion and Finite Embeddability Property for Residuated Ordered Algebras.
ALGEBRA UNIVERSALIS, 62 pp. 419 - 451, 2010

Cawse K, Damelin S, Du Plessis LA, Mcintyre RN, Mitchley MR, Sears M
An Investigation of Data Compression Techniques for Hyperspectral Core Imager Data.
RSA Proceedings of the Mathematics in Industry Study Group 2008, 28-Jan-2008 - 01-Feb-2008, pp 1 - 26, 2009

Goranko VF, Shkatov D
Tableau-based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.
Lecture Notes in Computer Science, 5407 pp. 197 - 213, 2009

Goranko VF, Shkatov D
Tableau-based Decision Procedure for Full Coalitional Multiagent Temporal-epistemic Logic of Linear Time.
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Hungary, 10-May-2009 - 15-May-2009, pp 969 - 976, 2009

Xu R, Du Plessis LA, Damelin S, Sears M, Wunsch D
Analysis of Hyperspectral Data with Diffusion Maps and Fuzzy ART.
Proceedings of the 2009 International Joint Conference on Neural Networks. IJCNN 2009, USA, 14-Jun-2009 - 19-Jun-2009, pp 3390 - 3397, 2009

Drewes F, du Toit C, Ewert S, van der Merwe B, van der Walt A
Bag Context Tree Grammars.
Fundamentia Informaticae, 86 pp. 459 - 480, 2008

Goranko V, Shkatov D
Tableau-based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge.
SEFM 2008, South Africa, Sixth IEEE International Conference on Software Engineering and Formal Methods, 10-Nov-2008 - 14-Nov-2008, pp 237 - 246, 2008

Kramvis A, Arakawa K, Yu M, Nogueira R, Stram D, Kew M
Relationship of Serological Subtype, Basic Core Promoter and Precore Mutations to Genotypes/Subgenotypes of Hepatitis B Virus.
Journal Of Medical Virology, 80 pp. 27 - 46, 2008

Mueller C
Can Multicore Processing Learn from Arithmetic Concepts?
CISSE 2007, USA, Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education, 03-Dec-2007 - 12-Dec-2007, pp 79 - 85, 2008

Mueller C
Retaining the Semantics of Data With the Data.
International Conference on Computer Science and Software Engineering, China, CSSE 2008 Proceedings Volume 3, 12-Dec-2008 - 14-Dec-2008, pp 398 - 402, 2008

Bhika C, Ewert S, Schwartz R, Waruhiu M
Table-driven context-free picture grammars.
International Journal Of Foundations Of Computer Science, 18 (6), pp. 1151 - 1160, 2007

Galpin V, Sanders I
Perceptions of computer science at a South African University.
Computers & Education, 49, pp. 1330 - 1356, 2007

Galpin V, Sanders I, CHEN P
Learning styles and personality types of computer science at a South African university.
12th Annual Conference on Innovation & Technology in Computer Science Education, Dundee, Scotland, ITiCSE 2007, 25-Jun-2007 -27-, 2007

Mueller C
Alternative dataflow model.
3rd IASTED International Conference on Advances in Computer Science and Technology, Phuket, Thailand, 3rd IASTED International Conference on Advances in Computer Science and Technology Proceeding, 02-, 2007

Ostrowick J
Table timing experiments of Libet and Grey Walter.
South African Journal Of Philosophy, 26 (3), PP. 9 - 26, 2007

Atcheson B, Ewert S & Shell DA
A Note On The Generative Capacity of Random Context.
South African Computer Journal, 36: pp 95-98 , 2006

Drewes F, Du Toit C, Ewert S, Van Der Merwe B & Van Der Walt APJ
An Analysis of Mobile Genetic Elements in Three Plasmodium Species and Their Potential Impact on The Nucleotide Composition of The P. Falciparum Genome
BMC Genomics, 7 (282): pp 1-10, 2006

Galpin VC
Women in Technology in Sub-Sahara Africa.
Chapter 205, pp 1279-1285. In Trauth E M, Encyclopedia of Gender and Information Technology (2 volumes), First edition, Idea Group Reference, Hershey, USA, 2006

Galpin VC
ICT Usage in Sub-Saharan Africa.
Chapter 126, pp 786-792. In Trauth E M, Encyclopedia of Gender and Information Technology (2 volumes), First edition, Idea Group Reference, Hershey, USA, 2006

Hagger LC & Sanders ID
A Greedy Heuristic For Axial Placement in Collections Of Convex Polygons
South African Journal, 37: pp 51-60 , 2006

Holt AG, Rock ST & Sanders ID
Introducing Python into the first year curriculum at WITS
11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, Bologna, Italy, 26-28 June, ITiCSE'06, p 335, 2006

Kruger H & Ewert S
Translating Mutually Recursive Function Systems Into Generalised Random Context Picture Grammars
South African Computer Journal, 36: pp 99-109, 2006

Rock ST, Rosman BS, Konidaris G & Sanders ID
Language Performance at High School and Success in First Year Computer Science.
Thirsty-seventh SIGCSE Technical Symposium on Computer Science Education, Houston, USA, 1-5 March , SIGCSE 2006, pp 398-402 , 2006

Sander ID, Galpin VC & Gotschi TE
Mental Model of Recursion Revisited
11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, Bologna, Italy, 26-28 June, ITiCSE'06, pp 138-142 , 2006

Drewes F, Du Toit C, Ewert S, Hogberg J, Van Der Merwer B & Van Der Walt A
Random Context Tree Grammars and Tree Transducers.
South African Computer Journal, 34: pp 11-25, 2005

Galpin VC & Sanders ID
Perceptions of Computer Science among first year students at the University of the Witwatersrand.
Technical Report TR-Wits-CS-2005-0, 2005

Kruger H, Sanders ID
Orthorgonal Axial Line Placement in Hole Free Collections of Rectangles.
SAICSIT 2005, White River, South Africa, Research for a Changing World, 20-22 September: pp 48-55, 2005

Mueller CS
Towards An Axiomatic Computational Model.
South Africa's Computer Journal, 35: pp 69-75, 2005

Rock ST
Quantifier Interaction In The Temporal Structure Of Extended Eventualities.
South African Computer Journal, 34: pp 41-51, 2005

Sanders ID
Seed Region Growing Using a Multiple Seed Points.
Sixteenth Annual Symposium of the Pattern Recognition Association of South Africa, Langebaan, South Africa, PRASA Proceedings, 23-25 November: pp 177-182, 2005

Teweldemedhin ET, Marwala T & Mueller CS
Agent-based Modelling: A Case Study in HIV Epidemic.
Fourth International Conference on Hybrid Intelligent System, Kitakyushu, Japan, Hybrid Intelligent Systems, 5 December 2004-8 December 2004: pp 154-159, 2005