Skip to Main content Skip to Navigation
New interface


...
pastel-00001355v1  Theses
Raul Acosta-Bermejo. Rejo Langage d'Objects Réactifs et d'Agents
domain_other. École Nationale Supérieure des Mines de Paris, 2003. Français. ⟨NNT : 2003ENMP1158⟩
...
tel-02010316v1  Theses
Ahmad Mazyad. Contribution to automatic text classification : metrics and evolutionary algorithms
Document and Text Processing. Université du Littoral Côte d'Opale, 2018. English. ⟨NNT : 2018DUNK0487⟩
...
tel-03511998v1  Theses
Carolina Hernández Phillips. Bootstrap-Based Language Development: Turning an existing VM into a polyglot VM
Computer Science [cs]. Université de Lille; IMT Lille Douai, 2021. English. ⟨NNT : ⟩
...
tel-00343578v1  Theses
Cyril Autant. Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1993. Français. ⟨NNT : ⟩
...
tel-00416184v1  Theses
Luc Bougé. Modularité et symétrie pour les systèmes répartis; application au langage CSP
Génie logiciel [cs.SE]. Université Paris-Diderot - Paris VII, 1987. Français. ⟨NNT : ⟩
...
tel-00752116v1  Theses
Simplice Djoko Djoko. Analyses et vérification des programmes à aspects
Langage de programmation [cs.PL]. Université de Nantes, 2009. Français. ⟨NNT : ⟩
...
tel-01087372v1  Theses
Julien Richard-Foy. Ingénierie des applications Web : réduire la complexité sans diminuer le contrôle
Génie logiciel [cs.SE]. Université de Rennes 1, France, 2014. Français
...
tel-02403790v1  Habilitation à diriger des recherches
Claude Pasquier. Contributions à la fouille de données complexes
Bio-informatique [q-bio.QM]. Université Côte d'Azur, CNRS, I3S, France; École doctorale STIC, 2018
...
tel-01518362v1  Habilitation à diriger des recherches
Corinne Ancourt. Sûreté : de l'analyse à l'instrumentation et à la synthèse de code
Calcul parallèle, distribué et partagé [cs.DC]. Université Pierre et Marie Curie (Paris 6), 2015
...
tel-03000967v1  Theses
Karim Ammous. Compression par profilage du code Java compilé pour les systèmes embarqués
Informatique [cs]. Université de Valenciennes et du Hainaut-Cambrésis, 2007. Français. ⟨NNT : 2007VALE0023⟩
...
tel-00808419v1  Theses
Jean-Baptiste Arnaud. Towards First Class References as a Security Infrastructure in Dynamically-Typed Languages
Programming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2013. English. ⟨NNT : ⟩
...
tel-02495270v1  Habilitation à diriger des recherches
Thomas Guyet. Enhancing sequential pattern mining with time and reasoning
Artificial Intelligence [cs.AI]. Université de Rennes 1, 2020
...
tel-01748452v1  Theses
Dong Cheng. Capability Management and Discovery in Heterogeneous Environments
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2008. English. ⟨NNT : 2008NAN10059⟩
...
tel-00923809v1  Theses
Rachel Panckhurst. Description linguistique et implémentation en FX des structures interrogatives (directes) du français.
Informatique et langage [cs.CL]. Université Blaise Pascal - Clermont-Ferrand II, 1990. Français
...
tel-00945453v1  Theses
Adnan Bouakaz. Real-time scheduling of dataflow graphs
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S103⟩
...
tel-01747519v1  Theses
David Chamont. Architecture logicielle pour la simulation des transferts radiatifs
Informatique [cs]. Université Henri Poincaré - Nancy 1, 1997. Français. ⟨NNT : 1997NAN10254⟩