From post

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.

 

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

From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , и . CoRR, (2018)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , и . CPP, стр. 234-248. ACM, (2019)Reasoning about the garden of forking paths., , и . CoRR, (2021)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)Water mapping through Universal Pattern Decomposition Method and Tasseled Cap Transformation., , , , , и . IGARSS, стр. 4758-4760. IEEE, (2014)Making sense of mechanical vibration with COTS RFID systems: demo., , и . MobiCom, стр. 487-488. ACM, (2016)Big data analysis on the coordination optimization of protection schemes and automatic devices for distribution network., , , и . Concurr. Comput. Pract. Exp., 28 (15): 4053-4066 (2016)基于多属性最优化的海洋监测数据副本布局策略 (Marine Monitoring Data Replica Layout Strategy Based on Multiple Attribute Optimization)., , , , и . 计算机科学, 45 (6): 72-75 (2018)基于改进的灰色模型的旅游需求预测研究 (Study on Tourism Demand Forecasting Based on Improved Grey Model)., , и . 计算机科学, 45 (1): 122-127 (2018)Collecting Code Coupons Over Generations, , и . CoRR, (2010)