J. Geldenhuys

Available identifiers

zbMath Open geldenhuys.jacoMaRDI QIDQ2453537

List of research outcomes

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	2014-06-10	Paper
Counting Minimal Symmetric Difference NFAs	2013-03-18	Paper
Ambiguity of unary symmetric difference NFAs	2012-01-06	Paper
Descriptional complexity of ambiguity in symmetric difference NFAs	2011-07-22	Paper
Exploring the scope for partial order reduction	2009-12-01	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-05-02	Paper
More efficient on-the-fly LTL verification with Tarjan's algorithm	2005-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q4426377	2003-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4791838	2003-02-03	Paper

Research outcomes over time

This page was built for person: J. Geldenhuys