2
Publications
131
Citations
2
H-Index
2015
Active since
Alejandro Z. Tomsic is an author at Sorbonne Université specializing in formal verification, computer science, and distributed systems.
Top concepts
EngineeringComputer ScienceDistributed SystemsFormal VerificationAvailabilityVerificationEdge ComputingFormal MethodsCloud ComputingData Management
Publications per year
2015–2016
2
2
Cure: Strong Semantics Meets High Availability and Low Latency
Deepthi Devaki Akkoorath, Alejandro Z. Tomsic, Manuel Bravo et al. · 2016 · 113 citations · Full text
2W-FD: A Failure Detector Algorithm with QoS
Alejandro Z. Tomsic, Pierre Sens, João Garcia et al. · 2015 · 18 citations · Full text
Rows per page
1–2 of 2