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.

Méthodes formelles pour le respect de la vie privée par construction

Thèse · tel-01235044 · version 2 présente dans le relevé.

Consulter la notice officielle HAL

Auteurs indexés dans la notice — 1

Thibaud Antignac · 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	Méthodes formelles pour le respect de la vie privée par construction Formal methods for privacy by design
Date du travail indiquée dans HAL	2015-02-25
Date de dépôt dans HAL	2015-11-27 14:40:50
Date de modification de la notice	2026-06-25 11:48:02
Revue	Non renseigné
Ouvrage associé	Non renseigné
Conférence associée	Non renseigné
Volume	Non renseigné
Numéro	Non renseigné
Pagination	Non renseigné
Langues du document (codes ISO)	fr
DOI publié	10.70675/bc73f766z355fz40edz8c43zdc800db5e8fa
Type de dépôt indiqué dans HAL	file
Licence du document indiquée dans HAL	https://about.hal.science/hal-authorisation-v1/

Consulter la référence par DOI

Fichiers et ressources en ligne signalés

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

Fichier principal — theses.hal.science
Fichier signalé — theses.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 2, identifiant de document 1234959. Définition des champs de l’API HAL ; métadonnées HAL sous CC0.

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

Structures indexées dans la notice HAL tel-01235044, version 2. 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
CITI Centre of Innovation in Telecommunications and Integration of Service Structure HAL 203831 CITI	Laboratoire Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée Building Hedy Lamarr, 6 avenue des Arts, F-69621 Villeurbanne Mise à jour de la fiche 2026-06-25 11:46:13 Identifiants HAL des structures parentes 219748 ; 300009 Anciens identifiants publiés par HAL 1179609 ; 27983 Adresse web publiée https://www.citi-lab.fr/
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/
Institut National des Sciences Appliquées de Lyon Structure HAL 219748 INSA Lyon	Établissement ou institution Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 20 Avenue Albert Einstein, 69621 Villeurbanne cedex Date de début publiée 1957-03-18 Mise à jour de la fiche 2020-07-08 12:03:11 Identifiant ISNI 0000 0001 2292 0228 Identifiant IdRef 052444724 Identifiants HAL des structures parentes 301088 ; 301232 Anciens identifiants publiés par HAL 1270209 ; 430941 ; 538878 ; 479290 ; 510971 ; 492896 ; 514440 ; 459329 ; 421896 ; 448539 ; 445924 ; 421179 ; 439896 ; 425059 ; 425057 ; 421175 ; 145651 ; 407456 ; 407388 ; 398998 ; 398991 ; 390578 ; 373218 ; 367268 ; 366290 ; 364101 ; 358508 ; 302123 ; 263299 ; 249393 Adresse web publiée http://www.insa-lyon.fr/
Institut National des Sciences Appliquées Structure HAL 301232 INSA	Regroupement d’établissements Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Mise à jour de la fiche 2018-02-28 09:48:00 Identifiant IdRef 162105150 Anciens identifiants publiés par HAL 213835 ; 238786 ; 248254 ; 359246 ; 366608 ; 396100
Université de Lyon Structure HAL 301088	Regroupement d’établissements Statut : VALID	Codes, dates et repères de la structure Code pays du référentiel fr Adresse publiée 92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07 Mise à jour de la fiche 2018-02-07 10:42:26 Identifiant ROR https://ror.org/01rk35k63 Anciens identifiants publiés par HAL 1003741 ; 515830 ; 508692 ; 534783 ; 488349 ; 485500 Adresse web publiée https://www.universite-lyon.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 CITI Centre of Innovation in Telecommunications and Integration of Service

2 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 Institut National de Recherche en Informatique et en Automatique

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

Autres notices indexées avec Institut National des Sciences Appliquées de Lyon

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

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 tel-01235044, version 2, et libellés du référentiel HAL relevés le 23 octobre 2026.

Domaine principal indiqué dans HAL : Informatique [cs]/Génie logiciel [cs.SE] (info.info-se).

Informatique [cs]/Génie logiciel [cs.SE]

Code du domaine

info.info-se

Identifiant dans le référentiel HAL

Niveau publié dans l’arborescence

Libellé anglais publié

Computer Science [cs]/Software Engineering [cs.SE]

Domaines parents du référentiel

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

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

