11
Publications
390
Citations
11
H-Index
2012
Active since
Valter Balegas is an author at Universidade Nova de Lisboa specializing in engineering, data management, and cloud computing.
Top concepts
EngineeringCloud ComputingData ManagementComputer ScienceCluster ComputingFormal MethodsFormal VerificationAvailabilityData ScienceVerification
Publications per year
2012–2018
11
11
Putting consistency back into eventual consistency
Valter Balegas, Sérgio Duarte, Carla Ferreira et al. · 2015 · 119 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
Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants
Valter Balegas, Diogo Serra, Sérgio Duarte et al. · 2015 · 29 citations · Full text
Rows per page
1–5 of 11