المؤلفون: Charlier, Emilie

المساهمون: Rigo, Michel, superviser, Lecomte, Pierre, president of the jury, Hansoul, Georges, secretary, Berthé, Valérie, member of the jury, Boigelot, Bernard, member of the jury, Sakarovitch, Jacques, member of the jury

مصطلحات موضوعية: positional and abstract numeration systems, automata and formal language theory, recognizable sets of numbers, arithmetic operations, generalized multidimensional automatic sequences, multidimensional non uniform morphisms, combinatorics on words, linear recurrence sequences, real numbers, numérations de position et abstraites, théorie des automates et des langages formels, ensembles de nombres reconnaissables, opérations arithmétiques, suites automatiques généralisées multidimensionnelles, morphismes non uniformes multidimensionnels, combinatoire des mots, suites linéaires récurrentes, nombres réels, Physical, chemical, mathematical & earth Sciences :: Mathematics, Physique, chimie, mathématiques & sciences de la terre :: Mathématiques

وصف الملف: 160

URL الوصول: https://orbi.uliege.be/handle/2268/8631

المؤلفون: Przybyłko, Marcin

المساهمون: Demet, William, Institut de sciences exactes et appliquées (ISEA), Université de la Nouvelle-Calédonie (UNC), Université de la Nouvelle-Calédonie, University of Warsaw, Teodor Knapik

المصدر: Mathematics [math]. Université de la Nouvelle-Calédonie; University of Warsaw, 2019. English. ⟨NNT : 2019NCAL0004⟩

مصطلحات موضوعية: Théorie des automates, Jeux de branchement, Time series, Langues formelles, 519.2, Processus décisionnels de Markov, Apprentissage automatique, [MATH] Mathematics [math], Arbres infinis, 519.32, Automates mathématiques, Markov decision processes, Infinite trees, Formal languages, Processus décisionnels de Markov relationnels, Automates mathématiques, Théorie des, Machine learning, Branching games, [MATH]Mathematics [math], Des séries chronologiques, Stochastic games, Ordres stochastiques, Jeux stochastiques, Automata theory, Séries chronologiques

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f528a6f5989df1e3f67ba3427451e4a7
https://hal-unc.archives-ouvertes.fr/tel-03180366

المؤلفون: Hcéres, Rapport

المساهمون: HCERES, Administrateur

مصطلحات موضوعية: théorie des automates, combinatoire, sémantique, logique, complexité, algorithmique, vérification

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2592::7b81a0d6cb1ca343b820b411b7e9f636
https://hal-hceres.archives-ouvertes.fr/hceres-02031455

المؤلفون: Brunet, Paul

المساهمون: Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université de Lyon, Damien Pous, Centre National de la Recherche Scientifique (CNRS)-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-École normale supérieure - Lyon (ENS Lyon), STAR, ABES

المصدر: Computation and Language [cs.CL]. Université de Lyon, 2016. English. ⟨NNT : 2016LYSE1198⟩

مصطلحات موضوعية: Théorie des automates, Expressions régulières, Algèbre de relations, Relation algebra, Langages formels, Regular expressions, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Sémantique des programmes, Preuve assistée par ordinateur, Formal languages, Kleene algebra, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], Algèbre de Kleene, Proof assistant, Program semantics, Automata theory

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e6962479085198a4a206e2d0321120c4
https://theses.hal.science/tel-01455083

المؤلفون: Pinisetty, Srinivas

المساهمون: Institut Clément Ader ( ICA ), Institut Supérieur de l'Aéronautique et de l'Espace ( ISAE-SUPAERO ) -IMT École nationale supérieure des Mines d'Albi-Carmaux ( IMT Mines Albi ) -Université Toulouse III - Paul Sabatier ( UPS ), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique ( CNRS ) -Institut National des Sciences Appliquées - Toulouse ( INSA Toulouse ), Institut National des Sciences Appliquées ( INSA ) -Institut National des Sciences Appliquées ( INSA ), Université Rennes 1, Thierry Jéron, Hervé Marchand, SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université de Rennes, Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique)