Autres travaux indexés en Informatique [cs]/Génie logiciel [cs.SE]

109 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

Verification · Même mot-clé dans la sélection
Formal methods · Même mot-clé dans la sélection
Privacy protection · Même mot-clé dans la sélection
Architecture · Même mot-clé dans la sélection
Software engineering · Même mot-clé dans la sélection
Information Technology · Même mot-clé dans la sélection
Architecture · Même mot-clé dans la sélection
Vérification · Même mot-clé dans la sélection
Méthode formelle · Même mot-clé dans la sélection
Respect de la vie privée · Même mot-clé dans la sélection
Génie logiciel · Même mot-clé dans la sélection
Informatique · Même mot-clé dans la sélection

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

Auteurs indexés : Thibaud Antignac. Source : tel-01235044, version 2.

Le respect de la vie privée par construction est de plus en plus mentionné comme une étape essentielle vers une meilleure protection de la vie privée. Les nouvelles technologies de l'information et de la communication donnent naissance à de nouveaux modèles d'affaires et de services. Ces services reposent souvent sur l'exploitation de données personnelles à des fins de personnalisation. Alors que les exigences de respect de la vie privée sont de plus en plus sous tension, il apparaît que les technologies elles-mêmes devraient être utilisées pour proposer des solutions davantage satisfaisantes. Les technologies améliorant le respect de la vie privée ont fait l'objet de recherches approfondies et diverses techniques ont été développées telles que des anonymiseurs ou des mécanismes de chiffrement évolués. Cependant, le respect de la vie privée par construction va plus loin que les technologies améliorant simplement son respect. En effet, les exigences en terme de protection des données à caractère personnel doivent être prises en compte au plus tôt lors du développement d’un système car elles peuvent avoir un impact important sur l'ensemble de l'architecture de la solution. Cette approche peut donc être résumée comme « prévenir plutôt que guérir ». Des principes généraux ont été proposés pour définir des critères réglementaires de respect de la vie privée. Ils impliquent des notions telles que la minimisation des données, le contrôle par le sujet des données personnelles, la transparence des traitements ou encore la redevabilité. Ces principes ne sont cependant pas suffisamment précis pour être directement traduits en fonctionnalités techniques. De plus, aucune méthode n’a été proposée jusqu’ici pour aider à la conception et à la vérification de systèmes respectueux de la vie privée. Cette thèse propose une démarche de spécification, de conception et de vérification au niveau architectural. Cette démarche aide les concepteurs à explorer l'espace de conception d'un système de manière systématique. Elle est complétée par un cadre formel prenant en compte les exigences de confidentialité et d’intégrité des données. Enfin, un outil d’aide à la conception permet aux concepteurs non-experts de vérifier formellement les architectures. Une étude de cas illustre l’ensemble de la démarche et montre comment ces différentes contributions se complètent pour être utilisées en pratique.

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

Auteurs indexés : Thibaud Antignac. Source : tel-01235044, version 2.

Privacy by Design (PbD) is increasingly praised as a key approach to improving privacy protection. New information and communication technologies give rise to new business models and services. These services often rely on the exploitation of personal data for the purpose of customization. While privacy is more and more at risk, the growing view is that technologies themselves should be used to propose more privacy-friendly solutions. Privacy Enhancing Technologies (PETs) have been extensively studied, and many techniques have been proposed such as anonymizers or encryption mechanisms. However, PbD goes beyond the use of PETs. Indeed, the privacy requirements of a system should be taken into account from the early stages of the design because they can have a large impact on the overall architecture of the solution. The PbD approach can be summed up as ``prevent rather than cure''. A number of principles related to the protection of personal data and privacy have been enshrined in law and soft regulations. They involve notions such as data minimization, control of personal data by the subject, transparency of the data processing, or accountability. However, it is not clear how to translate these principles into technical features, and no method exists so far to support the design and verification of privacy compliant systems. This thesis proposes a systematic process to specify, design, and verify system architectures. This process helps designers to explore the design space in a systematic way. It is complemented by a formal framework in which confidentiality and integrity requirements can be expressed. Finally, a computer-aided engineering tool enables non-expert designers to perform formal verifications of the architectures. A case study illustrates the whole approach showing how these contributions complement each other and can be used in practice.

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.