Elena Yanakieva

Orcid: 0000-0002-2900-7252

According to our database1, Elena Yanakieva authored at least 7 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
LoRe: A Programming Model for Verifiably Safe Local-first Software.
ACM Trans. Program. Lang. Syst., March, 2024

2023
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact).
Dagstuhl Artifacts Ser., 2023

Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills.
Proceedings of the Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education, 2023

A Study of Semantics for CRDT-based Collaborative Spreadsheets.
Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2021
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems.
Proceedings of the Networked Systems - 9th International Conference, 2021

Access Control Conflict Resolution in Distributed File Systems using CRDTs.
Proceedings of the PaPoC@EuroSys 2021, 2021


  Loading...