Chercheur ou chercheuse

Mahboubi Assia

Chercheur ou chercheuse identifié(e) à partir d’une publication HAL.

Activité actuelle non vérifiée

Activité scientifique

Informations établies à partir des publications HAL présentes dans le périmètre importé.

4publications HAL repérées
4publications depuis 5 ans
2026publication la plus récente

Domaines HAL

InformatiqueMathématiques

Mots-clés fréquents

RocqFormal software verificationModular inversionCryptographic primitivesWhy3Deductive program verificationDecision procedureCombinatorics on words Word problemMonoidsFormal proofLogic and verificationRewrite systemsAutomated reasoningRocq proverLogical relationSheavesContinuityType theory

Publications récentes repérées

  1. Functional correctness of an optimized modular inversion algorithm2026 · Communication dans un congrès
    Consulter →
  2. Certifying the Decidability of the Word Problem in Monoids at Large2026 · Communication dans un congrès
    Consulter →
  3. In Cantor Space No One Can Hear You Stream2026 · Communication dans un congrès
    Consulter →
  4. A Case Study in Mechanizing Computer-Aided Proofs: Small Gaps Between Primes2026 · Communication dans un congrès
    Consulter →

Rattaché à

Une publication atteste un rattachement à sa date, mais ne permet pas de savoir s’il existe encore aujourd’hui.

Implantations

  • Localisation de la structure de rattachement « Centre Inria de l’Université de Rennes » : Campus universitaire de Beaulieu, 35042, Rennes, France — Localisation à la commune (position approximative)

Explorer les liens

Parcourez les rattachements, les regroupements et les projets. Choisissez une entité pour explorer ses liens.

Mahboubi Assia
  • Rattachement documentéCentre Inria de l’Université de RennesStructure fédérativeConsulter →

Une participation commune à un projet ne prouve pas une collaboration directe entre ses participants. Un rattachement repéré dans une publication ne confirme pas à lui seul une affectation actuelle.

Sources et actualisation

HAL

Fiche mise à jour
06/10/2026

Les informations présentées proviennent de données librement accessibles et de sources publiques. Elles peuvent être incomplètes ou avoir évolué ; consultez les sources indiquées pour les confirmer.

Proposer une correction

Connectez-vous pour envoyer une proposition privée à l’administration.

Se connecter

Une erreur ou une précision à apporter ?

Votre commentaire suivra les règles habituelles de modération du site.

Ajouter un commentaire

Copyright 2026 - Les Cahiers de l'Innovation

Les Cahiers de l’innovation

Que souhaitez-vous explorer ?

Explorez les articles et les ressources des Cahiers.