Seguir
Annette Bieniusa
Annette Bieniusa
University of Kaiserslautern-Landau (RPTU)
Dirección de correo verificada de cs.uni-kl.de
Título
Citado por
Citado por
Año
Cure: Strong semantics meets high availability and low latency
DD Akkoorath, AZ Tomsic, M Bravo, Z Li, T Crain, A Bieniusa, N Preguiça, ...
2016 IEEE 36th International Conference on Distributed Computing Systems …, 2016
1842016
Write fast, read in the past: Causal consistency for client-side applications
M Zawirski, N Preguiça, S Duarte, A Bieniusa, V Balegas, M Shapiro
Proceedings of the 16th Annual Middleware Conference, 75-87, 2015
1172015
An optimized conflict-free replicated set
A Bieniusa, M Zawirski, N Preguiça, M Shapiro, C Baquero, V Balegas, ...
arXiv preprint arXiv:1210.3368, 2012
732012
Consistency in hindsight: A fully decentralized STM algorithm
A Bieniusa, T Fuhrmann
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
702010
Legion: Enriching internet services with peer-to-peer interactions
A van der Linde, P Fouto, J Leitão, N Preguiça, S Castiñeira, A Bieniusa
Proceedings of the 26th International Conference on World Wide Web, 283-292, 2017
652017
SwiftCloud: Fault-tolerant geo-replication integrated all the way to the client machine
M Zawirski, A Bieniusa, V Balegas, S Duarte, C Baquero, M Shapiro, ...
arXiv preprint arXiv:1310.3107, 2013
552013
Formal specification and verification of crdts
P Zeller, A Bieniusa, A Poetzsch-Heffter
Formal Techniques for Distributed Objects, Components, and Systems: 34th …, 2014
482014
Brief announcement: Semantics of eventually consistent replicated sets
A Bieniusa, M Zawirski, N Preguiça, M Shapiro, C Baquero, V Balegas, ...
International Symposium on Distributed Computing, 441-442, 2012
362012
Access permission contracts for scripting languages
P Heidegger, A Bieniusa, P Thiemann
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
312012
Swiftcloud: Fault-tolerant geo-replication integrated all the way to the client machine
N Preguiça, M Zawirski, A Bieniusa, S Duarte, V Balegas, C Baquero, ...
2014 IEEE 33rd International Symposium on Reliable Distributed Systems …, 2014
292014
Just-right consistency: reconciling availability and safety
M Shapiro, A Bieniusa, N Preguiça, V Balegas, C Meiklejohn
arXiv preprint arXiv:1801.06340, 2018
232018
Htdp and dmda in the battlefield: a case study in first-year programming instruction
A Bieniusa, M Degen, P Heidegger, P Thiemann, S Wehr, M Gasbichler, ...
Proceedings of the 2008 international workshop on Functional and declarative …, 2008
20*2008
Practical evaluation of the lasp programming model at large scale: an experience report
CS Meiklejohn, V Enes, J Yoo, C Baquero, P Van Roy, A Bieniusa
Proceedings of the 19th International Symposium on Principles and Practice …, 2017
172017
Brief announcement: Actions in the twilight-concurrent irrevocable transactions and inconsistency repair
A Bieniusa, A Middelkoop, P Thiemann
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
172010
Eventually consistent register revisited
M Zawirski, C Baquero, A Bieniusa, N Preguiça, M Shapiro
Proceedings of the 2nd Workshop on the Principles and Practice of …, 2016
162016
Antidote: the highly-available geo-replicated database with strongest guarantees
DD Akkoorath, A Bieniusa
SyncFree Technology White Paper, 2016
152016
Advanced domain-driven design for consistency in distributed data-intensive systems
S Braun, A Bieniusa, F Elberzhager
Proceedings of the 8th Workshop on Principles and Practice of Consistency …, 2021
142021
Access control for weakly consistent replicated information systems
M Weber, A Bieniusa, A Poetzsch-Heffter
Security and Trust Management: 12th International Workshop, STM 2016 …, 2016
142016
Proving isolation properties for software transactional memory
A Bieniusa, P Thiemann
European Symposium on Programming, 38-56, 2011
122011
Fmke: a real-world benchmark for key-value data stores
G Tomás, P Zeller, V Balegas, D Akkoorath, A Bieniusa, J Leitão, ...
Proceedings of the 3rd International Workshop on Principles and Practice of …, 2017
112017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20