Decomposition of Decidable First-Order Logics over Integers and Reals. - Florent Bouchy; Alain Finkel; Jérôme Leroux (TIME, 2008)

Reachability in Timed Counter Systems. - Florent Bouchy; Alain Finkel; Arnaud Sangnier (INFINITY, 2009)

Dense-choice Counter Machines revisited. - Florent Bouchy; Alain Finkel; Pierluigi San Pietro (Theor. Comput. Sci., 2014)