| 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 | 86 | 2016 |
| 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 | 76 | 2015 |
| Consistency in hindsight: A fully decentralized STM algorithm A Bieniusa, T Fuhrmann 2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010 | 66 | 2010 |
| 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 | 51 | 2012 |
| 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 | 45 | 2013 |
| 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 | 34 | 2012 |
| 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 | 31 | 2012 |
| 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 | 23 | 2017 |
| Formal specification and verification of crdts P Zeller, A Bieniusa, A Poetzsch-Heffter International Conference on Formal Techniques for Distributed Objects …, 2014 | 20 | 2014 |
| 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 | 19 | 2014 |
| 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 | 17 | 2010 |
| 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 | 12 | 2017 |
| Proving isolation properties for software transactional memory A Bieniusa, P Thiemann European Symposium on Programming, 38-56, 2011 | 12 | 2011 |
| 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 | 10 | 2008 |
| 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 | 9 | 2016 |
| The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing A Bieniusa, J Eickhold, T Fuhrmann Virtual Machines and Intermediate Languages, 1-10, 2010 | 9 | 2010 |
| HtDP and DMdA in the battlefield A Bieniusa, M Degen, P Heidegger, P Thiemann, S Wehr, M Gasbichler, ... Functional and Declarative Programming in Education, Victoria, BC, Canada 10 …, 2008 | 8 | 2008 |
| Actions in the Twilight: Concurrent irrevocable transactions and inconsistency repair (extended version) A Bieniusa, A Middelkoop, P Thiemann Technical Report 257, Institut für Informatik, Universität Freiburg, 2010 | 7 | 2010 |
| Consistency, isolation, and irrevocability in software transactional memory A Bieniusa University of Freiburg, Germany, 2011 | 6 | 2011 |
| Twilight in haskell: software transactional memory with safe I/O and typed conflict management A Bieniusa, A Middelkoop, P Thiermann Preprocedings of IFL, 2010 | 6 | 2010 |
Nuno PreguiçaNOVA LINCS / Universidade NOVA de LisboaEmail confirmado em fct.unl.pt
