Elena Yanakieva

Orcid: 0000-0002-2900-7252

According to our database¹, Elena Yanakieva authored at least 8 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ 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.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., March, 2024

2023

LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2023

GeNIUS: Conditions for Successfully Teaching Computer Science Infused Natural Science Classes in Schools.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Informatics in Schools: Situation, 2023

Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Elena Yanakieva

Philipp Bird

Annette Bieniusa

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 9th International Conference, 2021

Access Control Conflict Resolution in Distributed File Systems using CRDTs.

[BibT_eX]

[DOI]

Proceedings of the PaPoC@EuroSys 2021, 2021

Elena Yanakieva

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...