المصدر: Automatic Control Engineering. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S004〉
Automatic Control Engineering. Université de Rennes, 2015. English. ⟨NNT : 2015REN1S004⟩
Automatic Control Engineering. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S004⟩

مصطلحات موضوعية: Théorie des automates, Logique temporelle, Vérification des logiciels, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Real-Time data processing, [ INFO.INFO-AU ] Computer Science [cs]/Automatic Control Engineering, Computer programs -- Verification, Tense (Logic), Machine theory, Temps réel, Systems engineering, Ingénierie des systèmes

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::985bd18795cdc60d25fc40965574e952
https://tel.archives-ouvertes.fr/tel-01185842/file/PINISETTY_Srinivas.pdf

المؤلفون: Pinisetty, Srinivas

المساهمون: SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université Rennes 1, Thierry Jéron, Hervé Marchand

المصدر: Automatic Control Engineering. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S004⟩

مصطلحات موضوعية: Logique temporelle, Théorie des automates, Vérification des logiciels, Real-Time data processing, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, Computer programs -- Verification, Tense (Logic), Machine theory, Temps réel, Systems engineering, Ingénierie des systèmes

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2592::985bd18795cdc60d25fc40965574e952
https://tel.archives-ouvertes.fr/tel-01185842/file/PINISETTY_Srinivas.pdf

المؤلفون: Maubert, Bastien

المساهمون: Logic and Applications (LogicA), École normale supérieure - Cachan (ENS Cachan)-Université de Rennes (UR)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Université de Rennes, Sophie Pinchinat, Guillaume Aucher, LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan), Université Rennes 1, STAR, ABES

المصدر: Other [cs.OH]. Université de Rennes, 2014. English. ⟨NNT : 2014REN1S001⟩
Other [cs.OH]. Université Rennes 1, 2014. English. ⟨NNT : 2014REN1S001⟩

مصطلحات موضوعية: [INFO.INFO-OH] Computer Science [cs]/Other [cs.OH], Logique, Logic, Théorie des automates mathématiques, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Game theory, Machine theory, Théorie des jeux

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::364ac8e82eb717648aa3df08495f136a
https://theses.hal.science/tel-00980490

المؤلفون: Pédrot, Pierre-Marie

المساهمون: Preuves, Programmes et Systèmes (PPS), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Design, study and implementation of languages for proofs and programs ( PI.R2 ), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Damien Pous and Christine Tasson, Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7), Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Inria Paris-Rocquencourt

المصدر: JFLA-Journées francophones des langages applicatifs
JFLA-Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France

مصطلحات موضوعية: Théorie des automates, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Coq

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b1658643f72d87f9042956d1d8e44796
https://hal.inria.fr/hal-00779752

المؤلفون: Triclot, Mathieu

المساهمون: Triclot, Mathieu, Recherches et Etudes sur le Changement Industriel, Technologique et Sociétal (RECITS), Université de Technologie de Belfort-Montbeliard (UTBM)

المصدر: Journée IXXI
Journée IXXI, Jun 2009, Lyon, France

مصطلحات موضوعية: théorie des automates, [SHS.PHIL] Humanities and Social Sciences/Philosophy, [SHS.PHIL]Humanities and Social Sciences/Philosophy, cybernétique, complexité

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db0bb169b164fc78563c7eff0fce2db0
https://shs.hal.science/halshs-00514080

المؤلفون: Bellin, Isabelle

المساهمون: Interstices, inria

مصطلحات موضوعية: théorie des automates, recherche en informatique, théorie de la programmation, théorie des langages, informatique fondamentale, algorithmique, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od_______166::c4ae2207ae58c23dfe789062e729b876
https://hal.inria.fr/hal-01350155