Recherche
-
Analysis of reliability characteristics estimators in accelerated life testing
(Birkhauser, 1998)Chapitre d'ouvrage -
Une stratégie à la loterie?
Communication dans un congrès -
Dynamique des populations de monogènes, ectoparasites de téléostéens : stratégies démographiques et implications mathématiques
(Ecologie. vol. 30, n° 4, pp. 247-260, 1999)Article de revue -
Parallel numerical simulation of a marine host-parasite system
(Lecture Notes in Computer Science. vol. 1685, pp. 677-685, 1999)Article de revue -
Secondary instability mode of a roll pattern and transition to spatiotemporal chaos in the Taylor-Dean system
(Physical Review E. vol. 58, n° 3, pp. 3089, 1998)Article de revue -
Decidable Call by Need Computations in Term Rewriting
Communication dans un congrès -
Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof
(Information Processing Letters. vol. 52, pp. 137--145, 1994)Article de revue -
Constructor Equivalent Term Rewriting Systems
(Information Processing Letters. vol. 47, pp. 131--137, 1993)Article de revue -
Bounded, Strongly Sequential and Forward-branching Term Rewriting Systems
(Journal of Symbolic Computation. vol. 18, pp. 319--352, 1994)Article de revue -
Factorisations explicites de g(y) - h(z)
(Acta Arithmetica. vol. 87, n° 4, pp. 291-317, 1999)Article de revue