Baptiste Vergain
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Deciding reachability in automata on words indexed by the reals and rationals Theoretical Computer Science | 2026-06-12 | Paper |
| On the theory of order over real numbers Mathematics in Computer Science | 2026-04-21 | Paper |
| Universal first-order quantification over automata International Journal of Foundations of Computer Science | 2026-02-17 | Paper |
| Non-emptiness test for automata over words indexed by the reals and rationals | 2025-01-20 | Paper |
| Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates | 2024-04-26 | Paper |
| Universal first-order quantification over automata Implementation and Application of Automata | 2024-02-28 | Paper |
| Universal first-order quantification over automata Implementation and Application of Automata | 2024-02-28 | Paper |
Research outcomes over time
This page was built for person: Baptiste Vergain
