关注
Tim Smith
Tim Smith
在 ccs.neu.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Additive number theory via automata theory
A Rajasekaran, J Shallit, T Smith
Theory of Computing Systems 64, 542-567, 2020
262020
Prediction of Infinite words with Automata
T Smith
Theory of Computing Systems 62, 653–681 (2018), 2018
192018
Sums of palindromes: an approach via automata
A Rajasekaran, J Shallit, T Smith
STACS 2018, 2018
152018
A pumping lemma for two-way finite transducers
T Smith
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
122014
On infinite words determined by stack automata
T Smith
IARCS Annual Conference on Foundations of Software Technology and …, 2013
92013
On infinite words determined by indexed languages
T Smith
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
72014
On infinite words determined by L systems
T Smith
Combinatorics on Words: 9th International Conference, WORDS 2013, Turku …, 2013
62013
Undecidability and finite automata
J Endrullis, J Shallit, T Smith
Developments in Language Theory: 21st International Conference, DLT 2017 …, 2017
42017
Sums of palindromes: an approach via nestedword automata
A Rajasekaran, J Shallit, T Smith
Preprint, available at https://arxiv. org/abs/1706.10206, 2017
22017
A new pumping lemma for indexed languages, with an application to infinite words
T Smith
Information and Computation 252, 176-186, 2017
22017
On infinite words determined by L systems
T Smith
Theoretical computer science 595, 1-10, 2015
22015
Infiniteness and boundedness in 0L, DT0L, and T0L systems
T Smith
Language and Automata Theory and Applications: 7th International Conference …, 2013
22013
A characterization of morphic words with polynomial growth
T Smith
Discrete Mathematics & Theoretical Computer Science 22 (Automata, Logic and …, 2020
12020
Infinite words as determined by languages of their prefixes
T Smith
Northeastern University, 2015
2015
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
V Guruswami, M Hofmann, R Ramyaa, S Khot, M Grohe, S Kreutzer, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2013
2013
VU Research Portal
J Endrullis, J Shallit, T Smith
系统目前无法执行此操作,请稍后再试。
文章 1–16