Bieniusa, Annette
28  results:
Search for persons X
?
1

Models for Storage in Database Backends:

, In: Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data,
 
?
2

A Study of Semantics for CRDT-based Collaborative Spreadshe..:

, In: Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data,
 
?
3

Bridging the Gap: Infusing Natural Science Classes with Com..:

, In: Lecture Notes in Computer Science; Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education,
Yanakieva, Elena ; Bieniusa, Annette ; Becka, Thomas... - p. 180-193 , 2023
 
?
4

Set-theoretic Types for Erlang:

, In: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages,
 
?
5

Advanced Domain-Driven Design for Consistency in Distribute..:

, In: Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data,
 
?
6

Access Control Conflict Resolution in Distributed File Syst..:

, In: Proceedings of the 8th Workshop on Principles and Practice of Consistency for Distributed Data,
 
?
7

Bidirectional typing for Erlang:

, In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang,
 
?
8

On the Impossibility of Confidentiality, Integrity and Acce..:

, In: Networked Systems; Lecture Notes in Computer Science,
 
?
9

Teaching practical realistic verification of distributed al..:

, In: Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang,
 
?
10

Combining State- and Event-Based Semantics to Verify Highly..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
 
?
11

AutoCouch : a JSON CRDT framework:

, In: Proceedings of the 7th Workshop on Principles and Practice of Consistency for Distributed Data,
 
?
12

Global-Local View: Scalable Consistency for Concurrent Data..:

, In: Euro-Par 2018: Parallel Processing; Lecture Notes in Computer Science,
 
?
13

Ensuring referential integrity under causal consistency:

, In: Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data,
 
?
14

Practical evaluation of the Lasp programming model at large..:

, In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming,
 
?
15

Legion : Enriching Internet Services with Peer-to-Peer I..:

, In: Proceedings of the 26th International Conference on World Wide Web,
 
1-15