Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , and . CPP, page 234-248. ACM, (2019)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , and . CoRR, (2018)Reasoning about the garden of forking paths., , and . CoRR, (2021)Verifying an HTTP Key-Value Server with Interaction Trees and VST., , , , , , , , , and . ITP, volume 193 of LIPIcs, page 32:1-32:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Content popularity and node level matched based probability caching for content centric networks., , , , and . ICCC, page 1-6. IEEE, (2016)Calculating vegetation index based on the universal pattern decomposition method (VIUPD) using Landsat 8., , , and . IGARSS, page 4734-4737. IEEE, (2014)An intuitive control console for robotic surgery system., , , , and . ROBIO, page 404-407. IEEE, (2014)A Fast Method for Large-Scale Scene Data Acquisition and 3D Reconstruction., , , , and . ISMAR Adjunct, page 321-325. IEEE, (2019)A Fast-Settling Fractional-N PLL with Presetting Frequency and Dynamic Bandwidth Control., , and . FSDM, volume 320 of Frontiers in Artificial Intelligence and Applications, page 1004-1011. IOS Press, (2019)A Simulation and Experimental Study of Channel Reciprocity in TDD and FDD Wiretap Channels., , , , and . ICCT, page 113-117. IEEE, (2019)