Référentiels et données

Retrouver une information et comprendre sa portée.

Ces relevés documentaires complètent la préparation d’un projet. Choisissez le référentiel adapté à votre question, puis ouvrez la fiche et sa source pour vérifier le périmètre et le millésime.

Choisir le bon point de départ

Quelle information cherchez-vous ?

Les données sont des copies locales de sources identifiées, pas une consultation en temps réel. Une absence dans le relevé ne prouve pas une absence dans la source.

Compétences

Métiers et formations

Un métier décrit des activités ; une certification atteste un cadre de compétences ; une formation prépare un parcours. Comparez ces objets séparément.

Métiers ROME · Certifications · Formations

Contenus

Définitions et lectures

Retrouvez un terme, sa définition et ses équivalents ; examinez ensuite la date et le contexte de la référence avant de la reprendre dans une page.

FranceTerme · Bibliographies BnF · Travaux HAL

Territoire

Décrire un périmètre

Une adresse administrative ne constitue pas une zone de service. Une présence d’équipement ne mesure ni le stock, ni l’accueil, ni la qualité d’une prestation.

Guichets institutionnels · Équipements · Accès aux lieux

Vérification

Relier le résultat à sa source

Contrôlez l’identité, le millésime et les limites indiquées dans la fiche. Pour une décision actuelle, consultez l’organisme d’origine.

Méthode éditoriale · Comprendre les métiers du numérique

Données et ressources documentées

Explorer les référentiels et leurs fiches

Choisissez un référentiel et affinez la recherche. Les fiches précisent la source, le millésime et les limites des informations publiées.

Distinguer publication et disponibilité du texte

Une notice signale un travail et ses métadonnées ; le résumé ne remplace pas les méthodes et résultats du texte intégral. Vérifiez le type de document et la version accessible avant de citer une conclusion. La présence dans une archive ouverte ne démontre pas à elle seule l’évaluation par les pairs ni l’applicabilité à votre situation.

Explorer les entrées et leurs sources

Les résultats proviennent des relevés indiqués ci-dessous. La zone sélectionnée s’applique aux statistiques et aux lieux, tandis que les aliments, produits, métiers, fiches pratiques, activités, notions, certifications et bibliographies restent des référentiels nationaux. Les travaux de recherche couvrent des références nationales ou internationales.

Zone statistique et lieux localisésRéférentielNom, commune, code ou mot-cléCatégorie du référentielAnnée du travail depuis (facultatif)Type de document indiquéRésumé dans les métadonnéesDOI dans la noticeLangue du document indiquéeMot-clé exact indexé dans HAL (facultatif)Nom d’auteur exact indexé dans HAL (facultatif)Domaine scientifique indexé dans HALIntitulé de colloque ou de rencontre dans HAL

Réinitialiser

442 résultats · page 1 sur 25 · jusqu’à 18 entrées affichées. Classement par année décroissante puis titre.

Explorer les revues et périodiques — 70 fiches HAL liées

Revues, périodiques et travaux associés

Rechercher un titre, une abréviation, un ISSN ou un éditeur renseigné, puis lire les références HAL associées à une fiche précise. Le répertoire couvre 86 notices liées dans la sélection du site, avant les autres filtres de recherche.

70 fiche(s) correspondant à la recherche · page 1 sur 4.

Revues et périodiques liés aux références retenues — ordre alphabétique
Titre dans le référentiel	ISSN publiés	Éditeur renseigné	Notices de la sélection
Accident Analysis & Prevention Revue HAL 9464	ISSN : 0001-4575 ISSN électronique : 1879-2057	Elsevier	1 2023
Advanced Modeling and Simulation in Engineering Sciences Revue HAL 117751	ISSN : 2213-7467	Springer	2 2022–2023
Advanced Science Revue HAL 109668	ISSN : 2198-3844	Wiley Open Access	2 2025–2026
Animals Revue HAL 112217	ISSN : 2076-2615	MDPI	1 2021
Applied Catalysis B: Environmental Revue HAL 10609	ISSN : 0926-3373 ISSN électronique : 1873-3883	Elsevier [1992-....]	1 2022
Biochemistry Revue HAL 3429	ISSN : 0006-2960 ISSN électronique : 1520-4995	American Chemical Society	1 2026
Business & IT Revue HAL 1607913	ISSN : 2570-7434 ISSN électronique : 2570-7434	Non renseigné	1 2024
CHEMISTRY-SWITZERLAND Revue HAL 1203127	Non renseignés	Non renseigné	1 2023
Communication - Commerce électronique Revue HAL 24017	ISSN : 1292-8682 ISSN électronique : 1760-7949	Éditions du Juris-Classeur [1999-2004] - LexisNexis [2005-....]	1 2006
Computational and Structural Biotechnology Journal Revue HAL 107293	ISSN : 2001-0370	Elsevier	1 2026
Computer Standards and Interfaces Revue HAL 12037	ISSN : 0920-5489 ISSN électronique : 1872-7018	Elsevier	1 2026
Décisions Marketing Revue HAL 25876	ISSN : 0779-7389	Association Française du Marketing	1 2000
Electronics Revue HAL 109186	ISSN : 2079-9292	MDPI	1 2023
En vue - Lettre d'information de l'INSA de Lyon Revue HAL 66278	Non renseignés	INSA de lyon	1 2009
Environmental Science : Atmospheres Revue HAL 175132	ISSN : 2634-3606	Royal Society of Chemistry	1 2025
Environmental Science & Policy Revue HAL 12951	ISSN : 1462-9011 ISSN électronique : 1873-6416	Elsevier	1 2021
European Journal of Mechanics - A/Solids Revue HAL 13059	ISSN : 0997-7538	Elsevier	1 2026
European Journal of Mechanics - B/Fluids Revue HAL 13060	ISSN : 0997-7546 ISSN électronique : 1873-7390	Elsevier	1 2025

Sources et méthode du répertoire des revues HAL

Source : HAL et son référentiel des revues, CCSD. Complément de métadonnées relevé le 23 octobre 2026, associé aux références documentaires du 22 octobre 2026. Les métadonnées sont réutilisables sous CC0 ; les droits des textes intégraux restent propres à chaque document.

Seules les références portant un titre de revue dans le relevé initial sont interrogées. L’identifiant numérique du document, son identifiant HAL, sa version et son titre de revue doivent correspondre avant d’utiliser son identifiant de revue. La fiche cible doit être récupérée dans le référentiel. Un identifiant direct est privilégié ; une correspondance d’ancien identifiant n’est utilisable que si elle est explicitement publiée et univoque. Une référence non confirmée conserve ses informations d’origine, sans lien ajouté.

Les homonymes restent séparés par leurs identifiants. Ni le titre seul, ni un ISSN, ni le nom d’un éditeur ne servent à fusionner les fiches. L’absence de champ ne prouve pas l’absence d’éditeur ou d’identifiant. Les statuts techniques de HAL ne constituent pas une appréciation scientifique.

Les nombres portent sur les notices de la sélection du site, pas sur l’ensemble du contenu d’une revue. Des notices différentes peuvent décrire un même travail. Aucun facteur d’impact, nombre de citations, classement, tarif ou disponibilité n’est déduit. Les conditions actuelles d’accès, d’abonnement et de dépôt restent à vérifier auprès du périodique et sur la notice HAL.

Référentiel des revues et champs de l’API HAL · Lire les fiches de revues dans auréHAL · Principes et réutilisation CC0 des métadonnées HAL.

