Florent Bouchy

	2009
4		Florent Bouchy, Alain Finkel, Pierluigi San Pietro: Dense-choice Counter Machines revisited INFINITY 2009: 3-22
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]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page