Chercheur ou chercheuse

Amarilli Antoine

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é.

15publications HAL repérées

15publications depuis 5 ans

2026publication la plus récente

Profils publics

Publications sur HAL →

Domaines HAL

Informatique

Mots-clés fréquents

Theory of computation → Regular languagesAutomataFOS Computer and information sciencesData Structures and Algorithms csDSFormal Languages and Automata Theory csFLDynamic membershipAlgebraComplexityQuery AnsweringDeque machineTape machineLinear bounded automataEnumeration algorithmsConstant auxiliary spaceCounter implementationConstant delayGray codeHamiltonian

Publications récentes repérées

Out-Of-Order Membership in Regular Languages2026 · Actes de congrès
Consulter →
On the Complexity of Language Membership for Probabilistic Words2026 · Communication dans un congrès
Consulter →
Tighter Bounds for Query Answering with Guarded TGDs2026 · Article
Consulter →
Gray Codes With Constant Delay and Constant Auxiliary Space2026 · Communication dans un congrès
Consulter →
Out-of-Order Membership in Regular Languages2026 · Communication dans un congrès
Consulter →
The S-Hamiltonian Cycle Problem2026 · Communication dans un congrès
Consulter →
Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language2026 · Communication dans un congrès
Consulter →
Resilience for Regular Path Queries: Towards a Complexity Classification2025 · Article
Consulter →
Edge-Minimum Walk of Modular Length in Polynomial Time2025 · Communication dans un congrès
Consulter →
Dynamic Membership for Regular Tree Languages2025 · Communication dans un congrès
Consulter →
Linear Time Subsequence and Supersequence Regex Matching2025 · Communication dans un congrès
Consulter →
Locality Testing for NFAs is PSPACE-complete2025 · Prépublication ou document de travail
Consulter →

Rattaché à

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

UMR 9189 - CRISTAL - Centre de Recherche en Informatique, Signal et Automatique de Lille · preuve HAL en 2026
Laboratoire Traitement et Communication de l'Information · preuve HAL en 2026
Centre Inria de l'Université de Lille · preuve HAL en 2026
Données : algorithmiques et logiques dynamiques · preuve HAL en 2026

Implantations

Localisation de la structure de rattachement « Données : algorithmiques et logiques dynamiques » : Adresse RNSR : 59650, Villeneuve-d'Ascq, France — Localisation à la commune (position approximative)

Liens et rattachements

Deux vues des mêmes relations. Parcourez les pages ou choisissez une entité pour explorer ses liens.

Amarilli Antoine

Rattachements documentés

Rattachement documentéCentre Inria de l'Université de LilleStructure fédérativeConsulter →
Rattachement documentéDonnées : algorithmiques et logiques dynamiquesÉquipe de rechercheConsulter →
Rattachement documentéLaboratoire Traitement et Communication de l'InformationLaboratoireConsulter →
Rattachement documentéUMR 9189 - CRISTAL - Centre de Recherche en Informatique, Signal et Automatique de LilleLaboratoireConsulter →

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: 20/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.

Compléter ou corriger cette fiche

Une information manque ou vous souhaitez réagir ? Connectez-vous pour proposer une correction ou laisser un commentaire.

Se connecter pour contribuer · Créer un compte

Commenter cette fiche