Explorer les disciplines — 142 domaines HAL dans cette sélection

Choisissez un domaine pour consulter les notices dont le code est publié dans HAL. Les effectifs portent sur toute la sélection du site, avant les autres filtres ; un identifiant HAL est compté une seule fois par domaine. Une notice peut figurer dans plusieurs domaines : les effectifs ne s’additionnent pas.

Chimie (chim) — 2 notices, dont 1 avec ce domaine principal.
Chimie/Catalyse (chim.cata) — 3 notices, dont 2 avec ce domaine principal.
Chimie/Chimie analytique (chim.anal) — 1 notice, dont 1 avec ce domaine principal.
Chimie/Chimie théorique et/ou physique (chim.theo) — 8 notices, dont 4 avec ce domaine principal.
Chimie/Matériaux (chim.mate) — 5 notices, dont 3 avec ce domaine principal.
Informatique [cs] (info) — 56 notices, dont 52 avec ce domaine principal.
Informatique [cs]/Algorithme et structure de données [cs.DS] (info.info-ds) — 4 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Analyse numérique [cs.NA] (info.info-na) — 2 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Apprentissage [cs.LG] (info.info-lg) — 3 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Architectures Matérielles [cs.AR] (info.info-ar) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Automatique (info.info-au) — 3 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Autre [cs.OH] (info.info-oh) — 14 notices, dont 13 avec ce domaine principal.
Informatique [cs]/Base de données [cs.DB] (info.info-db) — 4 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Bibliothèque électronique [cs.DL] (info.info-dl) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Bio-informatique [q-bio.QM] (info.info-bi) — 3 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Calcul formel [cs.SC] (info.info-sc) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Calcul parallèle, distribué et partagé [cs.DC] (info.info-dc) — 6 notices, dont 3 avec ce domaine principal.
Informatique [cs]/Complexité [cs.CC] (info.info-cc) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Cryptographie et sécurité [cs.CR] (info.info-cr) — 5 notices, dont 3 avec ce domaine principal.
Informatique [cs]/Environnements Informatiques pour l'Apprentissage Humain (info.eiah) — 5 notices, dont 5 avec ce domaine principal.
Informatique [cs]/Génie logiciel [cs.SE] (info.info-se) — 110 notices, dont 92 avec ce domaine principal.
Informatique [cs]/Informatique et langage [cs.CL] (info.info-cl) — 7 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Informatique mobile (info.info-mc) — 1 notice, dont 1 avec ce domaine principal.
Informatique [cs]/Informatique ubiquitaire (info.info-iu) — 5 notices, dont 3 avec ce domaine principal.
Informatique [cs]/Intelligence artificielle [cs.AI] (info.info-ai) — 15 notices, dont 10 avec ce domaine principal.
Informatique [cs]/Interface homme-machine [cs.HC] (info.info-hc) — 64 notices, dont 43 avec ce domaine principal.
Informatique [cs]/Langage de programmation [cs.PL] (info.info-pl) — 10 notices, dont 5 avec ce domaine principal.
Informatique [cs]/Littérature générale [cs.GL] (info.info-gl) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Logiciel mathématique [cs.MS] (info.info-ms) — 4 notices, dont 0 avec ce domaine principal.
Informatique [cs]/Logique en informatique [cs.LO] (info.info-lo) — 2 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Modélisation et simulation (info.info-mo) — 16 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Multimédia [cs.MM] (info.info-mm) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Ordinateur et société [cs.CY] (info.info-cy) — 6 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Performance et fiabilité [cs.PF] (info.info-pf) — 2 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Recherche d'information [cs.IR] (info.info-ir) — 3 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Recherche opérationnelle [cs.RO] (info.info-ro) — 3 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Robotique [cs.RO] (info.info-rb) — 14 notices, dont 9 avec ce domaine principal.
Informatique [cs]/Réseaux et télécommunications [cs.NI] (info.info-ni) — 9 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Réseaux sociaux et d'information [cs.SI] (info.info-si) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Son [cs.SD] (info.info-sd) — 3 notices, dont 1 avec ce domaine principal.
Informatique [cs]/Synthèse d'image et réalité virtuelle [cs.GR] (info.info-gr) — 3 notices, dont 0 avec ce domaine principal.
Informatique [cs]/Système d'exploitation [cs.OS] (info.info-os) — 3 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Système multi-agents [cs.MA] (info.info-ma) — 6 notices, dont 4 avec ce domaine principal.
Informatique [cs]/Systèmes embarqués (info.info-es) — 2 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Systèmes et contrôle [cs.SY] (info.info-sy) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Technologies Émergeantes [cs.ET] (info.info-et) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Théorie et langage formel [cs.FL] (info.info-fl) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Traitement des images [eess.IV] (info.info-ti) — 3 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Traitement du signal et de l'image [eess.SP] (info.info-ts) — 5 notices, dont 2 avec ce domaine principal.
Informatique [cs]/Traitement du texte et du document (info.info-tt) — 2 notices, dont 0 avec ce domaine principal.
Informatique [cs]/Vision par ordinateur et reconnaissance de formes [cs.CV] (info.info-cv) — 1 notice, dont 0 avec ce domaine principal.
Informatique [cs]/Web (info.info-wb) — 6 notices, dont 2 avec ce domaine principal.
Mathématiques [math] (math) — 5 notices, dont 2 avec ce domaine principal.
Mathématiques [math]/Analyse numérique [math.NA] (math.math-na) — 2 notices, dont 2 avec ce domaine principal.
Mathématiques [math]/Equations aux dérivées partielles [math.AP] (math.math-ap) — 2 notices, dont 0 avec ce domaine principal.
Mathématiques [math]/Logique [math.LO] (math.math-lo) — 1 notice, dont 0 avec ce domaine principal.
Mathématiques [math]/Physique mathématique [math-ph] (math.math-mp) — 1 notice, dont 1 avec ce domaine principal.
Mathématiques [math]/Probabilités [math.PR] (math.math-pr) — 1 notice, dont 0 avec ce domaine principal.
Mathématiques [math]/Statistiques [math.ST] (math.math-st) — 3 notices, dont 3 avec ce domaine principal.
Physique [physics] (phys) — 7 notices, dont 6 avec ce domaine principal.
Physique [physics]/Matière Condensée [cond-mat] (phys.cond) — 8 notices, dont 6 avec ce domaine principal.
Physique [physics]/Matière Condensée [cond-mat]/Autre [cond-mat.other] (phys.cond.cm-gen) — 2 notices, dont 1 avec ce domaine principal.
Physique [physics]/Matière Condensée [cond-mat]/Gaz Quantiques [cond-mat.quant-gas] (phys.cond.gas) — 1 notice, dont 0 avec ce domaine principal.
Physique [physics]/Matière Condensée [cond-mat]/Science des matériaux [cond-mat.mtrl-sci] (phys.cond.cm-ms) — 3 notices, dont 2 avec ce domaine principal.
Physique [physics]/Mécanique [physics] (phys.meca) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Mécanique [physics]/Acoustique [physics.class-ph] (phys.meca.acou) — 3 notices, dont 3 avec ce domaine principal.
Physique [physics]/Mécanique [physics]/Génie mécanique [physics.class-ph] (phys.meca.geme) — 2 notices, dont 2 avec ce domaine principal.
Physique [physics]/Mécanique [physics]/Mécanique des fluides [physics.class-ph] (phys.meca.mefl) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Mécanique [physics]/Mécanique des matériaux [physics.class-ph] (phys.meca.mema) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Physique [physics] (phys.phys) — 3 notices, dont 2 avec ce domaine principal.
Physique [physics]/Physique [physics]/Chimie-Physique [physics.chem-ph] (phys.phys.phys-chem-ph) — 1 notice, dont 0 avec ce domaine principal.
Physique [physics]/Physique [physics]/Dynamique des Fluides [physics.flu-dyn] (phys.phys.phys-flu-dyn) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Physique [physics]/Optique [physics.optics] (phys.phys.phys-optics) — 3 notices, dont 1 avec ce domaine principal.
Physique [physics]/Physique [physics]/Physique des accélérateurs [physics.acc-ph] (phys.phys.phys-acc-ph) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Physique [physics]/Physique des plasmas [physics.plasm-ph] (phys.phys.phys-plasm-ph) — 1 notice, dont 0 avec ce domaine principal.
Physique [physics]/Physique [physics]/Physique Générale [physics.gen-ph] (phys.phys.phys-gen-ph) — 1 notice, dont 1 avec ce domaine principal.
Physique [physics]/Physique Quantique [quant-ph] (phys.qphy) — 3 notices, dont 2 avec ce domaine principal.
Planète et Univers [physics] (sdu) — 1 notice, dont 1 avec ce domaine principal.
Planète et Univers [physics]/Autre (sdu.other) — 1 notice, dont 1 avec ce domaine principal.
Planète et Univers [physics]/Sciences de la Terre (sdu.stu) — 1 notice, dont 1 avec ce domaine principal.
Planète et Univers [physics]/Sciences de la Terre/Géochimie (sdu.stu.gc) — 1 notice, dont 0 avec ce domaine principal.
Sciences cognitives (scco) — 9 notices, dont 5 avec ce domaine principal.
Sciences cognitives/Informatique (scco.comp) — 5 notices, dont 4 avec ce domaine principal.
Sciences cognitives/Linguistique (scco.ling) — 3 notices, dont 2 avec ce domaine principal.
Sciences cognitives/Neurosciences (scco.neur) — 6 notices, dont 2 avec ce domaine principal.
Sciences cognitives/Psychologie (scco.psyc) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'environnement (sde) — 3 notices, dont 1 avec ce domaine principal.
Sciences de l'environnement/Environnement et Société (sde.es) — 2 notices, dont 0 avec ce domaine principal.
Sciences de l'environnement/Ingénierie de l'environnement (sde.ie) — 3 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société (shs) — 9 notices, dont 9 avec ce domaine principal.
Sciences de l'Homme et Société/Architecture, aménagement de l'espace (shs.archi) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'Homme et Société/Art et histoire de l'art (shs.art) — 3 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Droit (shs.droit) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Economies et finances (shs.eco) — 3 notices, dont 2 avec ce domaine principal.
Sciences de l'Homme et Société/Education (shs.edu) — 2 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Gestion et management (shs.gestion) — 2 notices, dont 0 avec ce domaine principal.
Sciences de l'Homme et Société/Géographie (shs.geo) — 3 notices, dont 3 avec ce domaine principal.
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences (shs.hisphilso) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Linguistique (shs.langue) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Musique, musicologie et arts de la scène (shs.musiq) — 4 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Philosophie (shs.phil) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'Homme et Société/Psychologie (shs.psy) — 3 notices, dont 1 avec ce domaine principal.
Sciences de l'Homme et Société/Sciences de l'information et de la communication (shs.info) — 10 notices, dont 8 avec ce domaine principal.
Sciences de l'Homme et Société/Sociologie (shs.socio) — 2 notices, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics] (spi) — 18 notices, dont 11 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Acoustique [physics.class-ph] (spi.acou) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Automatique / Robotique (spi.auto) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Autre (spi.other) — 6 notices, dont 6 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Energie électrique (spi.nrj) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Génie civil (spi.gciv) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Génie civil/Eco-conception (spi.gciv.ec) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Génie civil/Infrastructures de transport (spi.gciv.it) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Matériaux (spi.mat) — 2 notices, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Milieux fluides et réactifs (spi.fluid) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph] (spi.meca) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Biomécanique [physics.med-ph] (spi.meca.biom) — 4 notices, dont 2 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Génie mécanique [physics.class-ph] (spi.meca.geme) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Mécanique des fluides [physics.class-ph] (spi.meca.mefl) — 2 notices, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Mécanique des matériaux [physics.class-ph] (spi.meca.mema) — 2 notices, dont 0 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Mécanique des solides [physics.class-ph] (spi.meca.solid) — 1 notice, dont 1 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Mécanique [physics.med-ph]/Thermique [physics.class-ph] (spi.meca.ther) — 1 notice, dont 0 avec ce domaine principal.
Sciences de l'ingénieur [physics]/Traitement du signal et de l'image [eess.SP] (spi.signal) — 2 notices, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio] (sdv) — 8 notices, dont 7 avec ce domaine principal.
Sciences du Vivant [q-bio]/Bio-Informatique, Biologie Systémique [q-bio.QM] (sdv.bibs) — 2 notices, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biochimie, Biologie Moléculaire (sdv.bbm) — 4 notices, dont 3 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biochimie, Biologie Moléculaire/Biochimie [q-bio.BM] (sdv.bbm.bc) — 2 notices, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biochimie, Biologie Moléculaire/Biologie structurale [q-bio.BM] (sdv.bbm.bs) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biochimie, Biologie Moléculaire/Biophysique (sdv.bbm.bp) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Biologie animale/Médecine vétérinaire et santé animale (sdv.ba.mvsa) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Ingénierie biomédicale (sdv.ib) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Ingénierie biomédicale/Imagerie (sdv.ib.ima) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Ingénierie des aliments (sdv.ida) — 2 notices, dont 2 avec ce domaine principal.
Sciences du Vivant [q-bio]/Microbiologie et Parasitologie (sdv.mp) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Microbiologie et Parasitologie/Bactériologie (sdv.mp.bac) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Médecine humaine et pathologie (sdv.mhep) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Médecine humaine et pathologie/Chirurgie (sdv.mhep.chi) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Médecine humaine et pathologie/Rhumatologie et système ostéo-articulaire (sdv.mhep.rsoa) — 1 notice, dont 1 avec ce domaine principal.
Sciences du Vivant [q-bio]/Neurosciences [q-bio.NC]/Psychologie et comportements (sdv.neu.pc) — 1 notice, dont 0 avec ce domaine principal.
Sciences du Vivant [q-bio]/Neurosciences [q-bio.NC]/Sciences cognitives (sdv.neu.sc) — 3 notices, dont 3 avec ce domaine principal.
Statistiques [stat] (stat) — 1 notice, dont 0 avec ce domaine principal.
Statistiques [stat]/Autres [stat.ML] (stat.ot) — 1 notice, dont 0 avec ce domaine principal.
Statistiques [stat]/Machine Learning [stat.ML] (stat.ml) — 1 notice, dont 1 avec ce domaine principal.

