8
Publications
696
Citations
8
H-Index
2011
Active since
Marek Zawirski is an author at Sorbonne Université specializing in data management, engineering, and formal methods.
Top concepts
EngineeringData ManagementFormal MethodsComputer ScienceCluster ComputingFormal VerificationManagementData IntegrationData ScienceVerification
Publications per year
2011–2016
8
8
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang et al. · 2014 · 159 citations · Full text
Marek Zawirski, Nuno Preguiça, Sérgio Duarte et al. · 2015 · 72 citations · Full text
Convergent and commutative replicated data types
Marc Shapiro, Nuno Preguiça, Carlos Baquero et al. · RepositóriUM (Universidade do Minho) · 2011 · 53 citations · Full text
Rows per page
1–5 of 8