Tim Smith

According to our database1, Tim Smith authored at least 23 papers between 1994 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Additive Number Theory via Automata Theory.
Theory Comput. Syst., 2020

A Characterization of Morphic Words with Polynomial Growth.
Discret. Math. Theor. Comput. Sci., 2020

In-car distractions and automated driving: a preliminary simulator study.
Proceedings of the Adjunct Proceedings of the 11th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2019

Prediction of Infinite Words with Automata.
Theory Comput. Syst., 2018

Sums of Palindromes: an Approach via Automata.
Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

A new pumping lemma for indexed languages, with an application to infinite words.
Inf. Comput., 2017

Sums of Palindromes: an Approach via Nested-Word Automata.
CoRR, 2017

Undecidability and Finite Automata.
Proceedings of the Developments in Language Theory - 21st International Conference, 2017

Static and dynamic visual narratives, by brain and by eye.
Proceedings of the 39th Annual Meeting of the Cognitive Science Society, 2017

On infinite words determined by L systems.
Theor. Comput. Sci., 2015

Status Report of the DPHEP Collaboration: A Global Effort for Sustainable Data Preservation in High Energy Physics.
CoRR, 2015

Computer Generation of Filmic Discourse from a Cognitive/Affective Perspective.
Proceedings of the 4th Workshop on Intelligent Cinematography and Editing, 2015

A Pumping Lemma for Two-Way Finite Transducers.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

On Infinite Words Determined by Indexed Languages.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Investigating the Influence of Psychological Ownership and Resistance on Usage Intention among Physicians.
Proceedings of the 47th Hawaii International Conference on System Sciences, 2014

Infiniteness and Boundedness in 0L, DT0L, and T0L Systems.
Proceedings of the Language and Automata Theory and Applications, 2013

On Infinite Words Determined by Stack Automata.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

OpenAIREplus: the European Scholarly Communication Data Infrastructure.
D Lib Mag., 2012

Don't Look Now: The relationship between mutual gaze, task performance and staring in Second Life.
Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

Design and Flight Test of an Intelligent Flight Control System.
Proceedings of the Applications of Neural Networks in High Assurance Systems, 2010

The design and evaluation of a task-centered battery interface.
Proceedings of the UbiComp 2010: Ubiquitous Computing, 12th International Conference, 2010

Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments.
Proceedings of the Improvements in System Safety, 2008

Virtual hand tool with force feedback.
Proceedings of the Conference on Human Factors in Computing Systems, 1994