Loading...
Cette page propose la consultation des publications déposées sur la plateforme HAL et dont un des auteurs est affilié à une structure placée sous la tutelle directe d'Inria.
Cette liste de publications est générée automatiquement chaque nuit.
Si au moins un des auteurs de la publication déposée est affilié à Inria, elle sera intégrée dans cette collection.
Les auteurs Inria sont invités à déposer sur le portail Inria.hal.science
Contact : archive-ouverte@inria.fr
Dernières publications
-
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa, Gustavo Petri, Carla Ferreira, et al.. Models for Storage in Database Backends: A Rigorous Approach for Formally-Correct Designs. Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), EuroSys (ACM), Apr 2024, Athènes, Greece. ⟨10.1145/3642976.3653036⟩. ⟨hal-04507674v2⟩