Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (41)
  • Paris 11 (17)
  • Toulouse 3 (13)
  • Paris 7 (10)
  • Rennes 1 (10)
  • Lille 1 (9)
  • Vandoeuvre-les-Nancy, INPL (9)
  • Paris Saclay (8)
  • Grenoble Alpes (7)
  • Université de Lorraine (7)
  • Lyon 1 (6)
  • Nice (6)
  • Sorbonne Paris Cité (6)
  • Grenoble INPG (5)
  • Montpellier 2 (5)
  • Nantes (5)
  • Orléans (5)
  • Palaiseau, Ecole polytechnique (5)
  • Paris Est (5)
  • Besançon (4)
  • Aix-Marseille (3)
  • Cachan, Ecole normale supérieure (3)
  • Clermont-Ferrand 2 (3)
  • Dijon (3)
  • Lyon (3)
  • Paris 6 (3)
  • Versailles-St Quentin en Yvelines (3)
  • Aix-Marseille 1 (2)
  • Aix-Marseille 2 (2)
  • Bordeaux (2)
  • Bordeaux 1 (2)
  • Caen (2)
  • Chambéry (2)
  • Grenoble 1 (2)
  • Littoral (2)
  • Lyon, INSA (2)
  • Montpellier (2)
  • Paris, CNAM (2)
  • Télécom Bretagne (2)
  • Paris, ENMP (1)
  • Aix-Marseille 3 (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Ecole Centrale de Lille (1)
  • Ecully, Ecole centrale de Lyon (1)
  • Evry-Val d'Essonne (1)
  • Grenoble (1)
  • LISI - Laboratoire d'Ingénierie des Systèmes d'Information (Lyon, INSA) (1)
  • Le Havre (1)
  • Limoges (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Marne-la-vallée, ENPC (1)
  • Mulhouse (1)
  • Normandie (1)
  • Paris 13 (1)
  • Paris 9 (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENMP (1)
  • Reims (1)
  • Saint-Etienne (1)
  • Toulouse, INSA (1)
  • Tsinghua University (Pékin) (1)
  • Universidad de Buenos Aires (1)
  • Universidade de São Paulo (Brésil) (1)
  • Université Djillali Liabès (Sidi Bel-Abbès, Algérie) (1)
  • Université Ibn Zohr (Agadir, Maroc) (1)
  • Valenciennes (1)
  • Warsaw, Uniwersytet Warszawski (1)
  • École centrale de Nantes (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (181)
  • Sciences appliquées (12)
  • Mathématiques (8)
  • Informatique et mathématiques (3)
  • Informatique, temps réel, robotique et automatique (2)
  • Mathématiques et Informatique (2)
  • Mathématiques et leurs interactions (2)
  • Réseaux, télécoms, systèmes et architecture (2)
  • Sciences et techniques communes (2)
  • Astronomie et astrophysique (1)
  • Automatique (1)
  • Automatique - productique (1)
  • Automatique et informatique appliquée (1)
  • Automatique et informatique des systèmes industriels et humains. Informatique (1)
  • Automatique, informatique industrielle (1)
  • Automatique, traitement du signal et images (1)
  • Biostatistique (1)
  • Composants, signaux et systèmes (1)
  • Doctorat uhp informatique (1)
  • Génie industriel conception et production (1)
  • Génie informatique (1)
  • Génie informatique et automatique (1)
  • Information. Mathématiques et logique (1)
  • Informatique (E-santé) (1)
  • Informatique biomédicale (1)
  • Informatique fondamentale (1)
  • Informatique industrielle et automatique (1)
  • Ingénierie informatique (1)
  • Mathematiques (1)
  • Mathématiques appliquées (1)
  • Mathématiques appliquées et application mathématiques (1)
  • Mathématiques discrètes et fondements de l'informatique (1)
  • Mathématiques et informatique (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique (1)
  • Robotique (1)
  • Sciences de l'ingénieur (1)
  • Sciences de l'éducation (1)
  • Sciences et techniques (1)
  • Sciences. Informatique (1)
  • Sciences. Informatique fondamentale (1)
  • Sciences. Mathématiques (1)
  • Systèmes informatiques (1)
  • Études cinématographiques et audiovisuelles (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (15)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (6)
  • École doctorale en Informatique et Mathématiques de Lyon (6)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (5)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (3)
  • IAEM Lorraine (3)
  • École doctorale Informatique, télécommunications et électronique (Paris) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (2)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (2)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (1)
  • I2S - Information, Structures, Systèmes (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences Mathématiques de Paris Centre (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (189)
  • anglais (58)
  • null (1)
  • espagnol (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Kirchner Claude (22)
  • Kirchner Hélène (12)
  • Rusinowitch Michaël (6)
  • Dauchet Max (5)
  • Jouannaud Jean-Pierre (5)
  • Lescanne Pierre (5)
  • Moreau Pierre-Etienne (5)
  • Kesner Delia (4)
  • Boulaye Guy (3)
  • Caucal Didier (3)
  • Cichon Eugeniusz-Adam (3)
  • Dehornoy Patrick (3)
  • Dowek Gilles (3)
  • Genet Thomas (3)
  • Réty Pierre (3)
  • Soloviev Sergei (3)
  • Basson Henri (2)
  • Benslimane Djamal (2)
  • Bertolissi Clara (2)
  • Bouneffa Mourad (2)
  • Caferra Ricardo (2)
  • Cirstea Horatiu (2)
  • Curien Pierre-Louis (2)
  • Danos Vincent (2)
  • Elloy Jean-Pierre (2)
  • Gaussent Stéphane (2)
  • Giorgetti Alain (2)
  • Guin Daniel (2)
  • Hacid Mohand Saïd (2)
  • Jensen Thomas (2)
  • Jorrand Philippe (2)
  • Kodratoff Yves (2)
  • Kouchnarenko Olga (2)
  • Lafont Yves (2)
  • Malbos Philippe (2)
  • Manolescu Goujot Ioana Gabriela (2)
  • Monteil Thierry (2)
  • Mugnier Marie-Laure (2)
  • Muller Gilles (2)
  • Oquendo Flavio (2)
  • Riveill Michel (2)
  • Schneider Michel (2)
  • Tison Sophie (2)
  • Alloui Ilham (1)
  • André Charles (1)
  • Arrighi Pablo (1)
  • Baget Jean-François (1)
  • Banâtre Jean-Pierre (1)
  • Bauderon Michel (1)
  • Beauquier Joffroy (1)
  • Benbernou Salima (1)
  • Benslimane Sidi Mohamed (1)
  • Berland Richard (1)
  • Bernot Gilles (1)
  • Berry Gérard (1)
  • Bertelle Cyrille (1)
  • Berthelot Gérard (1)
  • Besson Gérard (1)
  • Beugnard Antoine (1)
  • Bidoit Michel (1)
  • Blanqui Fréderic (1)
  • Blay-Fornarino Mireille (1)
  • Bouajjani Ahmed (1)
  • Bouatouch Kadi (1)
  • Bouaziz Samir (1)
  • Boucelma Omar (1)
  • Boughanem Mohand (1)
  • Bouquet Fabrice (1)
  • Bournez Olivier (1)
  • Boutat-Baddas Latifa (1)
  • Bouzeghoub Mokrane (1)
  • Bremont Jacques (1)
  • Caron Anne-Cécile (1)
  • Chailloux Emmanuel (1)
  • Charoy François (1)
  • Chassot Christophe (1)
  • Chbeir Richard (1)
  • Chevallier D. (1)
  • Chrisment Claude (1)
  • Clément Michel (1)
  • Collet Christine (1)
  • Conchon Sylvain (1)
  • Consel Charles (1)
  • Coquery Emmanuel (1)
  • Cousot Patrick (1)
  • Couvreur Jean-Michel (1)
  • Cuppens Frédéric (1)
  • Curien Pierre-louis (1)
  • Curé Olivier (1)
  • Darouach Mohamed (1)
  • Daurès Jean-Pierre (1)
  • David Bertrand (1)
  • Delahaye Jean-Paul (1)
  • Delaplace Franck (1)
  • Derrien Steven (1)
  • Diaz Michel (1)
  • Dikovsky Alexandre (1)
  • Drira Khalil (1)
  • Dubois Catherine (1)
  • Dubois Philippe (1)
  • Durand Irène (1)
  • Durieux Jean-Louis (1)
  • Echahed Rachid (1)
  • Ehrhard Thomas (1)
  • Fabre Michel (1)
  • Fariñas del Cerro Luis (1)
  • Finance Jean-Pierre (1)
  • Fouque Pierre-Alain (1)
  • Froidevaux Christine (1)
  • Fréville Arnaud (1)
  • Fédèle Carine (1)
  • Féraud Louis (1)
  • Gallico André (1)
  • Gardent Claire (1)
  • Gasquet Olivier (1)
  • Gaudry Pierrick (1)
  • Giusti Marc (1)
  • Glade Nicolas (1)
  • Gnaedig Isabelle (1)
  • Godart Claude (1)
  • Grau Brigitte (1)
  • Guerrini Stefano (1)
  • Guiraud Yves (1)
  • Gzara Lilia (1)
  • Haddad Serge (1)
  • Hassenforder Michel (1)
  • Hermant Olivier (1)
  • Imine Abdessamad (1)
  • Jalby William (1)
  • Janodet Jean-Christophe (1)
  • Jaulent Marie-Christine (1)
  • Jayez Jacques-Henri (1)
  • Jouanot Fabrice (1)
  • Jouvelot Pierre (1)
  • Joye Alain (1)
  • Jégou Philippe (1)
  • KOTT LAURENT (1)
  • Kassel Christian (1)
  • Kayser Daniel (1)
  • Kounalis Emmanuel (1)
  • La Higuera Colin de (1)
  • Lagache Guilaine (1)
  • Lamarre Philippe (1)
  • Landais Paul (1)
  • Latif Rachid (1)
  • Latteux Michel (1)
  • Le Berre François (1)
  • Leclère Michel (1)
  • Lenczner Michel (1)
  • Lesueur François (1)
  • Limet Sébastien (1)
  • Lugiez Denis (1)
  • Magnier Janine (1)
  • Marché Claude (1)
  • Marion Jean-Yves (1)
  • Matos Ana Almeida (1)
  • Melançon Guy (1)
  • Melliès Paul-André (1)
  • Mermet Jean (1)
  • Merz Stephan (1)
  • Michel Olivier (1)
  • Miller Dale (1)
  • Mosbah Mohamed (1)
  • Motet Gilles (1)
  • Muller Jean-Michel (1)
  • Nicaud Jean-François (1)
  • Paillet Jean-Luc (1)
  • Palamidessi Catuscia (1)
  • Paris Luis (1)
  • Paulin-Mohring Christine (1)
  • Payan Charles (1)
  • Percebois Christian (1)
  • Pernelle Philippe (1)
  • Perruquetti Wilfrid (1)
  • Petit Antoine (1)
  • Peureux Fabien (1)
  • Pinaud Bruno (1)
  • Ploix Stéphane (1)
  • Pouzet Maurice (1)
  • Preller Anne (1)
  • Prouté Alain (1)
  • Quinton Patrice (1)
  • Retoré Christian (1)
  • Rey Christophe (1)
  • Rezk Tamara (1)
  • Ringeissen Christophe (1)
  • Rios Alejandros (1)
  • Rousset Marie-Christine (1)
  • Rémy Jean-Luc (1)
  • Scholl Michel (1)
  • Segoufin Luc (1)
  • Senizergues Géraud (1)
  • Serre Olivier (1)
  • Souquières Jeanine (1)
  • Spyratos Nicolas (1)
  • Steel Graham (1)
  • Stolf Patricia (1)
  • Sèdes Florence (1)
  • Talbot Jean-Marc (1)
  • Talpin Jean-Pierre (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (194)
  • Sciences de l'ingénieur (32)
  • Mathématiques (25)
  • Informatique, information, généralités (9)
  • Sciences de la nature et mathématiques (3)
  • Technologie (Sciences appliquées) (3)
  • Médecine et santé (3)
  • Physique (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Education et enseignement (1)
  • Astronomie, cartographie, géodésie (1)
  • Bâtiments (1)
  • Arts du spectacle, loisirs (1)

Domaines :

Fullscreen

...réécriture k-bornée aux systèmes de réécriture de termes linéaires à gauche. Comme dans le cas linéaire, nous...

Accéder en ligne
Informatique

Soutenue en 2009
thèse soutenue
Informatique

Soutenue en 1998
thèse soutenue
Sciences appliquées

Soutenue en 1992
thèse soutenue
Mathématiques

Soutenue le 08-12-2016
thèse soutenue

...systèmes de réécriture et le problème du mot. Les systèmes de réécriture sont des présen-tations orientées...

Accéder en ligne

.... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81.1.3. Systèmes de réécriture . . . . . . . . . . . . . . . . . . . . . . . . . 91.1.4. Confluence...

Accéder en ligne

...réécriture de termes comme formalisme pour la spécification des politiques de sécurité.Les premières...

Accéder en ligne
Informatique

Soutenue en 2000
thèse soutenue

Résultats 1 à 10