Tinus Strauss

17 papers C 1Misc 5Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2018 — conf
Using CSP to Develop Quality Concurrent Software.
Principled Software Development
Derrick G. Kourie, Tinus Strauss, Loek Cleophas, Bruce W. Watson
2017 — conf
CSP for Parallelising Brzozowski's DFA Construction Algorithm.
The Role of Theory in Computer Science
Tinus Strauss, Bruce W. Watson, Derrick G. Kourie, Loek Cleophas
2014 Misc conf
A Process-Oriented Implementation of Brzozowski's DFA Construction Algorithm.
PSC
Tinus Strauss, Derrick G. Kourie, Bruce W. Watson, Loek G. Cleophas
2014 — conf
Empirically Assessing Algorithm Performance.
SAICSIT
Derrick G. Kourie, Bruce W. Watson, Tinus Strauss, Loek G. Cleophas, Melanie Mauch
2012 C conf
A Sequential Recursive Implementation of Dead-Zone Single Keyword Pattern Matching.
IWOCA
Bruce W. Watson, Derrick G. Kourie, Tinus Strauss
2012 — conf
Performance assessment of dead-zone single keyword pattern matching.
SAICSIT
Melanie Mauch, Derrick G. Kourie, Bruce W. Watson, Tinus Strauss
2011 — conf
Network Forensics in a Clean-Slate Internet Architecture.
ISSA
Tinus Strauss, Martin S. Olivier
2009 Misc conf
On Minimizing Deterministic Tree Automata.
PSC
Loek G. Cleophas, Derrick G. Kourie, Tinus Strauss, Bruce W. Watson
2009 J jnl
Sensitivity analysis of Voronoi-based sensor deployment and reconfiguration algorithms.
South Afr. Comput. J.
Gareth Nicholls, Derrick G. Kourie, Tinus Strauss
2008 J jnl
A Concurrent Specification of Brzozowski's DFA Construction Algorithm.
Int. J. Found. Comput. Sci.
Tinus Strauss, Derrick G. Kourie, Bruce W. Watson
2008 Misc conf
A Concurrent Specification of an Incremental DFA Minimisation Algorithm.
PSC
Tinus Strauss, Derrick G. Kourie, Bruce W. Watson
2008 — conf
A New CSP Operator for Optional Parallelism.
CSSE (2)
Stefan Gruner, Derrick G. Kourie, Markus Roggenbach, Tinus Strauss, Bruce W. Watson
2008 J jnl
A comparison of simulated traffic conditioner performance.
Comput. Commun.
Tinus Strauss, Derrick G. Kourie, Martin S. Olivier
2008 J jnl
Efficient Automata Constructions and Approximate Automata.
Int. J. Found. Comput. Sci.
Bruce W. Watson, Derrick G. Kourie, Tinus Strauss, Ernest Ketcha Ngassam, Loek G. Cleophas
2006 Misc conf
A concurrent specification of Brzozowski's DFA construction algorithm.
PSC
Tinus Strauss, Derrick G. Kourie, Bruce W. Watson
2006 Misc conf
Efficient automata constructions and approximate automata.
PSC
Bruce W. Watson, Derrick G. Kourie, Ernest Ketcha Ngassam, Tinus Strauss, Loek G. Cleophas
2006 — conf
Logical Traffic Isolation Using Differentiated Services.
IFIP Int. Conf. Digital Forensics
Tinus Strauss, Martin S. Olivier, Derrick G. Kourie