Libellés et codes du référentiel des domaines HAL, relevés le 23 octobre 2026. Le regroupement utilise les codes effectivement publiés dans les notices ; aucun rattachement supplémentaire n’est déduit des intitulés.

Colloques, congrès et rencontres cités — 113 intitulés dans cette sélection

Ces intitulés sont ceux publiés dans les notices HAL retenues par le site. Un intitulé identique peut couvrir plusieurs éditions ; les dates restent celles de chaque notice. Les variations d’écriture restent séparées. Les effectifs comptent une fois chaque identifiant HAL, avant les autres filtres.

10ième Colloque CETSIS 2013. Enseignements des Technologies et des Sciences de l'Information et des Systèmes — 1 notice.
11-ième Colloque International sur le Document Électronique — 1 notice.
12th Web for All Conference — 1 notice.
13ème Journées Nationales de Géotechniques et de Géologie de l'ingénieur — 3 notices.
14th International Particle Accelerator Conference — 1 notice.
16th International Conference on Advances in Computer-Human Interaction (ACHI 2023) — 1 notice.
16ème Congrès Français d'Acoustique, CFA2022 — 1 notice.
18e Conférence en Recherche d'Information et Applications, 16e Rencontres Jeunes Chercheurs en RI, 30e Conférence sur le Traitement Automatique des Langues Naturelles, 25e Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues — 1 notice.
18th IFIP Conference on Human-Computer Interaction (INTERACT) — 5 notices.
18th Interaction and Concurrency Experience — 1 notice.
18èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2010) — 1 notice.
19th IFIP Conference on Human-Computer Interaction (INTERACT) — 3 notices.
1st conference GAMA Days 2021 — 1 notice.
2021 IEEE International Conference on Networking, Sensing and Control (ICNSC) — 1 notice.
2022 Fifth International Conference on Connected and Autonomous Driving (MetroCAD) — 1 notice.
2024 IEEE-RAS 23rd International Conference on Humanoid Robots (Humanoids) — 1 notice.
2025 IEEE International Conference on Real-time Computing and Robotics (RCAR 2025) — 1 notice.
20ème Colloque International sur le Document Numérique (CiDE 20) — 1 notice.
23rd SGEM International Multidisciplinary Scientific GeoConference 2023 — 1 notice.
24th International Congress on Acoustics — 1 notice.
25e Congrès Français de Mécanique, Nantes, 29 août-2 septembre 2022 — 1 notice.
29ème conférence francophone sur l'Interaction Homme-Machine — 1 notice.
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023, companion proceedings) — 1 notice.
3e rencontre MIXMOD — 1 notice.
4e rencontre MIXMOD — 1 notice.
54ème Congrès National de la Société française de psychologie. — 1 notice.
55ème Congrès National de la Société Française de Psychologie — 1 notice.
5th International Seminar on Non-Ideal Compressible Fluid Dynamics for Propulsion & Power — 1 notice.
6th IFIP Working Conference on Human Work Interaction Design (HWID) — 1 notice.
6th International Conference on Human Computer Interaction Theory and Applications — 1 notice.
7e conférence internationale francophone sur les Environnements Informatiques pour l'Apprentissage Humain — 1 notice.
7ème conférence sur les aides techniques pour les personnes handicapées — 1 notice.
7ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2015) — 1 notice.
8th European Conference on Crystal Growth — 1 notice.
9eme Conference de Psychologie Ergonomique (Epique 2017) — 1 notice.
9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 — 1 notice.
ACM CHI Conference on Human Factors in Computing Systems — 1 notice.
After AI Symposium — 1 notice.
ASME Turbo Expo 2022 Turbomachinery Technical Conference and Exposition — 1 notice.
ASRDLF - 57ème colloque - Territoire(s) et numérique Innovations, mutations et décision — 1 notice.
Caractérisation multi-échelle de la rugosité Analyse d'images de topographie — 1 notice.
CHI '22: CHI Conference on Human Factors in Computing Systems — 1 notice.
CHI 2025 - CHI Conference on Human Factors in Computing Systems — 2 notices.
CHI 2026 - ACM Conference on Human Factors in Computing Systems — 2 notices.
CHItaly 2025: CHItaly 2025: 16th Biannual Conference of the Italian SIGCHI Chapter — 1 notice.
CIE 2017 - 6e Conférence en IngénieriE du Logiciel — 1 notice.
CIEL 2014, Troisième Conférence en IngénieriE du Logiciel, — 1 notice.
CIEL 2018 : 7ème Conférence en IngénieriE du Logiciel — 1 notice.
CNRIUT 2018 — 1 notice.
Colloqinsa2021, 7ème colloque Pédagogie et Formation — 1 notice.
Colloque Fractures Corporelles, Fractures Numériques — 1 notice.
Colloque International sur le Document Électronique — 1 notice.
Conférence Romande sur l’Accessibilité du Web (CRAW) 2013 — 1 notice.
Conférence, Laboratoire d’Informatique Interactive, ENAC (Ecole Nationale d’Aviation Civile) — 1 notice.
Didapro9 - DidaSTIC. L’informatique, objets d’enseignement et d'apprentissage. Quelles nouvelles perspectives pour la recherche ? — 1 notice.
DIS 2026 - Designing Interactive Systems — 1 notice.
Driving Simulation Conference Europe 2023 VR — 1 notice.
Eidos 64, Le forum des pratiques numériques pour l'éducation — 1 notice.
Eleventh International Conference on Computing and Control for the Water Industry (CCWI 2011) — 1 notice.
Entretiens du Nouveau Monde Industriel Préparatoires 2025 — 1 notice.
ENVOL 2010 — 2 notices.
ENVOL 2012 — 2 notices.
ERGO'IA 2023 - "L’avenir de l’humain dans les systèmes sociotechniques du futur" — 1 notice.
European Conference on Cognitive Ergonomics — 1 notice.
EUTIC : Enjeux et usages des TIC : Reliance sociale et insertion professionnelle" — 1 notice.
GISEH : Conférence Francophone en Gestion et Ingénierie des SystèmEs Hospitaliers — 1 notice.
GLOW 48 Syntax Workshop: Less documented languages in formal linguistics: empirical problems and theoretical perspectives — 1 notice.
GreHack 2021 - 9th International Symposium on Research in Grey-Hat Hacking — 1 notice.
Handicap 2018 — 1 notice.
Hünfeld 2026: Workshop on Computer Simulation and Theory of Macromolecules — 1 notice.
ICAT-EGVE 2021 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments — 1 notice.
ICCCM 2023 - VII International Conference on Computational Contact Mechanics — 1 notice.
ICMI '23: INTERNATIONAL CONFERENCE ON MULTIMODAL INTERACTION — 1 notice.
IEEE 7th International Conference on Research Challenges in Information Science, RCIS 2013 — 1 notice.
IEEE International Conference on Robot and Human Interactive Communication (RO-MAN) — 1 notice.
IHM'22 - 33ème conférence internationale francophone sur l’Interaction Humain-Machine — 1 notice.
IHM'23 - 34e Conférence Internationale Francophone sur l'Interaction Humain-Machine — 1 notice.
IHM'24 - 35e Conférence Internationale Francophone sur l'Interaction Humain-Machine — 1 notice.
IHM'25 - 36e Conférence Internationale Francophone sur l'Interaction Humain-Machine — 1 notice.
IHM’26 - 37e Conférence Internationale Francophone sur l'Interaction Humain-Machine — 2 notices.
INFormatique des ORganisations et Systèmes d’Information et de Décision 2016 (INFORSID) — 1 notice.
INFORSID — 1 notice.
INFORSID 2007 : actes du XXVème Congrès Informatique des organisations et systèmes d'information et de décision : atelier MADSI (Méthodes Avancées de Développement des Systèmes d'Information) — 1 notice.
Interact 2021 - IFIP Conference on Human-Computer Interaction — 1 notice.
International Conference on Agents and Artificial Intelligence — 1 notice.
International Conference on Entertainment Computing (ICEC) — 1 notice.
Internationational snow science workshop 2010 (ISSW) — 1 notice.
IV Conferencia Internacional sobre Aplicación de Tecnologías de la Información y Comunicaciones para mejorar la Accesibilidad (ATICAcces 2016) — 1 notice.
JFSMA 2006 - 14e Journées Francophones sur les Systèmes Multi-Agents — 1 notice.
Journée d'étude de l'équipe SRSPT — 1 notice.
Journées d'accélération PEPR ICCARE : Science ouverte, données ouvertes et musique — 1 notice.
Journées d'Informatique Musicale — 1 notice.
Journées d’études interdisciplinaires de l’Ecole Doctorale en Sciences Sociales et Humanités — 1 notice.
Journées Francophones d'Informatique Médicale — 1 notice.
Magnetism and Magnetic Materials — 1 notice.
MultiMat 2022 - 10th International Conference on Numerical Methods for Multi-Material Fluid Flow — 1 notice.
Première Conférence Internationale Sur l'accessibilité et les systèmes de suppléance aux personnes en situations de handicaps — 1 notice.
Proceedings of ETIS 2022 — 1 notice.
Proceedings of the ACM Conference on Designing Interactive Systems (DIS 2024) — 1 notice.
Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI 2024) — 1 notice.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality (ISMAR 2023) — 1 notice.
RIAs 2006 : 2èmes rencontres inter-associations — 1 notice.
ROADEF - 15ème congrès annuel de la Société française de recherche opérationnelle et d'aide à la décision — 1 notice.
SEP21. 14ème Congrès Francophone sur les Sciences Séparatives et les Couplages — 1 notice.
SIGIR'26 - 49th International ACM SIGIR Conference on Research and Development in Information Retrieval — 1 notice.
SIGMOD/PODS '24: International Conference on Management of Data — 1 notice.
Sinn und Bedeutung 31 — 1 notice.
Séminaire de l'institut français de Finlande — 1 notice.
the 6th ACM Conference on Conversational User Interfaces — 1 notice.
UACE2023 — 1 notice.
UIST '23: The 36th Annual ACM Symposium on User Interface Software and Technology — 1 notice.
Webinaire datumAcademy — 1 notice.
XIXe Colloque francophone sur le traitement du Signal et de l’Image - Gretsi 2025 — 1 notice.

