( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From C to interaction trees: specifying, verifying, and testing a networked server.

, , , , , , , , и . CPP, стр. 234-248. ACM, (2019)

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.

Li Yao

Li-Jun Yao

Yao Yao

Hongmei Yao

Haimin Yao

 

Другие публикации лиц с тем же именем

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs., , , , , , и . CoRR, (2024)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , и . CoRR, (2018)Verifying an HTTP Key-Value Server with Interaction Trees and VST., , , , , , , , , и . ITP, том 193 из LIPIcs, стр. 32:1-32:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , и . CPP, стр. 234-248. ACM, (2019)Key Node Ranking in Complex Networks: A Novel Entropy and Mutual Information-Based Approach., , , и . Entropy, 22 (1): 52 (2020)Simultaneous Mapping of Water Diffusion Coefficients and Metabolite Distributions of the Brain Using MR Spectroscopic Imaging Without Water Suppression., , , , , , и . IEEE Trans. Biomed. Eng., 70 (3): 962-969 (марта 2023)Three schemes for wireless coded broadcast to heterogeneous users., , и . Phys. Commun., (2013)JOWMDroid: Android malware detection based on feature weighting with joint optimization of weight-mapping and classifier parameters., , и . Comput. Secur., (2021)TGR: Neural-symbolic ontological reasoner for domain-specific knowledge graphs., , , , и . Appl. Intell., 53 (20): 23946-23965 (октября 2023)Soil Organic Carbon Prediction Using Sentinel-2 Data and Environmental Variables in a Karst Trough Valley Area of Southwest China., , , , , , и . Remote. Sens., 15 (8): 2118 (апреля 2023)