Skip to Main content Skip to Navigation
New interface


...
pastel-00000864v1  Theses
Sorin Craciunescu. Vérification des programmes logiques.
Informatique [cs]. Ecole Polytechnique X, 2004. Français
...
tel-00707124v1  Habilitation à diriger des recherches
Guillaume Sandou. Contribution au développement de méthodologies pour l'Automatique fondées sur l'optimisation
Automatique / Robotique. Université Paris Sud - Paris XI, 2012
...
pastel-00005815v1  Theses
Mohamed Mrad. Utilités Progressives Dynamiques.
Mathématiques [math]. Ecole Polytechnique X, 2009. Français
...
tel-03351955v1  Theses
Ramiro Francisco Mena Andrade. Fast simulation - assisted shape correction after machining
Solid mechanics [physics.class-ph]. École centrale de Nantes; Universitat politècnica de Catalunya - BarcelonaTech, 2021. English. ⟨NNT : 2021ECDN0011⟩
...
tel-01674956v3  Theses
Michell Guzmán. On the expressiveness of spatial constraint systems
Logic in Computer Science [cs.LO]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX064⟩
...
tel-03369452v1  Theses
Nicolas Jeannerod. Verification of Shell Scripts Performing File Hierarchy Transformations
Logic in Computer Science [cs.LO]. Université de Paris, 2021. English. ⟨NNT : ⟩