Source : métadonnées HAL / CCSD, relevées le 23 octobre 2026. Ce répertoire décrit les travaux déposés ; il ne constitue pas un agenda d’inscription aux événements.

Lire des références de recherche sur logiciels, web et conception numérique. Les axes ci-dessous organisent cette sélection documentaire ; ils ne constituent pas une évaluation critique des travaux. Les références sont nationales ou internationales ; le choix d’un territoire ne filtre pas cette bibliographie. Rechercher un titre, un auteur, des mots-clés, un identifiant HAL ou un DOI.

Notices HAL — métadonnées récupérées le 22 octobre 2026
Titre et auteurs indexés	Type et datation	Repères de la notice	Approfondir
A Comparative Investigation of the Mannose Binding Interface in DC-SIGN and MRC1 Carbohydrate Recognition Domains Sina Geißler ; Sophie Sacquin-Mora hal-05604666	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : hal-05604666 Notice officielle HAL Fichier principal signalé dans HAL : hal-05604666
A comparative investigation of the mannose binding interface in DC-SIGN and MRC1 carbohydrate recognition domains with all-atom molecular dynamics simulations Sina Geissler ; Sophie Sacquin-Mora hal-05465181	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05465181 Notice officielle HAL Revue ou périodique lié dans HAL : Biochemistry. Fichier principal signalé dans HAL : hal-05465181
Accessibilité de la musique enregistrée pour la recherche et la création: bases de données libres et ouvertes Josephine Simonnot hal-05493031	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : hal-05493031 Notice officielle HAL
Air-stable subsurface two-dimensional hole gas with strong spin-orbit interaction in single layer Pt on Ge Dan Wang ; Thomas Pierron ; Etienne Barre ; et 10 autre(s) auteur(s) indexé(s) hal-05566581	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05566581 Notice officielle HAL Revue ou périodique lié dans HAL : Nano Letters. Fichier principal signalé dans HAL : hal-05566581
Approche adaptative pour la réduction de l'énergie logicielle : de la modélisation comportementale aux retours personnalisés Thomas Zaragoza tel-05748649	Thèse Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : tel-05748649 Notice officielle HAL Fichier principal signalé dans HAL : tel-05748649
Caractérisation de la gestion des contraintes en ingénierie de la construction : fondements pour un design d'interface écologique Cyprien Pierre ; Alexis Heloir ; Christophe Kolski hal-05753467	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05753467 Notice officielle HAL Fichier principal signalé dans HAL : hal-05753467
Convergence of a CutFEM for fluid-structure interaction with a deforming interface Miguel Angel Fernández ; Buyang Li ; Maxim Olshanskii hal-05716662	Pré-publication, Document de travail Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : hal-05716662 Notice officielle HAL
Couplage plasma-interface dans les décharges à barrière semiconductrice Ayah Soundous Taihi tel-05681902	Thèse Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : tel-05681902 Notice officielle HAL Fichier principal signalé dans HAL : tel-05681902
Covalently Linked Peptides and Membrane Potential Enable CyaA Segment Translocation Gaia Scilironi ; Nicolas Carvalho ; Jacinthe Frangieh ; et 7 autre(s) auteur(s) indexé(s) hal-05783983	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05783983 Notice officielle HAL Revue ou périodique lié dans HAL : Advanced Science. Fichier principal signalé dans HAL : hal-05783983
Développement d'un média d'interaction pour la communication humain-robot en coprésence et en téléprésence Margo Biret hal-05775616	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05775616 Notice officielle HAL Fichier principal signalé dans HAL : hal-05775616
Diminuer les frictions entre les utilisateurs et les mainteneurs de bibliothèques logicielles Gustave Monce tel-05674072	Thèse Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : tel-05674072 Notice officielle HAL Fichier principal signalé dans HAL : tel-05674072
Enhancing decision-making in Industry 5.0 through adaptive human–machine interfaces: A systematic literature review Salima Meftah ; M’hammed Sahnoun ; Mourad Messaadia ; et 1 autre(s) auteur(s) indexé(s) hal-05474435	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05474435 Notice officielle HAL Revue ou périodique lié dans HAL : Computer Standards and Interfaces. Fichier principal signalé dans HAL : hal-05474435
Error-related potentials detection to enhance human-robot collaboration: a mini review David Achanccaray ; Aurélie Clodic ; Raphaëlle Roy hal-05740675	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05740675 Notice officielle HAL Revue ou périodique lié dans HAL : Frontiers in Neuroergonomics. Fichier principal signalé dans HAL : hal-05740675
Exploration of the Interaction Strength at the Interface of neutral Chalcogen Ligands and Gold Surfaces Talia Alexandra Garzón ; Mary Tabut ; Monica Calatayud ; et 2 autre(s) auteur(s) indexé(s) hal-05470351	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05470351 Notice officielle HAL Revue ou périodique lié dans HAL : RSC Advances. Fichier principal signalé dans HAL : hal-05470351
Figma is a big black box:" The mismatch between the interface and its underlying structure Carl Abou Saada Nujaim ; Victoria Meifeng Myot ; Michel Beaudouin-Lafon ; et 1 autre(s) auteur(s) indexé(s) hal-05559726	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05559726 Notice officielle HAL Fichier principal signalé dans HAL : hal-05559726
Gradient damage model for simulating thermo–mechanical coupling: Interaction between thermal degradation and mechanical damage Abdoussalam Mhadji ; Azdine Nait-Ali ; Benjamin Batiot ; et 1 autre(s) auteur(s) indexé(s) hal-05597656	Article dans une revue Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05597656 Notice officielle HAL Revue ou périodique lié dans HAL : European Journal of Mechanics - A/Solids. Fichier principal signalé dans HAL : hal-05597656
Implémenter le web5 avec la Boucle Psyco Ryad Ben-El-Kezadri ; Salem Belhaj ; Samy Mahi hal-05617257	Pré-publication, Document de travail Année du travail indiquée : 2026	Résumé : renseigné DOI : non renseigné ou non interprété	Résumé, sujets et sources : hal-05617257 Notice officielle HAL Fichier principal signalé dans HAL : hal-05617257
Interaction Methods in Generative AI Image Tools: A Review of Trends and Design Opportunities Across HCI and Industry Hyerim Park ; Andre Luckow ; Malin Eiband ; et 1 autre(s) auteur(s) indexé(s) hal-05550947	Communication dans un congrès Année du travail indiquée : 2026	Résumé : renseigné DOI : renseigné	Résumé, sujets et sources : hal-05550947 Notice officielle HAL Fichier principal signalé dans HAL : hal-05550947

