Author of the publication

Precision, recall, and sensitivity of monitoring partially synchronous distributed programs.

, , , , and . Distributed Comput., 34 (5): 319-348 (2021)

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.

No persons found for author name Yingchareonthawornchai, Sorrachai
add a person with the name Yingchareonthawornchai, Sorrachai
 

Other publications of authors with the same name

Computing and Testing Small Vertex Connectivity in Near-Linear Time and Queries., , and . CoRR, (2019)Deterministic Graph Cuts in Subquadratic Time: Sparse, Balanced, and k-Vertex., , , , , and . CoRR, (2019)The Group Access Bounds for Binary Search Trees., , , , and . CoRR, (2023)Analysis of Bounds on Hybrid Vector Clocks., , , and . IEEE Trans. Parallel Distributed Syst., 29 (9): 1947-1960 (2018)Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks., , , , and . ICDCN, page 10. ACM, (2017)Precision, recall, and sensitivity of monitoring partially synchronous distributed programs., , , , and . Distributed Comput., 34 (5): 319-348 (2021)Breaking quadratic time for small vertex connectivity and an approximation scheme., , and . STOC, page 241-252. ACM, (2019)Computing and Testing Small Connectivity in Near-Linear Time and Queries via Fast Local Cut Algorithms., , , , and . CoRR, (2019)Worst-case conditional hardness and fast algorithms with random inputs for non-dominated sorting., , , , and . GECCO Companion, page 185-186. ACM, (2020)Monitoring Partially Synchronous Distributed Systems Using SMT Solvers., , , , and . RV, volume 10548 of Lecture Notes in Computer Science, page 277-293. Springer, (2017)