Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the Cloud. - Julian Haas (SPLASH Companion, 2022)

LoRe: Local-First Reactive Programming with Verified Safety Guarantees. - Julian Haas (SPLASH Companion, 2022)

LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). - Julian Haas; Ragnar Mogk; Elena Yanakieva; Annette Bieniusa; Mira Mezini (ECOOP, 2023)

LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). - Julian Haas; Ragnar Mogk; Elena Yanakieva; Annette Bieniusa; Mira Mezini (Dagstuhl Artifacts Ser., 2023)

Distributed Locking as a Data Type. - Julian Haas; Ragnar Mogk; Annette Bieniusa; Mira Mezini (CoRR, 2024)

LoRe: A Programming Model for Verifiably Safe Local-first Software. - Julian Haas; Ragnar Mogk; Elena Yanakieva; Annette Bieniusa; Mira Mezini (ACM Trans. Program. Lang. Syst., 2024)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types. - Julian Haas; Ragnar Mogk; Annette Bieniusa; Mira Mezini (CoRR, 2025)