| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Florent Bouchy, Alain Finkel, Arnaud Sangnier: Reachability in Timed Counter Systems. Electr. Notes Theor. Comput. Sci. 239: 167-178 (2009) |
| 2008 | ||
| 2 | EE | Florent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals. TIME 2008: 147-155 |
| 1 | EE | Florent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals CoRR abs/0812.1967: (2008) |
| 1 | Alain Finkel | [1] [2] [3] |
| 2 | Jérôme Leroux | [1] [2] |
| 3 | Arnaud Sangnier | [3] |