Urban Caterina
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é.
Domaines HAL
Mots-clés fréquents
Publications récentes repérées
- PYRA: A High-level Linter for Data Science Software2026 · ArticleConsulter →
- ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs (Competition Contribution)2026 · Communication dans un congrèsConsulter →
- Abstract Lipschitz Continuity: Combining Semantic and Quantitative Approximations2026 · Communication dans un congrèsConsulter →
- Faster Verified Explanations for Neural Networks2026 · Communication dans un congrèsConsulter →
- Generator-Dense Galois Connections2026 · Communication dans un congrèsConsulter →
Rattaché à
Une publication atteste un rattachement à sa date, mais ne permet pas de savoir s’il existe encore aujourd’hui.
- Centre Inria de Paris · preuve HAL en 2026
Implantations
- Localisation de la structure de rattachement « Centre Inria de Paris » : 48 rue Barrault ,CS 61534, 75647, Paris, France
Explorer les liens
Parcourez les rattachements, les regroupements et les projets. Choisissez une entité pour explorer ses liens.
- Rattachement documentéCentre Inria de ParisStructure 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.