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 . CoRR, (2018)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , and . CPP, page 234-248. ACM, (2019)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)Gram-Schmidt orthogonal vector projection for hyperspectral unmixing., , , and . IGARSS, page 2934-2937. IEEE, (2014)A Fractional-Order Normalized Bouc-Wen Model for Piezoelectric Hysteresis Nonlinearity., , , , , and . CoRR, (2020)Stationary distributions of persistent ecological systems., and . CoRR, (2020)Corticospinal Tract Alteration is Associated with Motor Performance in Subacute Basal Ganglia Stroke., , , and . BI, volume 10654 of Lecture Notes in Computer Science, page 254-260. Springer, (2017)Imaging the early cerebral blood flow changes in rat middle cerebral artery occlusion stroke model., , , , and . EMBC, page 2655-2658. IEEE, (2012)Left fimbria atrophy is associated with hippocampal metabolism in female major depressive disorder patients., , , , , and . EMBC, page 1136-1139. IEEE, (2018)On Supervised Change Detection in Graph Streams., , and . SDM, page 289-297. SIAM, (2020)The conference was canceled because of the coronavirus pandemic, the reviewed papers are published in this volume..