Skip to Main content Skip to Navigation
New interface


...
tel-02166221v1  Theses
Pierre Boutry. On the formalization of foundations of geometry
Geometric Topology [math.GT]. Université de Strasbourg, 2018. English. ⟨NNT : 2018STRAD042⟩
...
tel-01508489v1  Theses
Cheikh Hito Kacfah Emani. Formalisation automatique et sémantique de règles métiers
Informatique et langage [cs.CL]. Université de Lyon, 2016. Français. ⟨NNT : 2016LYSE1301⟩
...
tel-01599827v1  Theses
Aymen Louati. Contribution à la formalisation et à la vérification des diagrammes dynamiques UML2 à base des réseaux de Petri
Réseau de neurones [cs.NE]. Conservatoire national des arts et metiers - CNAM; École nationale d'ingénieurs de Tunis (Tunisie), 2015. Français. ⟨NNT : 2015CNAM1106⟩
...
tel-01748706v1  Theses
Matthieu Kaczmarek. Des fondements de la virologie informatique vers une immunologie formelle
Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2008. Français. ⟨NNT : 2008INPL097N⟩
...
tel-03048085v1  Habilitation à diriger des recherches
Ivan Varzinczak. Habilitation (Summary of main contributions to the field and some general perspectives on future research)
Artificial Intelligence [cs.AI]. Université d'Artois, 2019
...
tel-01112334v1  Theses
Tuan Minh Pham. Formal Description of Geometrical Properties
Logic in Computer Science [cs.LO]. Univeristé Nice Sophia Antipolis, 2011. English. ⟨NNT : ⟩
...
tel-01229874v1  Theses
Arnaud Lefray. Security for Virtualized Distributed Systems : from Modelization to Deployment
Modeling and Simulation. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1032⟩
...
tel-01089490v1  Habilitation à diriger des recherches
Évelyne Contejean. Facettes de la preuve
Logique en informatique [cs.LO]. Université Paris-Sud, 2014
...
tel-00118806v1  Theses
Julien Narboux. Formalisation et automatisation du raisonnement géométrique en Coq.
Autre [cs.OH]. Université Paris Sud - Paris XI, 2006. Français. ⟨NNT : ⟩
...
tel-01793628v1  Theses
Jie Sun. Intelligent flood adaptative contex-aware system
Other [cs.OH]. Université Clermont Auvergne [2017-2020], 2017. English. ⟨NNT : 2017CLFAC076⟩
...
tel-00697408v1  Theses
Fabien Renaud. Les ressources explicites vues par la théorie de la réécriture.
Théorie et langage formel [cs.FL]. Université Paris-Diderot - Paris VII, 2011. Français. ⟨NNT : ⟩
...
tel-00117409v1  Theses
Assia Mahboubi. Contributions à la certification des calculs dans R : théorie, preuves, programmation
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2006. Français. ⟨NNT : ⟩
...
tel-02012674v1  Theses
Pierre Boutry. On the Formalization of Foundations of Geometry
Logic in Computer Science [cs.LO]. Université de Strasbourg, 2018. English. ⟨NNT : ⟩
...
tel-00609424v1  Theses
Cédric Joffroy. Composition d'applications et de leurs Interfaces homme-machine dirigée par la composition fonctionnelle
Interface homme-machine [cs.HC]. Université Nice Sophia Antipolis, 2011. Français. ⟨NNT : ⟩