Travelled to:
1 × Czech Republic
1 × France
1 × Germany
1 × South Africa
1 × Sweden
1 × USA
4 × Canada
Collaborated with:
∅ M.Frishert D.G.Kourie L.G.Cleophas E.K.Ngassam T.Runge I.Schaefer L.Cleophas T.Thüm
Talks about:
automata (8) construct (4) regular (4) express (4) finit (4) algorithm (3) minim (3) brzozowski (2) softwar (2) combin (2)
Person: Bruce W. Watson
DBLP: Watson:Bruce_W=
Facilitated 1 volumes:
Contributed to:
Wrote 13 papers:
- CIAA-2015-Watson #automaton #finite #hardware #implementation #regular expression
- Hardware Implementations of Finite Automata and Regular Expressions — Extended Abstract (BWW), pp. 13–17.
- ICSE-2010-KourieW #re-engineering
- Software engineering in South Africa (DGK, BWW), pp. 323–324.
- CIAA-2007-Watson #automaton
- Automata Applications in Chip-Design Software (BWW), pp. 24–26.
- CIAA-2004-FrishertCW #automaton #finite #regular expression
- FIRE Station: An Environment for Manipulating Finite Automata and Regular Expression Views (MF, LGC, BWW), pp. 125–133.
- CIAA-2004-FrishertW #automaton #regular expression
- Combining Regular Expressions with (Near-)Optimal Brzozowski Automata (MF, BWW), pp. 319–320.
- CIAA-2003-FrishertCW #automaton #regular expression
- The Effect of Rewriting Regular Expressions on Their Accepting Automata (MF, LGC, BWW), pp. 304–305.
- CIAA-2003-NgassamWK #automaton #finite
- Preliminary Experiments in Hardcoding Finite Automata (EKN, BWW, DGK), pp. 299–300.
- CIAA-2000-Watson #algorithm
- Directly Constructing Minimal DFAs: Combining Two Algorithms by Brzozowski (BWW), pp. 311–317.
- WIA-1999-Watson #algorithm #automaton #finite #taxonomy
- A Taxonomy of Algorithms for Constructing Minimal Acyclic Deterministic Finite Automata (BWW), pp. 174–182.
- WIA-1998-Watson #algorithm #performance
- A Fast New Semi-incremental Algorithm for the Construction of Minimal Acyclic DFAs (BWW), pp. 121–132.
- WIA-1997-Watson #automaton #optimisation
- Practical Optimizations for Automata (BWW), pp. 232–240.
- WIA-1996-Watson #c++
- FIRE Lite: FAs and REs in C++ (BWW), pp. 167–188.
- FASE-2019-RungeSCTKW #tool support
- Tool Support for Correctness-by-Construction (TR, IS, LC, TT, DGK, BWW), pp. 25–42.