Provenance et lecture des références de recherche

Source : HAL, archive ouverte développée par le Centre pour la communication scientifique directe (CCSD). Métadonnées bibliographiques initiales récupérées le 22 octobre 2026, réutilisées sous CC0 1.0. Les droits du document lui-même sont précisés sur sa notice officielle.

Cette sélection retient au plus les 200 premiers résultats par recherche sur les titres et mots-clés de HAL, triés par date du travail décroissante, pour les années 2000 à 2026. Les titres et mots-clés sont contrôlés à nouveau pour les termes de chaque axe. Un identifiant HAL est compté une seule fois par site ; la version la plus élevée rencontrée dans les réponses retenues est conservée. Des notices différentes peuvent encore décrire un même travail. La sélection n’est pas exhaustive et son ordre ne constitue pas un classement de qualité.

Articles, communications, thèses, mémoires, rapports et prépublications ont des statuts documentaires distincts. Le dépôt dans une archive et le type indiqué ne suffisent pas à établir une évaluation par les pairs. Les résumés sont ceux fournis dans les métadonnées, attribués aux auteurs de la notice ; ils restent à lire avec le travail complet et son contexte. Leur présence ne vaut pas recommandation médicale, juridique, financière ou technique.

La date du travail, la date de dépôt et la date de modification décrivent des événements différents. Un fichier signalé dans HAL ne garantit pas son accès actuel ; la notice officielle précise les conditions de consultation. Les axes sont documentaires : ils ne localisent pas les auteurs ni les terrains d’étude dans le territoire sélectionné ailleurs sur la page.

