Accueil
>
Production scientifique
> Résultat majeur
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
Résultat majeur : EFFICIENT ASYMMETRIC INCLUSION OF REGULAR EXPRESSIONS WITH INTERLEAVING AND COUNTING FOR XML TYPE-CHECKING.
EFFICIENT ASYMMETRIC INCLUSION OF REGULAR EXPRESSIONS WITH INTERLEAVING AND COUNTING FOR XML TYPE-CHECKING.
30 avril 2013
D. Colazzo, G. Ghelli, L. Pardini, C. Sartiani. Theoretical Computer Science (TCS).
Activités de recherche
°
Bases de données
°
Théorie des types
Equipe
°
Bases de Données
Contact
[aucun]
Résultats majeurs
HOW FAST CAN YOU CONVERGE TOWARDS A CONSENSUS VALUE?
28 octobre 2021
In their recent work, Matthias Fuegger (LMF), Thomas Nowak (LISN), and Manfred Schwarz (TU Wien) stu
MODEL TRANSFORMATION AS CONSERVATIVE THEORY-TRANSFORMATION
30 octobre 2020
We present a new technique to construct tool support for domain-specific languages (DSLs) inside the
BEST STUDENT PAPER AWARD (ML) AT ECML 2019
20 septembre 2019
Guillaume Doquet (A&O), Best Student Paper Award (category Machine Learning) at ECML 2019.
BEST PAPER AWARD - HPCS 2019 - ON SERVER-SIDE FILE ACCESS PATTERN MATCHING
17 juillet 2019
Francieli Zanon Boito¹ , Ramon Nou², Laércio Lima Pilla³, Jean Luca Bez⁴, Jean-François Méhaut¹, T
BEST FULL PAPER AWARD EDM 2019 - EDUCATIONAL DATA MINING
05 juillet 2019
DAS3H: Modeling Student Learning and Forgetting for Optimally Scheduling Distributed Practice of Ski
> tous les résultats majeurs