Tim Stokes

38 papers and 244 indexed citations i.

Tim Stokes has authored 38 papers that have received a total of 244 indexed citations. This includes 30 papers in Computational Theory and Mathematics, 18 papers in Artificial Intelligence and 7 papers in Management Science and Operations Research. The topics of these papers are Advanced Algebra and Logic (27 papers), semigroups and automata theory (18 papers) and Logic, programming, and type systems (11 papers). Tim Stokes is often cited by papers focused on Advanced Algebra and Logic (27 papers), semigroups and automata theory (18 papers) and Logic, programming, and type systems (11 papers) and collaborates with scholars based in New Zealand, Australia and United Kingdom. Tim Stokes's co-authors include Marcel Jackson, Lawrence K. Forbes, G. C. Hocking, Robin Hirsch and Andrei Kelarev and has published in prestigious journals such as Journal of Fluid Mechanics, Journal of Algebra and Journal of Pure and Applied Algebra.