The Relation of Version Control to Concurrent Programming. - Annette Bieniusa; Peter Thiemann 001; Stefan Wehr (CSSE (3), 2008)

Htdp and dmda in the battlefield: a case study in first-year programming instruction. - Annette Bieniusa; Markus Degen 001; Phillip Heidegger; Peter Thiemann 001; Stefan Wehr; Martin Gasbichler; Michael Sperber; Marcus Crestani; Herbert Klaeren; Eric Knauel (FDPE@ICFP, 2008)

How to CPS Transform a Monad. - Annette Bieniusa; Peter Thiemann 001 (CC, 2009)

Consistency in hindsight: A fully decentralized STM algorithm. - Annette Bieniusa; Thomas Fuhrmann (IPDPS, 2010)

The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing. - Annette Bieniusa; Johannes Eickhold; Thomas Fuhrmann (VMIL@SPLASH, 2010)

Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair. - Annette Bieniusa; Arie Middelkoop; Peter Thiemann 001 (PODC, 2010)

DOM Transactions for Testing JavaScript. - Phillip Heidegger; Annette Bieniusa; Peter Thiemann 001 (TAIC PART, 2010)

Proving Isolation Properties for Software Transactional Memory. - Annette Bieniusa; Peter Thiemann 001 (ESOP, 2011)

Consistency, isolation, and irrevocability in software transactional memory. - Annette Bieniusa (2011)

Lifting the Barriers - Reducing Latencies with Transparent Transactional Memory. - Annette Bieniusa; Thomas Fuhrmann (ICDCN, 2012)

Access permission contracts for scripting languages. - Phillip Heidegger; Annette Bieniusa; Peter Thiemann 001 (POPL, 2012)

Brief Announcement: Semantics of Eventually Consistent Replicated Sets. - Annette Bieniusa; Marek Zawirski; Nuno M. Preguiça; Marc Shapiro 001; Carlos Baquero; Valter Balegas; Sérgio Duarte (DISC, 2012)

An optimized conflict-free replicated set - Annette Bieniusa; Marek Zawirski; Nuno M. Preguiça; Marc Shapiro 001; Carlos Baquero; Valter Balegas; Sérgio Duarte (CoRR, 2012)

Formal Specification and Verification of CRDTs. - Peter Zeller 001; Annette Bieniusa; Arnd Poetzsch-Heffter (FORTE, 2014)

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. - Nuno M. Preguiça; Marek Zawirski; Annette Bieniusa; Sérgio Duarte; Valter Balegas; Carlos Baquero; Marc Shapiro 001 (SRDS Workshops, 2014)

Transactions on Mergeable Objects. - Deepthi Devaki Akkoorath; Annette Bieniusa (APLAS, 2015)

Collaborative offline web applications using conflict-free replicated data types. - Santiago J. Castiñeira; Annette Bieniusa (PaPoC@EuroSys, 2015)

Adaptive strength geo-replication strategy. - Amadeo Ascó Signes; Annette Bieniusa (PaPoC@EuroSys, 2015)

Write Fast, Read in the Past: Causal Consistency for Client-Side Applications. - Marek Zawirski; Nuno M. Preguiça; Sérgio Duarte; Annette Bieniusa; Valter Balegas; Marc Shapiro 001 (Middleware, 2015)

replikativ.io: Composable consistency primitives for a scalable and robust global replication system. - Christian Weilbach; Konrad Kühne; Annette Bieniusa (CoRR, 2015)

Observing the consistency of distributed systems. - Deepthi Devaki Akkoorath; Viktória Fördós; Annette Bieniusa (Erlang Workshop, 2016)

Highly-scalable concurrent objects. - Deepthi Devaki Akkoorath; Annette Bieniusa (PaPoC@EuroSys, 2016)

Decoupling conflict resolution with CDVCS. - Christian Weilbach; Konrad Kühne; Annette Bieniusa (PaPoC@EuroSys, 2016)

Eventually consistent register revisited. - Marek Zawirski; Carlos Baquero; Annette Bieniusa; Nuno M. Preguiça; Marc Shapiro 001 (PaPoC@EuroSys, 2016)

Cure: Strong Semantics Meets High Availability and Low Latency. - Deepthi Devaki Akkoorath; Alejandro Z. Tomsic; Manuel Bravo; Zhongmiao Li; Tyler Crain; Annette Bieniusa; Nuno M. Preguiça; Marc Shapiro 001 (ICDCS, 2016)

Access Control for Weakly Consistent Replicated Information Systems. - Mathias Weber 001; Annette Bieniusa; Arnd Poetzsch-Heffter (STM, 2016)

Multi-view data types for scalable concurrency in the multi-core era. - Deepthi Devaki Akkoorath; José Brandão 001; Annette Bieniusa; Carlos Baquero (PMLDC@ECOOP, 2017)

FMKe: a Real-World Benchmark for Key-Value Data Stores. - Gonçalo Tomás; Peter Zeller 001; Valter Balegas; Deepthi Devaki Akkoorath; Annette Bieniusa; João Leitão 001; Nuno M. Preguiça (PaPoC@EuroSys, 2017)

EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). - Mathias Weber 001; Annette Bieniusa; Arnd Poetzsch-Heffter (FORTE, 2017)

