| Improved Randomized Approximation of Hard Universality and Emptiness Problems P Andreou, S Konstantinidis, TJ Smith arXiv preprint arXiv:2403.08707, 2024 | | 2024 |
| Illustrating finite automata with Grail+ and TikZ A May, TJ Smith TUGboat: The Communications of the TeX Users Group 45 (1), 97-101, 2024 | | 2024 |
| Descriptional complexity of finite automata–selected highlights A Salomaa, K Salomaa, TJ Smith Fundamenta Informaticae 191 (3-4), 231-237, 2024 | 1 | 2024 |
| Recognition and complexity results for projection languages of two-dimensional automata TJ Smith, K Salomaa Journal of Automata, Languages, and Combinatorics 28 (1-3), 201-220, 2023 | | 2023 |
| Two-dimensional typewriter automata TJ Smith Twelfth Workshop on Non-Classical Models of Automata and Applications (NCMA …, 2022 | | 2022 |
| Closure, Decidability, and Complexity Results for Restricted Variants of Two-Dimensional Automata TJ Smith Queen's University, 2021 | 2 | 2021 |
| Degrees of restriction for two-dimensional automata TJ Smith, K Salomaa International Conference on Implementation and Application of Automata, 77-89, 2021 | 1 | 2021 |
| Decision problems and projection languages for restricted variants of two-dimensional automata TJ Smith, K Salomaa Theoretical Computer Science 870, 153-164, 2021 | 3 | 2021 |
| Concatenation operations and restricted variants of two-dimensional automata TJ Smith, K Salomaa International Conference on Current Trends in Theory and Practice of …, 2021 | 4 | 2021 |
| Recognition and complexity results for projection languages of two-dimensional automata TJ Smith, K Salomaa Descriptional Complexity of Formal Systems: 22nd International Conference …, 2020 | 5 | 2020 |
| Decision Problems for Restricted Variants of Two-Dimensional Automata TJ Smith, K Salomaa International Conference on Implementation and Application of Automata, 222-234, 2019 | 3 | 2019 |
| Site-directed insertion: Language equations and decision problems DJ Cho, YS Han, K Salomaa, TJ Smith Theoretical Computer Science 798, 40-51, 2019 | 6 | 2019 |
| Two-Dimensional Automata TJ Smith Technical report 2019-637, Queen’s University, Kingston, 2019 | 15 | 2019 |
| Site-Directed Insertion: Decision Problems, Maximality and Minimality DJ Cho, YS Han, K Salomaa, TJ Smith International Conference on Descriptional Complexity of Formal Systems, 49–61, 2018 | 4 | 2018 |
| Properties of Two-Dimensional Words TJ Smith University of Waterloo, 2017 | 3 | 2017 |
| Periodicity in rectangular arrays G Gamard, G Richomme, J Shallit, TJ Smith Information Processing Letters 118, 58-63, 2017 | 34 | 2017 |
| A Study of Solid Hypercodes TJ Smith University of Western Ontario, 2015 | | 2015 |
Kai SalomaaProfessor, School of Computing, Queen's UniversityVerified email at cs.queensu.ca
