VLDB 2026 Research / reviewers in the wild / expert
Bastien Laboureix
dblp:237/4751
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | On the connectedness of arithmetic hyperplanes
Bastien Laboureix, Eric Domenjoud |
Theor. Comput. Sci. | 1 |
| 2021 | Keyboards as a New Model of ComputationabstractWe introduce a new formalisation of language computation, called keyboards. We consider a set of atomic operations (writing a letter, erasing a letter, going to the right or to the left) and we define a keyboard as a set of finite sequences of such operations, called keys. The generated language is the set of words obtained by applying some non-empty sequence of those keys. Unlike classical models of computation, every key can be applied anytime. We define various classes of languages based on different sets of atomic operations, and compare their expressive powers. We also compare them to rational, context-free and context-sensitive languages. We obtain a strict hierarchy of classes, whose expressiveness is orthogonal to the one of the aforementioned classical models. We also study closure properties of those classes, as well as fundamental complexity problems on keyboards. Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard |
MFCS | 2 |