Derrick G. Kourie

Available identifiers

zbMath Open kourie.derrick-gMaRDI QIDQ1001806

List of research outcomes

Publication	Date of Publication	Type
CSP for Parallelising Brzozowski’s DFA Construction Algorithm	2018-09-20	Paper
A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching	2014-08-19	Paper
Fine-tuning the search for microsatellites	2014-08-13	Paper
An algorithm for mapping short reads to a dynamically changing genomic sequence	2012-05-11	Paper
The Correctness-by-Construction Approach to Programming	2012-04-24	Paper
ON REGULAR EXPRESSION HASHING TO REDUCE FA SIZE	2010-01-08	Paper
Concept Lattices	2009-05-14	Paper
An incremental algorithm to construct a lattice of set intersections	2009-02-19	Paper
ON IMPLEMENTATION AND PERFORMANCE OF TABLE-DRIVEN DFA-BASED STRING PROCESSORS	2008-11-03	Paper
A CONCURRENT SPECIFICATION OF BRZOZOWSKI'S DFA CONSTRUCTION ALGORITHM	2008-11-03	Paper
EFFICIENT AUTOMATA CONSTRUCTIONS AND APPROXIMATE AUTOMATA	2008-11-03	Paper
ON SUCCINCT REPRESENTATION OF KNOWLEDGE COMMUNITY TAXONOMIES WITH FORMAL CONCEPT ANALYSIS	2008-09-25	Paper
Towards Concise Representation for Taxonomies of Epistemic Communities	2008-04-04	Paper
On Lattices in Access Control Models	2007-09-06	Paper
DYNAMIC ALLOCATION OF FINITE AUTOMATA STATES FOR FAST STRING RECOGNITION	2007-02-08	Paper
A FRAMEWORK FOR THE DYNAMIC IMPLEMENTATION OF FINITE AUTOMATA FOR PERFORMANCE ENHANCEMENT	2005-12-15	Paper
Compressed pseudo-lattices	2003-08-25	Paper
Software testing using model programs	2002-04-24	Paper
Lattices in machine learning: Complexity issues	1999-01-11	Paper
The design and use of a prolog trace generator for CSP	1987-01-01	Paper

Research outcomes over time

This page was built for person: Derrick G. Kourie