Diogo Serra is an author at LIP6 specializing in cloud computing, automated reasoning, and data integrity.
Top concepts
EngineeringData PrivacyData ScienceVerificationData SecurityData IntegrityFormal MethodsCloud ComputingData ManagementComputer Science
Publications per year
2015–2024
3
3
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–3 of 3