Conception et qualité logicielle : termes « génie logiciel », 199 notices retenues.
Accessibilité du web : termes « accessibilité » et « web », 45 notices retenues.
Interaction et interfaces : termes « interaction » et « interface », 198 notices retenues.

Rechercher dans HAL · Principes et réutilisation des métadonnées HAL.

From SSA to Synchronous Concurrency and Back

Rapport · hal-03043623 · version 1 présente dans le relevé.

Consulter la notice officielle HAL

Auteurs indexés dans la notice — 4

Hugo Pompougnac · Autres notices de cette sélection sous ce nom
Ulysse Beaugnon · Autres notices de cette sélection sous ce nom
Albert Cohen · Autres notices de cette sélection sous ce nom
Dumitru Potop-Butucaru · Autres notices de cette sélection sous ce nom

Le lien recherche le nom tel qu’indexé ; il ne distingue pas les personnes homonymes.

Champs bibliographiques publiés dans HAL
Champ	Valeur de la notice
Titres et traductions indexés	From SSA to Synchronous Concurrency and Back
Date du travail indiquée dans HAL	2020-12
Date de dépôt dans HAL	2020-12-07 16:21:24
Date de modification de la notice	2026-01-28 08:40:01
Revue	Non renseigné
Ouvrage associé	Non renseigné
Conférence associée	Non renseigné
Volume	Non renseigné
Numéro	Non renseigné
Pagination	23
Langues du document (codes ISO)	en
DOI publié	Non renseigné
Type de dépôt indiqué dans HAL	file
Licence du document indiquée dans HAL	https://about.hal.science/hal-authorisation-v1/

Fichiers et ressources en ligne signalés

Informations d’accès relevées dans HAL le 23 octobre 2026 pour la version 1 de cette notice.

Fichier principal — inria.hal.science
Annexe — inria.hal.science
Fichier signalé — inria.hal.science

Indicateur de libre accès publié par HAL: Oui — déclaré disponible en libre accès sur HAL ou sur un autre serveur
Type de dépôt publié dans ce relevé: file
Licence du document publiée dans ce relevé: https://about.hal.science/hal-authorisation-v1/

Les liens et l’indicateur décrivent le relevé de métadonnées ; les conditions d’accès peuvent évoluer. Une annexe ou une ressource liée peut avoir des conditions distinctes de celles du fichier principal. La licence affichée reste celle déclarée dans la notice. Source : notice officielle HAL, version 1, identifiant de document 3043623. Définition des champs de l’API HAL ; métadonnées HAL sous CC0.

Structures de recherche indexées dans HAL — 10 fiches reliées

Structures indexées dans la notice HAL hal-03043623, version 1. Relevé et référentiel consultés le 23 octobre 2026. Cette indexation peut inclure des structures parentes ; elle n’attribue pas chacune de ces structures à chaque auteur.

