Author of the publication

Performance analysis and verification of safety communication protocol in train control system.

, , , and . Computer Standards & Interfaces, 33 (5): 505-518 (2011)

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

Axial buckling behavior of single-walled carbon nanotubes with finite element modeling., , and . NEMS, page 276-279. IEEE, (2010)Processor self-scheduling for parallel loops in preemptive environments., , , , and . Future Generation Comp. Syst., 6 (1): 97-103 (1990)Bootstrapping results for threshold circuits "just beyond" known lower bounds., and . STOC, page 34-41. ACM, (2019)Improved Algorithms for Maintaining DFS Tree in Undirected Graphs., , , and . CoRR, (2016)On the Optimal Sample Complexity for Best Arm Identification., and . CoRR, (2015)Customized Inverse Design of Metamaterial Absorber Based on Target-Driven Deep Learning Method., , , , , , , and . IEEE Access, (2020)Beyond Natural Proofs: Hardness Magnification and Locality., , , , , and . ITCS, volume 151 of LIPIcs, page 70:1-70:48. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Majority vs. Approximate Linear Sum and Average-Case Complexity Below NC¹., , , and . ICALP, volume 198 of LIPIcs, page 51:1-51:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Near-Optimal Two-Pass Streaming Algorithm for Sampling Random Walks over Directed Graphs., , , , , and . ICALP, volume 198 of LIPIcs, page 52:1-52:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Bounded Rationality of Restricted Turing Machines., and . AAMAS, page 1673-1674. ACM, (2015)