Reachability analysis of dynamical systems having piecewise-constant derivatives, Theoretical Computer Science, vol.138, issue.1, pp.35-65, 1995. ,
DOI : 10.1016/0304-3975(94)00228-B
Widening the Boundary between Decidable and Undecidable Hybrid Systems*, CONCUR 2002 -Concurrency Theory, 13th International Conference, pp.193-208, 2002. ,
DOI : 10.1007/3-540-45694-5_14
On the Decidability of the Reachability Problem for Planar Differential Inclusions, Hybrid Systems: Computation and Control, 4th International Workshop, pp.89-104, 2001. ,
DOI : 10.1007/3-540-45351-2_11
Deux propri??t??s d??cidables des suites r??currentes lin??aires, Bulletin de la Société mathématique de France, vol.79, pp.175-184, 1976. ,
DOI : 10.24033/bsmf.1823
A survey of computational complexity results in systems and control, Automatica, vol.36, issue.9, pp.1249-1274, 2000. ,
DOI : 10.1016/S0005-1098(00)00050-9
Algorithmique efficace pour des opérations de base en calcul formel, 2003. ,
Complexité algorithmique des systèmes dynamiques continus et hybrides, 1999. ,
Irreducibles and the composed product for polynomials over a finite field, Discrete Mathematics, vol.65, issue.2, pp.115-139, 1987. ,
DOI : 10.1016/0012-365X(87)90135-X
A Course in Computational Algebraic Number Theory, 1993. ,
DOI : 10.1007/978-3-662-02945-9
Robust simulations of Turing machines with analytic maps and flows, CiE 2005: New Computational Paradigms, pp.169-179, 2005. ,
Skolem's problem -on the border between decidability and undecidability, 2005. ,
Differential Equations, Dynamical Systems, and an Introduction to Chaos, 2003. ,
Differential Equations, Dynamical Systems, and Linear Algebra, 1974. ,
Cours de mathématiques, tome 1 : algèbre. Dunod, 1971. ,
Deterministic non-periodic flow, Journal of the Atmospheric Sciences, vol.20, pp.130-141, 1963. ,
An inequality about factors of polynomials, Mathematics of Computation, vol.28, issue.128, pp.1153-1157, 1974. ,
DOI : 10.1090/S0025-5718-1974-0354624-3
Suites récurrentes linéaires, Séminaire Delange-Pisot-Poitou. Théorie des nombres, pp.14-15, 1974. ,
Modern Computer Algebra, 2003. ,