Skip to Main content Skip to Navigation
New interface

tel-00422569v2  Theses
Colas Le Guernic. Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics
Computer Science [cs]. Université Joseph-Fourier - Grenoble I, 2009. English. ⟨NNT : ⟩
tel-00011820v1  Theses
Mihai Gradinaru. Green functions and the support of hypoelliptic diffusions
Mathematics [math]. Université Paris Sud - Paris XI, 1995. English. ⟨NNT : ⟩
pastel-00643442v1  Theses
Khalil Ghorbal. Static Analysis of Numerical Programs: Constrained Affine Sets Abstract Domain
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English
tel-00005185v1  Theses
Laurent Gardes. Estimation d'une fonction quantile extrême
Mathématiques [math]. Université Montpellier II - Sciences et Techniques du Languedoc, 2003. Français. ⟨NNT : ⟩