Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Fine-grained Analysis on Fast Implementations of Distributed Multi-writer Atomic Registers., , and . PODC, page 200-209. ACM, (2020)Model-checking-driven explorative testing of CRDT designs and implementations., , , and . J. Softw. Evol. Process., (April 2024)A Generic Specification Framework for Weakly Consistent Replicated Data Types., , and . SRDS, page 143-154. IEEE, (2020)Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas., , , , and . IEEE Trans. Parallel Distributed Syst., 27 (5): 1511-1523 (2016)Verifying PRAM Consistency over Read/Write Traces of Data Replicas, , , , and . CoRR, (2013)Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited., , and . PODC, page 81-83. ACM, (2018)Specification and Implementation of Replicated List: The Jupiter Protocol Revisited., , and . CoRR, (2017)Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service., , , , and . CoRR, (2023)UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)., , , and . CoRR, (2021)Fine-Grained Delta Privacy Preservation for Hierarchical Contexts., , and . UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld, page 261-268. IEEE Computer Society, (2016)