Skip to Main content Skip to Navigation
New interface


...
tel-00310923v1  Theses
Pierre-Loïc Garoche. Static Analysis of an Actor-based Process Calculus by Abstract Interpretation
Software Engineering [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2008. English. ⟨NNT : ⟩
...
tel-00356750v1  Theses
Véronique Boisson. Test de type-log rank pour l'évolution de la qualité de vie liée à la santé
Sciences du Vivant [q-bio]. Université Pierre et Marie Curie - Paris VI, 2008. Français. ⟨NNT : ⟩
...
tel-00010146v1  Theses
Philippe Saint-Pierre. Modèles multi-états de type Markovien et application à l'asthme
Sciences du Vivant [q-bio]. Université Montpellier I, 2005. Français. ⟨NNT : ⟩
...
tel-01119228v1  Theses
Sarah Lemler. Estimation for counting processes with high-dimensional covariates
Statistics [stat]. Universite d'Evry Val d'Essonne, 2014. English. ⟨NNT : ⟩