Jaco Geldenhuys

	2011
17		Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys: Ambiguity of Unary Symmetric Difference NFAs. ICTAC 2011: 256-266
16		Lynette van Zijl, Jaco Geldenhuys: Descriptional Complexity of Ambiguity in Symmetric Difference NFAs. J. UCS 17(6): 874-890 (2011)
	2010
15		Willem Visser, Jaco Geldenhuys: Impendulo: debugging the programmer. ASE 2010: 351-352
14		Jaco Geldenhuys: Finding the Core Developers. EUROMICRO-SEAA 2010: 447-450
	2009
13		Jaco Geldenhuys, Henri Hansen, Antti Valmari: Exploring the Scope for Partial Order Reduction. ATVA 2009: 39-53
12		Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl: Reducing Nondeterministic Finite Automata with SAT Solvers. FSMNLP 2009: 81-92
11		Jaco Geldenhuys, Brink van der Merwe: Comparing leaf and root insertion. South African Computer Journal 44: 30-38 (2009)
	2008
10		Heikki Orsila, Jaco Geldenhuys, Anna Ruokonen, Imed Hammouda: Update Propagation Practices in Highly Reusable Open Source Components. OSS 2008: 159-170
9		Henri Hansen, Jaco Geldenhuys: Cheap and Small Counterexamples. SEFM 2008: 53-62
	2006
8		Jaco Geldenhuys, Henri Hansen: Larger Automata and Less Work for LTL Model Checking. SPIN 2006: 53-70
	2005
7		Jaco Geldenhuys, Antti Valmari: More efficient on-the-fly LTL verification with Tarjan's algorithm. Theor. Comput. Sci. 345(1): 60-82 (2005)
	2004
6		Jaco Geldenhuys: State Caching Reconsidered. SPIN 2004: 23-38
5		Jaco Geldenhuys, Antti Valmari: Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. TACAS 2004: 205-219
	2003
4		Jaco Geldenhuys, Antti Valmari: A Nearly Memory-Optimal Data Structure for Sets and Mappings. SPIN 2003: 136-150
	2001
3		Jaco Geldenhuys, Antti Valmari: Techniques for Smaller Intermediary BDDs. CONCUR 2001: 233-247
	1999
2		Jaco Geldenhuys, P. J. A. de Villiers: Runtime Efficient State Compaction in SPIN. SPIN 1999: 12-21
	1995
1		Andries Petrus Engelbrecht, Ian Cloete, Jaco Geldenhuys, Jacek M. Zurada: Automatic Scaling using Gamma Learning for Feedforward Neural Networks. IWANN 1995: 374-381

Coauthor Index

1	Ian Cloete	[1]
2	Andries Petrus Engelbrecht	[1]
3	Imed Hammouda	[10]
4	Henri Hansen	[8] [9] [13]
5	Brink van der Merwe	[11] [12] [17]
6	Heikki Orsila	[10]
7	Anna Ruokonen	[10]
8	Antti Valmari	[3] [4] [5] [7] [13]
9	P. J. A. de Villiers	[2]
10	Willem Visser	[15]
11	Lynette van Zijl	[12] [16] [17]
12	Jacek M. Zurada	[1]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page