Florent Bouchy

According to our database, Florent Bouchy authored at least 3 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Dense-choice Counter Machines revisited.

Florent Bouchy, Alain Finkel, Pierluigi San Pietro

Theor. Comput. Sci., 2014

2009

Reachability in Timed Counter Systems.

Florent Bouchy, Alain Finkel, Arnaud Sangnier

Proceedings of the Joint Proceedings of the 8th, 2009

2008

Decomposition of Decidable First-Order Logics over Integers and Reals.

Florent Bouchy, Alain Finkel, Jérôme Leroux

Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008