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., , , , , , , , и . CPP, стр. 234-248. ACM, (2019)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , и . CoRR, (2018)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)Characterness: An Indicator of Text in the Wild., , , и . CoRR, (2013)The indirect measurement technology of shift comfort for automatic mechanical transmission., , и . ICVES, стр. 81-85. IEEE, (2015)How well do reduced models capture the dynamics in models of interacting neurons ?, , и . (2017)cite arxiv:1711.01487.Low Complexity High Quality Fractional Motion Estimation Algorithm and Architecture Design for H.264/AVC., , , , , , и . APCCAS, стр. 578-581. IEEE, (2006)An area-efficient high-accuracy prediction-based CABAC decoder architecture for H.264/AVC., , и . ISCAS, стр. 1960-1963. IEEE, (2011)Identification of finger force and motion from forearm surface electromyography., , , , , и . MFI, стр. 316-321. IEEE, (2015)