( en | de | ru )

 

Disambiguation of "Cheon, Hyunjoon"

Author of the publication

copydeleteadd this publication to your clipboard
OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems.

, , , , , , , and . CoRR, (2018)

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.

Mok-Ja Cheon

Saehoon Cheon

Ha-Don Cheong

Jo Soon Cheong

Eunhae Cheong

 

Other publications of authors with the same name

ARED: automata-based runtime estimation for distributed systems using deep learning., , , , and . Clust. Comput., 26 (5): 2629-2641 (October 2023)Self-Training using Rules of Grammar for Few-Shot NLU., , , , , and . EMNLP (Findings), page 4576-4581. Association for Computational Linguistics, (2021)SW Runtime Estimation using Automata Theory and Deep Learning on HPC., , , and . ACSOS Companion, page 7-12. IEEE, (2020)OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems., , , , , , , and . CoRR, (2018)Weak Inverse Neighborhoods of Languages., and . DLT, volume 13911 of Lecture Notes in Computer Science, page 61-73. Springer, (2023)M-equivalence of Parikh Matrix over a Ternary Alphabet., , and . CIAA, volume 14151 of Lecture Notes in Computer Science, page 141-152. Springer, (2023)The Relative Edit-Distance Between Two Input-Driven Languages., , , and . DLT, volume 11647 of Lecture Notes in Computer Science, page 127-139. Springer, (2019)How to Settle the ReDoS Problem: Back to the Classical Automata Theory., , and . CIAA, volume 13266 of Lecture Notes in Computer Science, page 34-49. Springer, (2022)Computing the Shortest String and the Edit-Distance for Parsing Expression Languages., and . DLT, volume 12086 of Lecture Notes in Computer Science, page 43-54. Springer, (2020)Neuro-Symbolic Regex Synthesis Framework via Neural Example Splitting., , , and . CoRR, (2022)