EDBT 2026 Demo / reviewers in the wild / expert
Tim Smith
dblp:39/6819
· DBLP profile ↗
15ranked-venue papers
7as first author
2since 2021 · last 2021
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 10 · 7 first-authorArtificial intelligence and machine learning · 3 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 3 · 1 since 2021Human-computer interaction and ubiquitous computing · 2 · 1 since 2021Databases, data management, data science and information retrieval · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Automata and formal languages · 100% | |
| Human-computer interaction and pervasive computing
1 paper |
Ubiquitous computing and smart environments · 100% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages › formal grammars
indexed languages |
0.3 | 1 | 2017 | A new pumping lemma for indexed languages, with an application to infinite words · Inf. Comput. 2017 |
Automata and formal languages
infinite words |
0.3 | 1 | 2017 | A new pumping lemma for indexed languages, with an application to infinite words · Inf. Comput. 2017 |
Automata and formal languages › regular languages
pumping lemma |
0.3 | 1 | 2017 | A new pumping lemma for indexed languages, with an application to infinite words · Inf. Comput. 2017 |
Ubiquitous computing and smart environments › mobile computing
battery interface design |
0.1 | 1 | 2010 | The design and evaluation of a task-centered battery interface · UbiComp 2010 |
Ubiquitous computing and smart environments › mobile computing
mobile phone use |
0.0 | 1 | 2010 | The design and evaluation of a task-centered battery interface · UbiComp 2010 |
Methods — techniques the papers use, named apart from their topics
survey · 0.1prototype · 0.1pilot study · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Political Polarization in Online News Consumption
Venkata Rama Kiran Garimella, Tim Smith, Rebecca Weiss, Robert West 0001 |
ICWSM | 2 |
| 2021 | Communication and Interaction With Semiautonomous Ground Vehicles by Force Control SteeringabstractWhile full automation of road vehicles remains a future goal, shared-control and semiautonomous driving-involving transitions of control between the human and the machine-are more feasible objectives in the near term. These alternative driving modes will benefit from new research toward novel steering control devices, more suitably where machine intelligence only partially controls the vehicle. In this article, it is proposed that when the human shares the control of a vehicle with an autonomous or semiautonomous system, a force control, or nondisplacement steering wheel (i.e., a steering wheel which does not rotate but detects the applied torque by the human driver) can be advantageous under certain schemes: tight rein or loose rein modes according to the H -metaphor. We support this proposition with the first experiments to the best of our knowledge, in which human participants drove in a simulated road scene with a force control steering wheel (FCSW). The experiments exhibited that humans can adapt promptly to force control steering and are able to control the vehicle smoothly. Different transfer functions are tested, which translate the applied torque at the FCSW to the steering angle at the wheels of the vehicle; it is shown that fractional order transfer functions increment steering stability and control accuracy when using a force control device. The transition of control experiments is also performed with both: a conventional and an FCSW. This prototypical steering system can be realized via steer-by-wire controls, which are already incorporated in commercially available vehicles. Miguel Martinez-Garcia, Roy Kalawsky, Timothy J. Gordon, Tim Smith, Qinggang Meng, Frank Flemisch |
IEEE Trans. Cybern. | 4 |
| 2020 | Additive Number Theory via Automata Theory
Aayush Rajasekaran, Jeffrey Shallit, Tim Smith |
Theory Comput. Syst. | 3 |
| 2018 | Sums of Palindromes: an Approach via AutomataabstractRecently, Cilleruelo, Luca, & Baxter proved, for all bases b >= 5, that every natural number is the sum of at most 3 natural numbers whose base-b representation is a palindrome. However, the cases b = 2, 3, 4 were left unresolved. We prove, using a decision procedure based on automata, that every natural number is the sum of at most 4 natural numbers whose base-2 representation is a palindrome. Here the constant 4 is optimal. We obtain similar results for bases 3 and 4, thus completely resolving the problem. Aayush Rajasekaran, Jeffrey Shallit, Tim Smith |
STACS | 3 |
| 2018 | Prediction of Infinite Words with Automata
Tim Smith |
Theory Comput. Syst. | 1 |
| 2017 | Static and dynamic visual narratives, by brain and by eye
Neil Cohn, Tom Foulsham, Tim Smith, Jeffrey M. Zacks |
CogSci | 3 |
| 2017 | Undecidability and Finite Automata
Jörg Endrullis, Jeffrey Shallit, Tim Smith |
DLT | 3 |
| 2017 | A new pumping lemma for indexed languages, with an application to infinite words
Tim Smith |
Inf. Comput. | 1 |
| 2015 | On infinite words determined by L systems
Tim Smith |
Theor. Comput. Sci. | 1 |
| 2014 | On Infinite Words Determined by Indexed Languages
Tim Smith |
MFCS (1) | 1 |
| 2014 | A Pumping Lemma for Two-Way Finite Transducers
Tim Smith |
MFCS (1) | 1 |
| 2013 | On Infinite Words Determined by Stack AutomataabstractWe characterize the infinite words determined by one-way stack automata. An infinite language L determines an infinite word alpha if every string in L is a prefix of alpha. If L is regular or context-free, it is known that alpha must be ultimately periodic. We extend this result to the class of languages recognized by one-way nondeterministic checking stack automata (1-NCSA). We then consider stronger classes of stack automata and show that they determine a class of infinite words which we call multilinear. We show that every multilinear word can be written in a form which is amenable to parsing. Finally, we consider the class of one-way multihead deterministic finite automata (1:multi-DFA). We show that every multilinear word can be determined by some 1:multi-DFA, but that there exist infinite words determined by 1:multi-DFA which are not multilinear. Tim Smith |
FSTTCS | 1 |
| 2013 | Infiniteness and Boundedness in 0L, DT0L, and T0L Systems
Tim Smith |
LATA | 1 |
| 2011 | Don't Look Now: The relationship between mutual gaze, task performance and staring in Second Life
Sara Dalzel-Job, Jon Oberlander, Tim Smith |
CogSci | 3 |
| 2010 | The design and evaluation of a task-centered battery interfaceabstractBattery interfaces provide important feedback about how much time users can continue using their mobile devices. Based on this information, they may develop mental models of the types of activities, tasks, and applications they can use before needing to recharge. Many of today's battery interfaces tend to report energy in coarse granularities or are highly inaccurate. As a result, users may find it difficult to depend on the estimates given. We conducted a survey with 104 participants to understand how users interact with various mobile battery interfaces. Based on the survey results, we designed and prototyped a task-centered battery interface on a mobile device that shows more accurate information about how long individual and combinations of tasks with several applications can be performed. Our pilot study of eight users demonstrated that fine-grained information separated by tasks can help users be more effective with and increase their understanding of their device's battery usage. Khai N. Truong, Julie A. Kientz, Timothy Sohn, Alyssa Rosenzweig, Amanda Fonville, Tim Smith |
UbiComp | 6 |