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.

 

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

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification., , , и . CoRR, (2017)Computing Must and May Alias to Detect Null Pointer Dereference., , и . ISoLA, том 17 из Communications in Computer and Information Science, стр. 252-261. Springer, (2008)Embracing Cultural Diversity: Online Social Ties in Distributed Workgroups., , , и . CSCW, стр. 273-286. ACM, (2016)A New Formal Test Method for Networked Software Integration Testing., , , и . ICCSA (2), том 6017 из Lecture Notes in Computer Science, стр. 463-474. Springer, (2010)Monitor Synthesis for Parametric MTL Properties in Discrete Control Software., , , и . QRS Companion, стр. 355-362. IEEE, (2017)Fault Diagnosis of High-Speed Railway Turnout Based on Convolutional Neural Network., , , , и . ICAC, стр. 1-6. IEEE, (2018)Joint Frequency Offset and Channel Estimation for MIMO Systems Based on Particle Swarm Optimization., , и . VTC Spring, стр. 862-866. IEEE, (2008)An automated approach for machining allowance evaluation of casting parts., , , и . Int. J. Computer Integrated Manufacturing, 32 (11): 1043-1052 (2019)L(p, q)-labeling of planar graphs with small girth.. Discret. Appl. Math., (2020)Sampling approximation of smooth functions via generalized coiflets., и . IEEE Trans. Signal Process., 46 (4): 1133-1138 (1998)