Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (62)
  • Paris Saclay (40)
  • Grenoble (35)
  • Lyon (17)
  • Bordeaux (16)
  • Paris Est (16)
  • Rennes 1 (16)
  • Sorbonne Paris Cité (16)
  • Université de Lorraine (13)
  • Paris Sciences et Lettres (12)
  • Aix-Marseille (10)
  • Montpellier (9)
  • Toulouse 3 (7)
  • Ecole centrale de Lille (6)
  • Besançon (5)
  • Nantes (5)
  • Normandie (5)
  • Orléans (5)
  • Cachan, Ecole normale supérieure (4)
  • Clermont Auvergne (4)
  • Côte d'Azur (4)
  • Lyon 1 (4)
  • Paris 11 (4)
  • Paris, CNAM (4)
  • Paris, Ecole normale supérieure (4)
  • Toulouse 1 (4)
  • Belfort-Montbéliard (3)
  • Châtenay-Malabry, Ecole centrale de Paris (3)
  • Lorient (3)
  • Paris 6 (3)
  • Paris 7 (3)
  • Angers (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (2)
  • Limoges (2)
  • Paris 1 (2)
  • Paris 13 (2)
  • Paris 5 (2)
  • Toulouse, INPT (2)
  • Toulouse, ISAE (2)
  • University of Western Sydney (2)
  • Università degli studi (Bologne, Italie). Facoltà di Ingegneria (2)
  • Université libre de Bruxelles (1970-....) (2)
  • Valenciennes (2)
  • AGH University of Science and Technology (Cracovie, Pologne) (1)
  • Amiens (1)
  • Artois (1)
  • Bordeaux 1 (1)
  • Bourgogne Franche-Comté (1)
  • Brest (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Brno University of Technology (MAIS) (1)
  • CentraleSupélec (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Clermont-Ferrand 2 (1)
  • Colorado state university (1)
  • Corte (1)
  • Dijon (1)
  • Ecully, Ecole centrale de Lyon (1)
  • Evry, Institut national des télécommunications (1)
  • Institut von Karman de dynamique des fluides (Rhode-Saint-Genèse, Belgique) (1)
  • Lille 1 (1)
  • Lille 3 (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montpellier 2 (1)
  • Montpellier, SupAgro (1)
  • Paris 4 (1)
  • Paris, ENST (1)
  • Pau (1)
  • Politecnico di Bari. Dipartimento di Ingegneria Elettrica e dell'Informazione (Italia) (1)
  • Rennes, INSA (1)
  • Rennes, École normale supérieure (1)
  • Rouen (1)
  • Saint-Etienne (1)
  • School of law (Berkeley, Calif.) (1)
  • Simon Fraser university (Burnaby, Canada) (1)
  • Sobolev Institute of Mathematics (1)
  • Sorbonne université (1)
  • Technische Universität (Munich, Allemagne) (1)
  • Technische Universität (Vienne) (1)
  • Télécom Bretagne (1)
  • Universidad de Concepción (Chili) (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universidade estadual de Campinas (Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Université Jiaotong (Xi'an, Chine) (1)
  • University of Auckland (1)
  • University of Gezira (Wad Medani, Sudan) (1)
  • University of Waterloo (Canada) (1)
  • Università degli studi (Bologne, Italie) (1)
  • Università degli studi (Milan, Italie). Convegno di studi (2000 ; Milano) (1)
  • Università degli studi (Padoue, Italie). Dipartimento di filosofia, sociologia, pedagogia e psicologia applicata (1)
  • Università degli studi (Trente, Italie) (1)
  • Università degli studi di Milano - Bicocca (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université Lomonossov (Moscou) (1)
  • Université de Gérone (Espagne) (1)
  • Université de Liège (1)
  • Université de Marne-la-Vallée (1)
  • Université de Montréal (1)
  • Université de Rennes1 (1)
  • Université de Sfax. Faculté des sciences (1)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université du Luxembourg (1)
  • Université libanaise (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (230)
  • Mathématiques et Informatique (11)
  • Mathématiques (10)
  • Automatique (8)
  • Mathématiques appliquées (7)
  • Physique (6)
  • Automatique - productique (4)
  • Informatique. Informatique fondamentale (4)
  • Mathématiques et informatique (4)
  • Nanoélectronique et nanotechnologie (4)
  • Automatique et productique (3)
  • Electronique (3)
  • Informatique et applications (3)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (3)
  • Mécanique (3)
  • Réseaux, information et communications (3)
  • Sciences et technologie industrielles (3)
  • Automatique et informatique industrielle (2)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (2)
  • Automatique, Traitement du Signal et des Images, Génie informatique (2)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Automatique, signal, productique, robotique (2)
  • Génie industriel (2)
  • Mathématiques Appliquées (2)
  • Philosophie (2)
  • Réseaux, télécom, système et architecture (2)
  • Sciences de l'univers (2)
  • Agrosystèmes, écosystèmes et environnement (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Automatique, productique et robotique (1)
  • Automatique. Automatique, génie informatique (1)
  • BIDAP - Biologie, Interactions, Diversité Adaptative des Plantes (1)
  • Biologie Santé (1)
  • Biologie évolutive (1)
  • Climatologie (1)
  • Energétique (1)
  • Frontières des systèmes vivants (1)
  • Image, Vision, Signal (1)
  • Informatique (STIC) (1)
  • Informatique et Mathématiques (1)
  • Informatique et réseaux (1)
  • Informatique fondamentale (1)
  • Informatique. Réseaux (1)
  • Informatique. Théorie des jeux (1)
  • Mathematiques et applications (1)
  • Mathématique, informatique temps-réel, robotique (1)
  • Mathématiques Pures (1)
  • Mathématiques appliquées - combustion (1)
  • Mathématiques et informatique. Automatique (1)
  • Matériaux, Mécanique, Génie civil, Electrochimie (1)
  • Modeles, methodes et algorithmes en biologie, santé et environnement (1)
  • Modèles, méthodes et algorithmes (1)
  • Modélisation moléculaire. Chimie physique (1)
  • Morphologie mathématique (1)
  • Mécanique des fluides (1)
  • Mécanique et matériaux (1)
  • Mécanique numérique et Matériaux (1)
  • Mécanique, Energétique, Génie Civil et Acoustique (1)
  • Optique et photonique (1)
  • Philosophie, sciences de l’environnement (1)
  • Physique pour les sciences du vivant (1)
  • Physique théorique (1)
  • Physique. Biophysique (1)
  • Recherche clinique, innovation technologique, santé publique (1)
  • Réseaux informatiques (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sciences de la terre et de l'environnement (1)
  • Sciences du langage (1)
  • Sciences et Techniques de l'Environnement (1)
  • Sciences et génie des activités à risques (1)
  • Sciences informatiques (1)
  • Sciences économiques (1)
  • Signal image parole telecoms (1)
  • Signal, Image, Automatique (1)
  • Signal, Image, Vision (1)
  • Stic (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)
  • Traitement du Signal et de l'Image (1)
  • Traitement du signal et des images (1)
  • Traitement du signal et télécommunications (1)
  • Volcanologie (1)
  • Électronique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (73)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (29)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (18)
  • École doctorale en Informatique et Mathématiques de Lyon (16)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (15)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (14)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (13)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (13)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (11)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (10)
  • École doctorale Sciences pour l'Ingénieur (Lille) (10)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (9)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (8)
  • École doctorale Informatique, télécommunications et électronique (Paris) (8)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (8)
  • I2S - Information, Structures, Systèmes (7)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (5)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (5)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (5)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale Physique en Île-de-France (Paris) (4)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (4)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (4)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (4)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (4)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (3)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (3)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (3)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (3)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (3)
  • École doctorale physique (Grenoble) (3)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (2)
  • MATHSTIC (2)
  • Sciences et Technologies de l'Information et de la Communication (2)
  • École doctorale Frontières de l'innovation en recherche et éducation (2)
  • École doctorale Philosophie (Paris) (2)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (2)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (2)
  • École doctorale Systèmes (Toulouse) (2)
  • École doctorale École transdisciplinaire Lettres/Sciences (Paris) (2)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (1)
  • EGAAL (1)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (1)
  • Ecole doctorale Sciences Pour l'Ingénieur et Microtechniques (Besançon) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et informatique de Marseille (184) (1)
  • SMI - Sciences des Métiers de l'Ingénieur (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • Sciences pour l'ingénieur (1)
  • Toulouse School of Economics (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • É?cole doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (1)
  • École doctorale Concepts et langages (Paris) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Médicament, toxicologie, chimie, imageries (Paris) (1)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (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 écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (1)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-....) (1)
  • École doctorale de Physique et Astrophysique de Lyon (1)
  • École doctorale de philosophie (Lyon) (1)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (304)
  • français (89)
  • espagnol (1)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (13)
  • Bozga Dorel Marius (7)
  • Maler Oded (7)
  • Demongeot Jacques (4)
  • Lakhnech Yassine (4)
  • Naccache David (4)
  • Barkaoui Kamel (3)
  • Girault Alain (3)
  • Iosif Radu (3)
  • Lafourcade Pascal (3)
  • Rutten Eric (3)
  • Sifakis Joseph (3)
  • Toguyeni Abdoul Karim Armand (3)
  • Arrighi Pablo (2)
  • Assad Safwan el- (2)
  • Bassino Frédérique (2)
  • Bertrand Nathalie (2)
  • Canudas-de-Wit Carlos (2)
  • Carton Olivier (2)
  • Collet Christine (2)
  • Croitoru Madalina (2)
  • Dague Philippe (2)
  • Dang Thao (2)
  • Domaszewski Matthieu (2)
  • El Kamel Abdelkader (2)
  • Fouque Pierre-Alain (2)
  • Fradet Pascal (2)
  • Girard Antoine (2)
  • Giua Alessandro (2)
  • Goubault-Larrecq Jean (2)
  • Graf Susanne (2)
  • Gravier Sylvain (2)
  • Groz Roland (2)
  • Gérard Sébastien (2)
  • Hacid Mohand Saïd (2)
  • Haddad Serge (2)
  • Héam Pierre-Cyrille (2)
  • Kerenidis Iordanis (2)
  • Kucherov Gregory (2)
  • Mateescu Radu (2)
  • Mokdad Nadia Lynda (2)
  • Mosbah Mohamed (2)
  • Muscholl Anca (2)
  • Méhaut Jean-François (2)
  • Niebert Peter (2)
  • Nourine Lhouari (2)
  • Ollinger Nicolas (2)
  • Oquendo Flavio (2)
  • Paragios Nikos (2)
  • Sablik Mathieu (2)
  • Salaün Gwen (2)
  • Simonin Olivier (2)
  • Yvon François (2)
  • Zhang Dongmo (2)
  • Abdalla Michel (1)
  • Adam Sébastien (1)
  • Adimy Mostafa (1)
  • Adjallah Kondo Hloindo (1)
  • Albea Sanchez Carolina (1)
  • Albera Laurent (1)
  • Alexandre Frédéric (1)
  • Alla Hassane Lotfi (1)
  • Amblard Frédéric (1)
  • Andler Daniel (1)
  • Anghel Lorena (1)
  • Apvrille Ludovic (1)
  • Aracena Julio (1)
  • Assaad Mohamad (1)
  • Aubry Jean-François (1)
  • Avgusinovich Sergey (1)
  • Aït-Ameur Yamine (1)
  • Babikir Sharief F. (1)
  • Bachoc Christine (1)
  • Bacroix Brigitte (1)
  • Badis Hakim (1)
  • Badr Youakim (1)
  • Baelde David (1)
  • Bailly Gérard (1)
  • Barhamgi Mahmoud (1)
  • Barthélemy Marc (1)
  • Beauquier Joffroy (1)
  • Beldiceanu Nicolas (1)
  • Benabdenbi Mounir (1)
  • Benbernou Salima (1)
  • Benkhaldoun Fayssal (1)
  • Berenbrink Petra (1)
  • Bergez Jacques-Eric (1)
  • Bernacki Marc (1)
  • Bernard Samuel (1)
  • Berry Hugues (1)
  • Bertin Eric (1)
  • Besacier Laurent (1)
  • Bessy Stéphane (1)
  • Bhattacharyya Pushpak (1)
  • Bilodeau Michel (1)
  • Bisquert Pierre (1)
  • Blanc Xavier (1)
  • Bode Arndt (1)
  • Bodeveix Jean-Paul (1)
  • Bodini Olivier (1)
  • Boeva Valentina (1)
  • Boitet Christian (1)
  • Bollig Benedikt (1)
  • Bon Philippe (1)
  • Bonnet Jérôme (1)
  • Bonvilain Agnès (1)
  • Boochs Frank (1)
  • Borrione Dominique (1)
  • Bos Wouter (1)
  • Bosschaerts Walter (1)
  • Bouatouch Kadi (1)
  • Bouchet Freddy (1)
  • Bouillaguet Charles (1)
  • Boulanger Frédéric (1)
  • Boumerdassi Selma (1)
  • Bouraqadi Noury (1)
  • Bourdeaud'huy Thomas (1)
  • Bourgine Paul (1)
  • Bousquet Lydie du (1)
  • Bousquet Nicolas (1)
  • Bouyer-Decitre Patricia (1)
  • Brachet Marc-Étienne (1)
  • Brunie Lionel (1)
  • Buche Patrice (1)
  • Béal Marie-Pierre (1)
  • Bézy-Wendling Johanne (1)
  • Cachera David (1)
  • Caillaud Benoît (1)
  • Calabretto Sylvie (1)
  • Calude Cristian S. (1)
  • Calvary Gaëlle (1)
  • Caron Pascal (1)
  • Cassé Hugues (1)
  • Cavalli Ana Rosa (1)
  • Chambon Guillaume (1)
  • Champarnaud Jean-Marc (1)
  • Chanussot Jocelyn (1)
  • Chapurlat Vincent (1)
  • Charpillet François (1)
  • Chauvet Pierre (1)
  • Chembo Kouomou Yanne (1)
  • Chetto Maryline (1)
  • Chu Chengbin (1)
  • Clément Benoît (1)
  • Cohen Albert Henri (1)
  • Collart-Dutilleul Simon (1)
  • Condotta Jean-François (1)
  • Coquery Emmanuel (1)
  • Cortier Véronique (1)
  • Couchot Jean-François (1)
  • Crespi Noël (1)
  • Crowley James L (1)
  • Cruz Christophe (1)
  • Cuppens Frédéric (1)
  • Curien Pierre-Louis (1)
  • Cérin Christophe (1)
  • Dahan Amy (1)
  • Damiani Ernesto (1)
  • Das Shantanu (1)
  • David Bertrand (1)
  • Daya Bassam (1)
  • De Marchi Fabien (1)
  • De Sainte-Catherine Myriam (1)
  • De la fortelle Arnaud (1)
  • Debbasch Fabrice (1)
  • Dekeyser Jean-Luc (1)
  • Delaune Stéphanie (1)
  • Derreumaux Philippe (1)
  • Derrien Steven (1)
  • Dersin Pierre (1)
  • Desainte-Catherine Myriam (1)
  • Deslys Jean-Philippe (1)
  • Detrey Jérémie (1)
  • Ditmarsch Hans van (1)
  • Dokladal Petr (1)
  • Donsez Didier (1)
  • Dony Christophe (1)
  • Douence Rémi (1)
  • Doyen Laurent (1)
  • Dridi Mahjoub (1)
  • Drmota Michael (1)
  • Dubar Laurent (1)
  • Duchêne Eric (1)
  • Dufour François (1)
  • Dumas Jean-Guillaume (1)
  • Durand Irène (1)
  • Durand-Lose Jérôme (1)
  • Duval Dominique (1)
  • Déforges Olivier (1)
  • Echahed Rachid (1)
  • Ehrhard Thomas (1)
  • El Hadji Gamatié Abdoulaye (1)
  • El Moudni Abdellah (1)
  • Elbaz-Vincent Philippe (1)
  • Emad Petiton Nahid (1)
  • Faessel Matthieu (1)
  • Falcone Yliès Carlo (1)
  • Fan Ai-Hua (1)
  • Fanti Maria Pia (1)
  • Fernique Thomas (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (261)
  • Sciences de l'ingénieur (60)
  • Mathématiques (38)
  • Physique (15)
  • Informatique, information, généralités (14)
  • Sciences de la vie, biologie, biochimie (8)
  • Sciences de la terre (5)
  • Technologie (Sciences appliquées) (5)
  • Médecine et santé (4)
  • Gestion et organisation de l'entreprise (3)
  • Fabrication industrielle (3)
  • Philosophie, psychologie (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Logique (1)
  • Economie (1)
  • Linguistique générale (1)
  • Autres langues (1)
  • Astronomie, cartographie, géodésie (1)
  • Chimie, minéralogie, cristallographie (1)
  • Plantes. Botanique (1)

Domaines :

Fullscreen

Distributed automata and logic

par Fabian Reiter sous la direction de Olivier Carton - Sorbonne Paris Cité

Informatique

Soutenue le 12-12-2017
thèse soutenue
Accéder en ligne

Etude d'extensions des langages déterministes

par Clément Miklarz sous la direction de Pascal Caron - Normandie

Informatique

Soutenue le 15-03-2019
thèse soutenue

...).[56] Andreas Weber et Helmut Seidl. « On the Degree of Ambiguity ofFinite Automata ». In : Theor. Comput. Sci...

Accéder en ligne

Génération aléatoire et structure des automates à états finis

par Thomas Paranthoën sous la direction de Jean-Marc Champarnaud - Rouen

Informatique

Soutenue en 2004
thèse soutenue

Contributions à la génération aléatoire pour des classes d'automates finis

par Jean-Luc Joly sous la direction de Pierre-Cyrille Héam - Besançon

Informatique

Soutenue le 23-03-2016
thèse soutenue

...(1-3) :86 104, 2007.[Boo78] Kellogg S. Booth. Isomorphism Testing for Graphs, Semigroups, and FiniteAutomata...

Accéder en ligne

Automates sur les mots bi-infinis

par Danièle Beauquier sous la direction de Maurice Nivat - Paris 7

Mathématiques

Soutenue en 1986
thèse soutenue

Computational aspects of infinite automata simulation and closure system related issues

par Karima Ennaoui sous la direction de Lhouari Nourine - Clermont Auvergne

Informatique

Soutenue le 28-09-2017
thèse soutenue
Accéder en ligne

Automates sur les ordres linéaires : complémentation

par Chloé Rispal sous la direction de Olivier Carton - Université de Marne-la-Vallée

Informatique fondamentale

Soutenue en 2004
thèse soutenue

Automate sur les structures temporisée

par Samy Jaziri sous la direction de Patricia Bouyer-Decitre - Paris Saclay

Informatique

Soutenue le 24-09-2019
thèse soutenue

...below an example of the construction of an enhanced timed automata simulatingthe powerset automaton of...

Accéder en ligne

Performance optimization of a class of deterministic timed Petri nets : weighted marked graphs

par Zhou He sous la direction de Alessandro Giua et de Zhiwu Li. - Aix-Marseille

Mathématiques et informatique. Automatique

Soutenue le 09-06-2017
thèse soutenue

...Giua, “Cycle time optimization for deterministic timed weight-ed marked graphs under infinite...

Accéder en ligne

Techniques de vérification sur des systèmes à infinité d'états

par Mathieu Hilaire sous la direction de Stefan Göller et de Benedikt Bollig. - Paris Saclay

Informatique

En préparation depuis le 30-09-2018
thèse en cours de préparation

Résultats 1 à 10