J. Geldenhuys

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Symmetric difference NFA: the state of the art	2014-07-10	Paper
Ambiguity and structural ambiguity of symmetric difference NFAs Theoretical Computer Science	2014-06-10	Paper
Counting Minimal Symmetric Difference NFAs Language and Automata Theory and Applications	2013-03-18	Paper
Ambiguity of unary symmetric difference NFAs Theoretical Aspects of Computing – ICTAC 2011	2012-01-06	Paper
Descriptional complexity of ambiguity in symmetric difference NFAs	2011-07-22	Paper
Exploring the scope for partial order reduction Automated Technology for Verification and Analysis	2009-12-01	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
Model Checking Software Lecture Notes in Computer Science	2007-09-28	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
More efficient on-the-fly LTL verification with Tarjan's algorithm Theoretical Computer Science	2005-12-06	Paper
scientific article; zbMATH DE number 1982202 (Why is no real title available?)	2003-09-16	Paper
scientific article; zbMATH DE number 1863167 (Why is no real title available?)	2003-02-03	Paper

Research outcomes over time

This page was built for person: J. Geldenhuys