Elena Yanakieva

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Computer Science

Extended Abstract

Conflict Resolution

Top Venues

ISSEP (Local Proceedings)

Publications

Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-first Software. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software. CoRR (2023)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). ECOOP (2023)
Elena Yanakieva, Annette Bieniusa, Thomas Becka, Brian B. Moser, Dominik Jerger, Christoph Thyssen
Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills. ISSEP (2023)
Elena Yanakieva, Philipp Bird, Annette Bieniusa
A Study of Semantics for CRDT-based Collaborative Spreadsheets. PaPoC@EuroSys (2023)
Elena Yanakieva, Annette Bieniusa, Christoph Thyssen, Thomas Becka, Julia Albicker, Niklas Westermann, Barbara Pampel, Johannes Huwer
GeNIUS: Conditions for Successfully Teaching Computer Science Infused Natural Science Classes in Schools. ISSEP (Local Proceedings) (2023)
Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa
Access Control Conflict Resolution in Distributed File Systems using CRDTs. PaPoC@EuroSys (2021)
Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. NETYS (2021)