( en | de | ru )

 

Disambiguation of "Yanakieva, Elena"

Author of the publication

copydeleteadd this publication to your clipboard
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).

, , , , and . ECOOP, volume 263 of LIPIcs, page 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

Other publications of authors with the same name

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