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)Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs., , , , , , и . CoRR, (2024)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)Target tracking with mobile sensors using cost-reference particle filtering., и . ICASSP, стр. 2549-2552. IEEE, (2008)Technology Transfer in Cross-national Context: Experiences of an Online Market Failure in Chinese Food Industry., , и . PACIS, стр. 26. AISeL, (2005)The oscillatory activities and its synchronization in auditory-visual integration as revealed by event-related potentials to bimodal stimuli., , , , и . Human Vision and Electronic Imaging, том 8291 из SPIE Proceedings, стр. 82911P. SPIE, (2012)Gender differences in dynamic functional connectivity based on resting-state fMRI., , , , и . EMBC, стр. 2940-2943. IEEE, (2017)Spatial Independent Component Analysis of Multitask-Related Activation in fMRI Data., , , , , , и . ICANN, том 2714 из Lecture Notes in Computer Science, стр. 515-522. Springer, (2003)A Novel HCI System Based on Real-Time fMRI Using Motor Imagery Interaction., , , и . HCI (24), том 8027 из Lecture Notes in Computer Science, стр. 703-708. Springer, (2013)