( en | de | ru )

 

Disambiguierung von "Yanakieva, Elena"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
LoRe: A Programming Model for Verifiably Safe Local-First Software.

, , , , und . CoRR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems., , , und . NETYS, Volume 12754 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2021)LoRe: A Programming Model for Verifiably Safe Local-First Software., , , , und . CoRR, (2023)LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)., , , , und . ECOOP, Volume 263 von LIPIcs, Seite 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)., , , , und . Dagstuhl Artifacts Ser., 9 (2): 11:1-11:2 (2023)Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills., , , , , und . ISSEP, Volume 14296 von Lecture Notes in Computer Science, Seite 180-193. Springer, (2023)A Study of Semantics for CRDT-based Collaborative Spreadsheets., , und . PaPoC@EuroSys, Seite 37-43. ACM, (2023)Access Control Conflict Resolution in Distributed File Systems using CRDTs., , , und . PaPoC@EuroSys, Seite 1:1-1:3. ACM, (2021)LoRe: A Programming Model for Verifiably Safe Local-first Software., , , , und . ACM Trans. Program. Lang. Syst., 46 (1): 2:1-2:26 (März 2024)