Structures identifiées dans le référentiel HAL — laboratoires, équipes et établissements conservés séparément
Structure et identifiant HAL	Type et statut du référentiel	Informations publiées
Centre Inria d'Université Côte d'Azur Structure HAL 34586	Laboratoire Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 2004 route des Lucioles BP 93 06902 Sophia Antipolis Mise à jour de la fiche 2025-08-26 15:12:16 Identifiant ROR https://ror.org/01nzkaw91 Identifiant RNSR 198318250R Identifiants HAL des structures parentes 300009 Anciens identifiants publiés par HAL 1207695 ; 1187456 ; 1151291 ; 1164331 ; 1146070 ; 1063963 ; 1006784 ; 1006783 Adresse web publiée http://www.inria.fr/centre/sophia/
Google Inc Structure HAL 93049	Laboratoire Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel ca Adresse publiée Toronto Mise à jour de la fiche 2014-10-24 09:06:25 Identifiants HAL des structures parentes 366136 Adresse web publiée http://www.google.com
Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis Structure HAL 13009 I3S	Laboratoire Statut : VALID	Codes, dates et repères de la structure Codes de structure UMR7271 Code pays du référentiel fr Adresse publiée 2000, route des Lucioles - Les Algorithmes - bât. Euclide B 06900 Sophia Antipolis Mise à jour de la fiche 2025-10-07 15:31:32 Identifiant ROR https://ror.org/01215r597 Identifiant ISNI 0000000105613840 Identifiant IdRef 050320491 Identifiant RNSR 201220432L Identifiants HAL des structures parentes 117617 ; 441569 ; 1039632 Anciens identifiants publiés par HAL 552896 ; 1079434 ; 1097768 ; 1071940 ; 9202 ; 263849 ; 264962 ; 363046 ; 399098 Adresse web publiée http://www.i3s.unice.fr/
Logical Time for Formal Embedded System Design Structure HAL 478607 KAIROS	Équipe de recherche Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 2004 route des Lucioles BP 93 06902 Sophia Antipolis Date de début publiée 2017-01-01 Date de fin publiée 2026-12-31 Mise à jour de la fiche 2026-01-28 08:39:54 Identifiant ROR https://ror.org/05h4ccq74 Identifiant RNSR 201722225N Identifiants HAL des structures parentes 34586 ; 451999 Anciens identifiants publiés par HAL 545669 Adresse web publiée https://www.inria.fr/en/teams/kairos
COMmunications, Réseaux, systèmes Embarqués et Distribués Structure HAL 451999 Laboratoire I3S - COMRED	Département Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée Laboratoire I3SCS 4012106903 Sophia Antipolis Cedex Date de début publiée 2016-03-02 Mise à jour de la fiche 2018-11-05 15:33:34 Identifiants HAL des structures parentes 13009 Adresse web publiée http://www.i3s.unice.fr/comred
Institut National de Recherche en Informatique et en Automatique Structure HAL 300009 Inria	Établissement ou institution Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex Mise à jour de la fiche 2017-01-10 15:32:29 Identifiant ROR https://ror.org/02kvxyf05 Anciens identifiants publiés par HAL 1217582 ; 1200491 ; 1178954 ; 540343 ; 529808 ; 501781 ; 303665 ; 453438 ; 303647 ; 438014 ; 432578 ; 427276 ; 420979 ; 421158 ; 421478 ; 416610 ; 362065 ; 362947 ; 367814 ; 372357 ; 407178 ; 419234 ; 417708 ; 417696 ; 407221 ; 365012 ; 302742 Adresse web publiée http://www.inria.fr/en/
Research at Google Structure HAL 366136	Établissement ou institution Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel us Mise à jour de la fiche 2017-01-17 14:17:28 Adresse web publiée https://research.google.com/
Université Nice Sophia Antipolis (1965 - 2019) Structure HAL 117617 UNS	Établissement ou institution Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée Parc Valrose, 06100 Nice Date de début publiée 1965-10-23 Date de fin publiée 2019-12-31 Mise à jour de la fiche 2023-09-06 10:40:57 Identifiant ROR https://ror.org/02k9vew78 Identifiant ISNI 0000000123372892 Identifiant IdRef 026403498 Anciens identifiants publiés par HAL 480223 ; 210621 ; 1009828 ; 1082675 ; 564523 ; 531565 ; 523957 ; 1086641 ; 577487 ; 510387 ; 422182 ; 413792 ; 368044 ; 406796 ; 400782 ; 372866 ; 364436 ; 364106 ; 363184 ; 361240 ; 357852 ; 325998 ; 303419 ; 302059 ; 257476 ; 251965 ; 245838 ; 239550 ; 232832 Adresse web publiée http://unice.fr/
Centre National de la Recherche Scientifique Structure HAL 441569 CNRS	Regroupement d’établissements Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Date de début publiée 1939-10-19 Mise à jour de la fiche 2023-02-08 16:56:41 Identifiant ROR https://ror.org/02feahw73 Identifiant ISNI 0000000122597504 Identifiant IdRef 02636817X Anciens identifiants publiés par HAL 303705 ; 28125 ; 92018 ; 1209686 ; 1257104 ; 1531119 ; 1701623 ; 1701624 ; 1776663 ; 1793536 ; 1224649 ; 430395 ; 1228192 ; 1190699 ; 1684960 ; 1787644 ; 1636992 ; 567957 ; 1220594 ; 1220595 ; 85584 ; 1220762 ; 1220763 ; 1176105 ; 1439580 ; 1312318 ; 1312313 ; 1312315 ; 1312317 ; 1312316 ; 1184729 ; 1312314 ; 1243173 ; 1058044 ; 1089790 ; 1217475 ; 440323 ; 1207146 ; 55161 ; 177471 ; 1221437 ; 435271 ; 579421 ; 1171149 ; 1195416 ; 536074 ; 1219312 ; 1173544 ; 1209943 ; 1209929 ; 1049189 ; 401156 ; 978 ; 93728 ; 490596 ; 497397 ; 1158244 ; 409635 ; 397370 ; 409347 ; 1164372 ; 1191283 ; 435317 ; 1185872 ; 1191916 ; 1087612 ; 265769 ; 434817 ; 200657 ; 146060 ; 2157 ; 1172745 ; 1190420 ; 545721 ; 1179320 ; 1176531 ; 40612 ; 26488 ; 124751 ; 1157342 ; 1174275 ; 1075927 ; 496750 ; 510871 ; 231349 ; 469025 ; 24166 ; 1172328 ; 193891 ; 1171706 ; 1006164 ; 546441 ; 356198 ; 1089204 ; 241352 ; 1099873 ; 1114409 ; 1145387 ; 1170197 ; 1145702 ; 1147013 ; 1170656 ; 429933 ; 1164933 ; 492429 ; 211951 ; 103610 ; 1169314 ; 1089203 ; 1168527 ; 1163022 ; 1091822 ; 1163005 ; 1067134 ; 1042401 ; 432101 ; 1150385 ; 1149888 ; 1160894 ; 7460 ; 8083 ; 133045 ; 1065369 ; 127967 ; 145699 ; 87862 ; 76486 ; 101111 ; 435044 ; 1099121 ; 1149391 ; 1155101 ; 91817 ; 143317 ; 1124197 ; 1124354 ; 1124190 ; 1161764 ; 1043393 ; 203882 ; 443365 ; 1149586 ; 1149515 ; 24544 ; 24551 ; 552551 ; 552552 ; 1094932 ; 1096840 ; 1094988 ; 1031205 ; 1079547 ; 312915 ; 576570 ; 336357 ; 150204 ; 1077805 ; 1095000 ; 1084886 ; 1084214 ; 537958 ; 1067989 ; 483375 ; 320028 ; 1054607 ; 35738 ; 143054 ; 413470 ; 1060907 ; 1060909 ; 1061030 ; 1061214 ; 576626 ; 505092 ; 468996 ; 476991 ; 547514 ; 432349 ; 426498 ; 502058 ; 4348 ; 490506 ; 427150 ; 398722 ; 509907 ; 420672 ; 265231 ; 490938 ; 308982 ; 425102 ; 488792 ; 447660 ; 420983 ; 267399 ; 429908 ; 441863 ; 388064 Adresse web publiée https://www.cnrs.fr/
Université Côte d'Azur Structure HAL 1039632 UniCA	Regroupement d’établissements Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée Parc Valrose, 28, avenue Valrose 06108 Nice Cedex 2 Date de début publiée 2020-01-01 Mise à jour de la fiche 2024-02-26 11:22:00 Identifiant ROR https://ror.org/019tgvf94 Identifiant IdRef 241035694 Anciens identifiants publiés par HAL 1225209 ; 413887 ; 1055369 ; 1030829 ; 1144919 ; 1084084 ; 1156012 ; 1156011 ; 1150667 ; 1200610 ; 1146255 ; 1071938 ; 525278 ; 566858 ; 1056642 Adresse web publiée https://univ-cotedazur.fr

