Articles with public access mandates - Annette BieniusaLearn more
Not available anywhere: 4
AutoCouch: a JSON CRDT framework
P Grosch, R Krafft, M Wölki, A Bieniusa
Proceedings of the 7th Workshop on Principles and Practice of Consistency …, 2020
Mandates: European Commission
Teaching practical realistic verification of distributed algorithms in Erlang with TLA+
P Zeller, A Bieniusa, C Ferreira
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 14-23, 2020
Mandates: Fundação para a Ciência e a Tecnologia, Portugal, European Commission
Collaborative work management with a highly-available Kanban board
A Bieniusa, P Zeller, S Barke
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 2018
Mandates: European Commission
Multi-view data types for scalable concurrency in the multi-core era
DD Akkoorath, J Brandão, A Bieniusa, C Baquero
Proceedings of the Programming Models and Languages for Distributed …, 2017
Mandates: European Commission
Available somewhere: 10
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
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
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
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
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
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
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
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
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
Mandates: European Commission
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
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
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
Mandates: Fundação para a Ciência e a Tecnologia, Portugal
Combining state-and event-based semantics to verify highly available programs
P Zeller, A Bieniusa, A Poetzsch-Heffter
Formal Aspects of Component Software: 16th International Conference, FACS …, 2020
Mandates: European Commission
Global-local view: Scalable consistency for concurrent data types
D Akkoorath, J Brandao, A Bieniusa, C Baquero
Euro-Par 2018: Parallel Processing: 24th International Conference on …, 2018
Mandates: European Commission
Ensuring referential integrity under causal consistency
M Shapiro, A Bieniusa, P Zeller, G Petri
Proceedings of the 5th Workshop on the Principles and Practice of …, 2018
Mandates: European Commission
Publication and funding information is determined automatically by a computer program