Tinus Strauss

According to our database, Tinus Strauss authored at least 15 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Using CSP to Develop Quality Concurrent Software.

Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson

Proceedings of the Principled Software Development, 2018

2017

CSP for Parallelising Brzozowski's DFA Construction Algorithm.

Tinus Strauss, Bruce W. Watson, Derrick G. Kourie, Loek Cleophas

Proceedings of the Role of Theory in Computer Science, 2017

2014

A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm.

Tinus Strauss, Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas

Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, 2014

Empirically Assessing Algorithm Performance.

Derrick G. Kourie, Bruce W. Watson, Tinus Strauss, Loek G. Cleophas, Melanie Mauch

Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014, 2014

2012

Performance assessment of dead-zone single keyword pattern matching.

Melanie Mauch, Derrick G. Kourie, Bruce W. Watson, Tinus Strauss

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching.

Bruce W. Watson, Derrick G. Kourie, Tinus Strauss

Proceedings of the Combinatorial Algorithms, 23rd International Workshop, 2012

2011

Network Forensics in a Clean-Slate Internet Architecture.

Tinus Strauss, Martin S. Olivier

Proceedings of the Information Security South Africa Conference 2011, 2011

2009

Sensitivity analysis of Voronoi-based sensor deployment and reconfiguration algorithms.

Gareth Nicholls, Derrick G. Kourie, Tinus Strauss

South Afr. Comput. J., 2009

On Minimizing Deterministic Tree Automata.

Loek G. Cleophas, Derrick G. Kourie, Tinus Strauss, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009

2008

Efficient Automata Constructions and Approximate Automata.

Bruce W. Watson, Derrick G. Kourie, Tinus Strauss, Ernest Ketcha Ngassam, Loek G. Cleophas

Int. J. Found. Comput. Sci., 2008

A Concurrent Specification of Brzozowski's DFA Construction Algorithm.

Tinus Strauss, Derrick G. Kourie, Bruce W. Watson

Int. J. Found. Comput. Sci., 2008

A comparison of simulated traffic conditioner performance.

Tinus Strauss, Derrick G. Kourie, Martin S. Olivier

Comput. Commun., 2008

A Concurrent Specification of an Incremental DFA Minimisation Algorithm.

Tinus Strauss, Derrick G. Kourie, Bruce W. Watson

Proceedings of the Prague Stringology Conference 2008, Prague, Czech Republic, 2008

A New CSP Operator for Optional Parallelism.

Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2006

Logical Traffic Isolation Using Differentiated Services.

Tinus Strauss, Martin S. Olivier, Derrick G. Kourie

Proceedings of the Advances in Digital Forensics II - IFIP International Conference on Digital Forensics, National Centre for Forensic Science, Orlando, Florida, USA, January 29, 2006