Tim Smith

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 17

Top Topics

Automata Theory

Ground Vehicles

High Energy Physics

Word Sense Disambiguation

Top Venues

Theory Comput. Syst.

IEEE Trans. Cybern.

Publications

Miloslava Plachkinova, Ace Vo, Tim Smith, Thomas A. Chapman
Building the Workforce of Tomorrow: Blockchain Curriculum in Higher Education. AMCIS (2022)
Kiran Garimella, Tim Smith, Rebecca Weiss, Robert West
Political Polarization in Online News Consumption. CoRR (2021)
Miguel Martínez-García, Roy S. Kalawsky, Timothy J. Gordon, Tim Smith, Qinggang Meng, Frank Flemisch
Communication and Interaction With Semiautonomous Ground Vehicles by Force Control Steering. IEEE Trans. Cybern. 51 (8) (2021)
Kiran Garimella, Tim Smith, Rebecca Weiss, Robert West
Political Polarization in Online News Consumption. ICWSM (2021)
Tim Smith
A Characterization of Morphic Words with Polynomial Growth. Discret. Math. Theor. Comput. Sci. 22 (1) (2020)
Aayush Rajasekaran, Jeffrey O. Shallit, Tim Smith
Additive Number Theory via Automata Theory. Theory Comput. Syst. 64 (3) (2020)
Sinan E. Arkonac, Duncan P. Brumby, Tim Smith, Harsha Vardhan Ramesh Babu
In-car distractions and automated driving: a preliminary simulator study. AutomotiveUI (adjunct) (2019)
Tim Smith
A Characterization of Morphic Words with Polynomial Growth. CoRR (2019)
Tim Smith
Prediction of Infinite Words with Automata. Theory Comput. Syst. 62 (3) (2018)
Aayush Rajasekaran, Jeffrey O. Shallit, Tim Smith
Sums of Palindromes: an Approach via Automata. STACS (2018)
Jörg Endrullis, Jeffrey O. Shallit, Tim Smith
Undecidability and Finite Automata. CoRR (2017)
Tim Smith
A new pumping lemma for indexed languages, with an application to infinite words. Inf. Comput. 252 (2017)
Jörg Endrullis, Jeffrey O. Shallit, Tim Smith
Undecidability and Finite Automata. DLT (2017)
Neil Cohn, Tom Foulsham, Tim Smith, Jeff Zacks
Static and dynamic visual narratives, by brain and by eye. CogSci (2017)
Aayush Rajasekaran, Jeffrey O. Shallit, Tim Smith
Sums of Palindromes: an Approach via Nested-Word Automata. CoRR (2017)
Tim Smith
Prediction of Infinite Words with Automata. CoRR (2016)
Tim Smith
Prediction of Infinite Words with Automata. CSR (2016)
Tim Smith
On infinite words determined by L systems. Theor. Comput. Sci. 595 (2015)
Silvia Amerio, Roberto Barbera, Frank Berghaus, Jakob Blomer, Andrew Branson, Germán Cancio Meliá, Concetta Cartaro, Gang Chen, Sünje Dallmeier-Tiessen, Cristinel Diaconu, Gerardo Ganis, Mihaela Gheata, Takanori Hara, Ken Herner, Mike Hildreth, Roger Jones, Stefan Kluth, Dirk Krücker, Kati Lassila-Perini, Marcello Maggi, Jesús Marco de Lucas, Salvatore Mele, Alberto Pace, Matthias Schröder, Jetendr Shamdasani, Jamie Shiers, Tim Smith, Randall J. Sobie, David Michael South, Andrii Verbytskyi, Matthew Viljoen, Lu Wang, Markus Zimmermann
Status Report of the DPHEP Collaboration: A Global Effort for Sustainable Data Preservation in High Energy Physics. CoRR (2015)
John A. Bateman, Marc Christie, Roberto Ranon, Rémi Ronfard, Tim Smith
Computer Generation of Filmic Discourse from a Cognitive/Affective Perspective. WICED@Eurographics (2015)
Tim Smith
On Infinite Words Determined by Indexed Languages. MFCS (1) (2014)
Tim Smith
On Infinite Words Determined by Indexed Languages. CoRR (2014)
Tim Smith
A Pumping Lemma for Two-Way Finite Transducers. MFCS (1) (2014)
Tim Smith, Gerald Grant, Alejandro Ramírez
Investigating the Influence of Psychological Ownership and Resistance on Usage Intention among Physicians. HICSS (2014)
Tim Smith
On Infinite Words Determined by L Systems. WORDS (2013)
Tim Smith
Infiniteness and Boundedness in 0L, DT0L, and T0L Systems. LATA (2013)
Tim Smith
On Infinite Words Determined by Stack Automata. FSTTCS (2013)
Paolo Manghi, Lukasz Bolikowski, Natalia Manola, Jochen Schirrwagen, Tim Smith
OpenAIREplus: the European Scholarly Communication Data Infrastructure. D Lib Mag. 18 (9/10) (2012)
Sara Dalzel-Job, Jon Oberlander, Tim Smith
Don't Look Now: The relationship between mutual gaze, task performance and staring in Second Life. CogSci (2011)
Khai N. Truong, Julie A. Kientz, Timothy Sohn, Alyssa Rosenzweig, Amanda Fonville, Tim Smith
The design and evaluation of a task-centered battery interface. UbiComp (2010)
Tim Smith
Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments. SSS (2008)
Ravin Balakrishnan, Colin Ware, Tim Smith
Virtual hand tool with force feedback. CHI Conference Companion (1994)