Alexis Bs
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2001–2020
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | LATA | $\langle \mathbb {R}, +, <, 1 \rangle $ Is Decidable in $\langle \mathbb {R}, +, < , \mathbb {Z}\rangle $. | Alexis Bs, Christian Choffrut |
| 2011 | CSL | Algebraic Characterization of FO for Scattered Linear Orderings. | Alexis Bs, Olivier Carton |
| 2008 | CSR | Logic and Rational Languages of Words Indexed by Linear Orderings. | Nicolas Bedon, Alexis Bs, Olivier Carton, Chloe Rispal |
| 2005 | DLT | A Kleene Theorem for Languages of Words Indexed by Linear Orderings. | Alexis Bs, Olivier Carton |
| 2001 | TIME | Temporal Tableau Queries. | Jef Wijsen, Alexis Bs |