Florent Bouchy

	2009
4		Florent Bouchy, Alain Finkel, Pierluigi San Pietro: Dense-choice Counter Machines revisited CoRR abs/0911.3405: (2009)
3		Florent Bouchy, Alain Finkel, Arnaud Sangnier: Reachability in Timed Counter Systems. Electr. Notes Theor. Comput. Sci. 239: 167-178 (2009)
	2008
2		Florent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals. TIME 2008: 147-155
1		Florent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals CoRR abs/0812.1967: (2008)

Coauthor Index

1	Alain Finkel	[1] [2] [3] [4]
2	Jérôme Leroux	[1] [2]
3	Pierluigi San Pietro	[4]
4	Arnaud Sangnier	[3]