Practical evaluation of the Lasp programming model at large scale: an experience report. - Christopher S. Meiklejohn; Vitor Enes; Junghun Yoo; Carlos Baquero; Peter Van Roy; Annette Bieniusa (PPDP, 2017)

Legion: Enriching Internet Services with Peer-to-Peer Interactions. - Albert van der Linde; Pedro Fouto; João Leitão 001; Nuno M. Preguiça; Santiago J. Castiñeira; Annette Bieniusa (WWW, 2017)

EPTL - A temporal logic for weakly consistent systems. - Mathias Weber 001; Annette Bieniusa; Arnd Poetzsch-Heffter (CoRR, 2017)

Techreport: Time-sensitive probabilistic inference for the edge. - Christian Weilbach; Annette Bieniusa (CoRR, 2017)

New Challenges in Parallelism (Dagstuhl Seminar 17451). - Annette Bieniusa; Hans-Juergen Boehm; Maurice Herlihy; Erez Petrank (Dagstuhl Reports, 2017)

Collaborative Work Management with a Highly-Available Kanban Board. - Annette Bieniusa; Peter Zeller 001; Shraddha Barke (Principled Software Development, 2018)

Global-Local View: Scalable Consistency for Concurrent Data Types. - Deepthi Devaki Akkoorath; José Brandão 001; Annette Bieniusa; Carlos Baquero (Euro-Par, 2018)

Ensuring referential integrity under causal consistency. - Marc Shapiro 001; Annette Bieniusa; Peter Zeller 001; Gustavo Petri (PaPoC@EuroSys, 2018)

Just-Right Consistency: reconciling availability and safety. - Marc Shapiro 001; Annette Bieniusa; Nuno M. Preguiça; Valter Balegas; Christopher Meiklejohn (CoRR, 2018)

ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. - Mathias Weber 001; Annette Bieniusa (CoRR, 2018)

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). - Annette Bieniusa; Alexey Gotsman; Bettina Kemme; Marc Shapiro 001 (Dagstuhl Reports, 2018)

Combining State- and Event-Based Semantics to Verify Highly Available Programs. - Peter Zeller 001; Annette Bieniusa; Arnd Poetzsch-Heffter (FACS, 2019)

Antidote SQL: Relaxed When Possible, Strict When Necessary. - Pedro Lopes; João Sousa; Valter Balegas; Carla Ferreira 001; Sérgio Duarte; Annette Bieniusa; Rodrigo Rodrigues 001; Nuno M. Preguiça (CoRR, 2019)

Teaching practical realistic verification of distributed algorithms in Erlang with TLA+. - Peter Zeller 001; Annette Bieniusa; Carla Ferreira 001 (Erlang Workshop, 2020)

AutoCouch: a JSON CRDT framework. - Pascal Grosch; Roman Krafft; Marcel Wölki; Annette Bieniusa (PaPoC@EuroSys, 2020)

Bidirectional typing for Erlang. - Nithin Vadukkumchery Rajendrakumar; Annette Bieniusa (Erlang Workshop, 2021)

Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems. - Susanne Braun; Annette Bieniusa; Frank Elberzhager (PaPoC@EuroSys, 2021)

Access Control Conflict Resolution in Distributed File Systems using CRDTs. - Elena Yanakieva; Michael Youssef; Ahmad Hussein Rezae; Annette Bieniusa (PaPoC@EuroSys, 2021)

On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. - Elena Yanakieva; Michael Youssef; Ahmad Hussein Rezae; Annette Bieniusa (NETYS, 2021)

Combining state- and event-based semantics to verify highly available applications. - Peter Zeller 001; Annette Bieniusa; Arnd Poetzsch-Heffter (Sci. Comput. Program., 2021)

Set-theoretic Types for Erlang. - Albert Schimpf; Stefan Wehr; Annette Bieniusa (IFL, 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)

A Study of Semantics for CRDT-based Collaborative Spreadsheets. - Elena Yanakieva; Philipp Bird; Annette Bieniusa (PaPoC@EuroSys, 2023)

Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills. - Elena Yanakieva; Annette Bieniusa; Thomas Becka; Brian B. Moser; Dominik Jerger; Christoph Thyssen (ISSEP, 2023)

GeNIUS: Conditions for Successfully Teaching Computer Science Infused Natural Science Classes in Schools. - Elena Yanakieva; Annette Bieniusa; Christoph Thyssen; Thomas Becka; Julia Albicker; Niklas Westermann; Barbara Pampel; Johannes Huwer (ISSEP (Local Proceedings), 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)

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang. - Florian Berger; Albert Schimpf; Annette Bieniusa; Stefan Wehr (Erlang, 2024)

Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations. - Marian Hristov; Annette Bieniusa (Erlang, 2024)

Models for Storage in Database Backends. - Edgard Schiebelbein; Saalik Hatia; Annette Bieniusa; Carla Ferreira 001; Gustavo Petri; Marc Shapiro 001 (PaPoC@EuroSys, 2024)

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)

Directed Acyclic Graph CRDTs. - Evelyn Borth; Philipp Lersch; Annette Bieniusa (PaPoC@EuroSys, 2025)

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

Semantic Subtyping for Maps in Erlang. - Erdem Yildirim; Albert Schimpf; Stefan Wehr; Annette Bieniusa (CoRR, 2025)