|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Lynette van Zijl, Jaco Geldenhuys |
Descriptional Complexity of Ambiguity in Symmetric Difference NFAs.  |
J. UCS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Brink van der Merwe, Lynette van Zijl, Jaco Geldenhuys |
Ambiguity of Unary Symmetric Difference NFAs. |
ICTAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Visser, Jaco Geldenhuys |
Impendulo: debugging the programmer. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys |
Finding the Core Developers. |
EUROMICRO-SEAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Brink van der Merwe |
Comparing leaf and root insertion. |
South African Computer Journal |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Brink van der Merwe, Lynette van Zijl |
Reducing Nondeterministic Finite Automata with SAT Solvers. |
FSMNLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Henri Hansen, Antti Valmari |
Exploring the Scope for Partial Order Reduction. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Heikki Orsila, Jaco Geldenhuys, Anna Ruokonen, Imed Hammouda |
Update Propagation Practices in Highly Reusable Open Source Components. |
OSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Hansen, Jaco Geldenhuys |
Cheap and Small Counterexamples. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Henri Hansen |
Larger Automata and Less Work for LTL Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Antti Valmari |
More efficient on-the-fly LTL verification with Tarjan's algorithm. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Antti Valmari |
Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys |
State Caching Reconsidered. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Antti Valmari |
A Nearly Memory-Optimal Data Structure for Sets and Mappings. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, Antti Valmari |
Techniques for Smaller Intermediary BDDs. |
CONCUR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaco Geldenhuys, P. J. A. de Villiers |
Runtime Efficient State Compaction in SPIN. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andries Petrus Engelbrecht, Ian Cloete, Jaco Geldenhuys, Jacek M. Zurada |
Automatic Scaling using Gamma Learning for Feedforward Neural Networks. |
IWANN |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")