11
Publications
411
Citations
10
H-Index
2008
Active since
Annette Bieniusa is an author at University of Kaiserslautern specializing in engineering, computer science, and cloud computing.
Top concepts
EngineeringComputer ScienceCloud ComputingFormal MethodsData ManagementCluster ComputingProgram AnalysisFormal VerificationSoftware EngineeringEdge Computing
Publications per year
2008–2021
11
11
Cure: Strong Semantics Meets High Availability and Low Latency
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo et al. · 2016 · 113 citations · Full text
Marek Zawirski, Nuno Preguiça, Sérgio Duarte et al. · 2015 · 72 citations · Full text
An optimized conflict-free replicated set
Annette Bieniusa, Marek Zawirski, Nuno Preguiça et al. · arXiv (Cornell University) · 2012 · 32 citations · Full text
Rows per page
1–5 of 11