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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Derrick G. Kourie