Skip to Main content Skip to Navigation
New interface


...
tel-03441023v2  Theses
Kenji Maillard. Principles of program verification for arbitrary monadic effects
Programming Languages [cs.PL]. Université Paris sciences et lettres, 2019. English. ⟨NNT : 2019PSLEE081⟩
...
tel-00003586v1  Theses
Nicolas Bedon. Langages reconnaissables de mots indexés par des ordinaux
Autre [cs.OH]. Université de Marne la Vallée, 1998. Français. ⟨NNT : ⟩
...
tel-01942421v1  Theses
Julien Forget. A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints
Embedded Systems. Institut Supérieur de l’Aéronautique et de l’Espace, 2009. English. ⟨NNT : ⟩
...
tel-01369451v1  Theses
Florent Latombe. Systematic use of Models of Concurrency in eXecutable Domain-Specific Modeling Languages
Software Engineering [cs.SE]. Université de Toulouse - Institut National Polytechnique de Toulouse (INPT), 2016. English. ⟨NNT : ⟩
...
tel-01908769v1  Theses
Cristina Serban. Automated reasoning in separation logic with inductive definitions
Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAM030⟩
...
tel-01792635v1  Theses
Irini-Eleftheria Mens. Learning regular languages over large alphabets
Machine Learning [cs.LG]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM052⟩
...
tel-01644462v1  Theses
Valeria Vignudelli. Behavioral Equivalences for Higher-Order Languages with Probabilities
Logic in Computer Science [cs.LO]. University of Bologna, 2017. English. ⟨NNT : ⟩
...
tel-00546917v1  Habilitation à diriger des recherches
Horatiu Cirstea. Le calcul de réécriture
Génie logiciel [cs.SE]. Université Nancy II, 2010
...
tel-00550828v1  Theses
Dominique Ginhac. Prototypage rapide d'applications parallèles de vision artificielle par squelettes fonctionnels
Traitement du signal et de l'image [eess.SP]. Université Blaise Pascal - Clermont-Ferrand II, 1999. Français. ⟨NNT : ⟩
...
tel-00496850v1  Habilitation à diriger des recherches
Philippe Le Parc. Méthodes et outils informatiques pour la commande locale ou distante de systèmes réactifs
Informatique [cs]. Université de Bretagne occidentale - Brest, 2004
...
tel-00507482v1  Theses
Thi-Dieu-Thu Nguyen. A DL-Based Approach to Integrate Relational Data Sources into the Semantic Web
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2008. English. ⟨NNT : ⟩
...
tel-00359948v1  Theses
Laurent Burgy. Approche langage au développement du support protocolaire d'applications réseaux
Réseaux et télécommunications [cs.NI]. Université Sciences et Technologies - Bordeaux I, 2008. Français. ⟨NNT : ⟩
...
tel-00289691v1  Habilitation à diriger des recherches
Didier Bert. La Programmation générique : construction de logiciel, spécification algébrique et vérification
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1979
...
tel-00719172v1  Habilitation à diriger des recherches
Frédérique Bassino. Automates, énumération et algorithmes
Algorithme et structure de données [cs.DS]. Université de Marne la Vallée, 2005
...
tel-00005124v1  Theses
Pascal Dechamboux. Gestion d'objets persistants : du langage de programmation au système
Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1993. Français. ⟨NNT : ⟩
...
tel-00111653v2  Theses
Celine Kuttler. Modélisation de l'expression génétique bactérienne dans un pi-calcul stochastique à objets concurrents
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2007. Français. ⟨NNT : ⟩
...
tel-00785984v1  Theses
Jinpeng Li. Symbol and Spatial Relation Knowledge Extraction Applied to On-Line Handwritten Scripts
Automatic Control Engineering. Université de Nantes Angers Le Mans, 2012. English. ⟨NNT : ⟩
...
pastel-00001336v1  Theses
Olivier Tardieu. Loops in Esterel: From Operational Semantics to Formally Specified Compilers
domain_other. École Nationale Supérieure des Mines de Paris, 2004. English. ⟨NNT : 2004ENMP1237⟩
...
tel-01427009v2  Theses
Thomas Degueule. Composition and Interoperability for External Domain-Specific Language Engineering
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2016. English. ⟨NNT : ⟩
...
tel-01900619v1  Theses
Colin Vidal. Programmation web réactive
Web. Université Côte d'Azur, 2018. Français. ⟨NNT : 2018AZUR4049⟩
...
tel-01062785v1  Theses
Vincent Benayoun. Analyse de dépendances ML pour les évaluateurs de logiciels critiques.
Autre [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2014. Français. ⟨NNT : 2014CNAM0915⟩
...
tel-02418676v1  Theses
Manuel Leduc. On modularity and performance of External Domain-Specific Language implementations
Software Engineering [cs.SE]. Université de rennes 1, 2019. English. ⟨NNT : ⟩