Les statuts VALID, OLD et INCOMING décrivent le traitement des fiches dans le référentiel. Les dates, adresses et identifiants ne permettent pas de déduire l’activité actuelle d’un organisme ni l’affiliation actuelle d’un auteur. Les codes pays concernent les structures, pas les terrains d’étude.

Autres notices indexées avec Centre Inria d'Université Côte d'Azur

5 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Jusqu’à six notices sont affichées par année du travail décroissante. Une structure commune ne prouve pas une collaboration entre les auteurs. Ces nombres décrivent la sélection du site et non la production complète de la structure.

Autres notices indexées avec Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis

10 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Autres notices indexées avec Logical Time for Formal Embedded System Design

1 autre(s) notice(s) dans la sélection du site, avant les filtres de recherche.

Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models — 2019

Les correspondances utilisent les identifiants des structures indexés dans cette version du document. Un ancien identifiant est rapproché uniquement si HAL publie une correspondance univoque. Source : notice officielle HAL ; référentiel des structures et définition des champs ; métadonnées HAL sous CC0.

Disciplines et classement scientifique dans HAL — 1 domaine relié

Codes de la notice hal-03043623, version 1, et libellés du référentiel HAL relevés le 23 octobre 2026.

Domaine principal indiqué dans HAL : Informatique [cs]/Langage de programmation [cs.PL] (info.info-pl).

Informatique [cs]/Langage de programmation [cs.PL]

Code du domaine

info.info-pl

Identifiant dans le référentiel HAL

Niveau publié dans l’arborescence

Libellé anglais publié

Computer Science [cs]/Programming Languages [cs.PL]

Domaines parents du référentiel

Informatique [cs] (info) · Fiche HAL du domaine parent

Fiche officielle du domaine HAL · Consulter les 10 notices de ce domaine dans la sélection

Autres travaux indexés en Informatique [cs]/Langage de programmation [cs.PL]

9 autres notices dans la sélection du site.

Ce classement décrit l’indexation documentaire du dépôt. Il ne constitue ni un label de qualité, ni une spécialité professionnelle attribuée aux auteurs. Les liens vers d’autres travaux reposent sur un code commun dans les métadonnées et affichent au plus six notices par domaine, par année du travail décroissante. La hiérarchie ci-dessus reprend les identifiants parents du référentiel ; elle ne modifie pas les codes du dépôt.

Source : notice officielle HAL, même document et même version que la référence initiale. Référentiel des domaines · métadonnées HAL sous CC0.

Mots-clés fournis dans les métadonnées

Software engineering · Même mot-clé dans la sélection
Synchronous languages · Même mot-clé dans la sélection
Semantics · Même mot-clé dans la sélection
Real-time systems · Même mot-clé dans la sélection
Language implementation · Même mot-clé dans la sélection
Language design · Même mot-clé dans la sélection
Declarative languages · Même mot-clé dans la sélection
Code generation · Même mot-clé dans la sélection
Compiler optimization · Même mot-clé dans la sélection
Concurrency · Même mot-clé dans la sélection
Embedded systems · Même mot-clé dans la sélection
Génération de code · Même mot-clé dans la sélection
Optimisation de compilateur · Même mot-clé dans la sélection
Concurrence · Même mot-clé dans la sélection
Langages déclaratifs · Même mot-clé dans la sélection
Systèmes embarqués · Même mot-clé dans la sélection
Conception de langage · Même mot-clé dans la sélection
Implémentation de langage · Même mot-clé dans la sélection
Systèmes temps réel · Même mot-clé dans la sélection
Sémantique · Même mot-clé dans la sélection
Génie logiciel · Même mot-clé dans la sélection
Langages synchrones · Même mot-clé dans la sélection

Résumé fourni dans les métadonnées — français

Auteurs indexés : Hugo Pompougnac ; Ulysse Beaugnon ; Albert Cohen ; et 1 autre(s) auteur(s) indexé(s). Source : hal-03043623, version 1.

Nous traitons de la programmation et de la compilation de systèmes réactifs, temps-réel. En particulier, nous cherchons à comprendre les principes fondamentaux communs à la programmation généraliste et aux langages synchrones—utilisés pour modéliser les systèmes de contrôle—et de là nous dérivons une méthode de compilation adaptée aux aspects réactifs et haute performance d’une application moderne. À cette fin, nous commençons par identifier les mécanismes des langages synchrones que SSA n’implémente pas : la synchronisation des calculs avec une base de temps externe, les entrées-sorties cycliques, et la notion sémantique de valeur absente, qui permet la représentation naturelle de variables dont l’initialisation ne suit pas de simples règles structurelles. Ensuite, nous montrons de quelle manière la forme SSA, dans l’implémentation de MLIR, peut être étendue pour implémenter ces mécanismes et leur appliquer toutes les transformations et optimisations basées sur SSA. Nous illustrons ces mécanismes par la représentation et la compilation du langage synchrone, flot de données Lustre. Nous montrons que les problèmes d’analyse statique pour l’initialisation, de génération de code, peuvent être entièrement distingués des problèmes d’allocation mémoire et de causalité, ces derniers étant pris en charge par les algorithmes d’analyse de la dominance de MLIR/SSA, ce qui permet un haut niveau de réutilisation du code et des concepts. Notre travail permet la spécification d’applications temps-réel, du point de vue du contrôle comme du calcul. Il ouvre la voie à la définition de processus de conception et d’implémentation plus efficaces, où la parallélisation et l’optimisation procèdent de l’allocation des ressources temps-réel.

Résumé fourni dans les métadonnées — anglais

Auteurs indexés : Hugo Pompougnac ; Ulysse Beaugnon ; Albert Cohen ; et 1 autre(s) auteur(s) indexé(s). Source : hal-03043623, version 1.

We are interested in the programming and compilation of reactive, real-time systems. More specifically, we would like to understand the fundamental principles common to generalpurpose and synchronous languages—used to model reactive control systems—and from this to derive a compilation flow suitable for both high-performance and reactive aspects of a modern control application. To this end, we first identify the key operational mechanisms of synchronous languages that SSA does not cover: synchronization of computations with an external time base, cyclic I/O, and the semantic notion of absent value which allows the natural representation of variables whose initialization does not follow simple structural rules such as control flow dominance. Then, we show how the SSA form in its MLIR implementation can be seamlessly extended to cover these mechanisms, enabling the application of all SSA-based transformations and optimizations. We illustrate this on the representation and compilation of the Lustre dataflow synchronous language. Most notably, in the analysis and compilation of Lustre embedded into MLIR, the initialization-related static analysis and code generation aspects can be fully separated from memory allocation and causality aspects, the latter being covered by the existing dominance-based algorithms of MLIR/SSA, resulting in a high degree of conceptual and code reuse. Our work allows the specification of both computational and control aspects of high-performance real-time applications. It paves the way for the definition of more efficient design and implementation flows where real-time ressource allocation drives parallelization and optimization.

Axes documentaires de cette sélection

Conception et qualité logicielle

Les résumés restituent les métadonnées du dépôt. Pour apprécier les résultats, la méthode et les limites du travail, consultez le document et son contexte. Métadonnées HAL sous CC0.