Tim Smith

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2019
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

2018
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

2017
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

2015
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

2014
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

2013
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

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

2011
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

2010
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

2008
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

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


  Loading...