Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper). - Bernard Boigelot; Pascal Fontaine; Baptiste Vergain (SC-Square@SIAM AG, 2021)

Decidability of difference logics with unary predicates. - Bernard Boigelot; Pascal Fontaine; Baptiste Vergain (SC-Square@FLoC, 2022)

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. - Bernard Boigelot; Pascal Fontaine; Baptiste Vergain (CADE, 2023)

Universal First-Order Quantification over Automata. - Bernard Boigelot; Pascal Fontaine; Baptiste Vergain (CIAA, 2023)

First-Order Quantification over Automata. - Bernard Boigelot; Pascal Fontaine; Baptiste Vergain (CoRR, 2023)

Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals. - Bernard Boigelot; Pascal Fontaine; Baptiste Vergain (CIAA, 2024)