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

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs., , , , , , and . CoRR, (2024)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , and . CoRR, (2018)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)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , and . CPP, page 234-248. ACM, (2019)Improved Infomax algorithm of independent component analysis applied to fMRI data., , , and . Medical Imaging: Image Processing, volume 5370 of SPIE Proceedings, SPIE, (2004)Alterations in Resting-State after Motor Imagery Training: A Pilot Investigation with Eigenvector Centrality Mapping., , , , , , and . HCI (5), volume 8008 of Lecture Notes in Computer Science, page 498-504. Springer, (2013)An automated normative-based fluorodeoxyglucose positron emission tomography image-analysis procedure to aid Alzheimer disease diagnosis using statistical parametric mapping and interactive image display., , , , , , , , , and 2 other author(s). Medical Imaging: Image Processing, volume 6144 of SPIE Proceedings, page 614453. SPIE, (2006)Application of Euler Elastica Regularized Logistic Regression on Resting-state fMRI for Identification of Alzheimer's Disease., , and . ICBIP, page 51-55. ACM, (2019)Cortical activities of single-trial P300 amplitudes modulated by memory load using simultaneous EEG-fMRI., , , , and . Medical Imaging: Biomedical Applications in Molecular, Structural, and Functional Imaging, volume 9417 of SPIE Proceedings, page 94170L. SPIE, (2015)Mixture Kernel Density Estimation and Remedied Correlation Matrix on the EEG-Based Copula Model for the Assessment of Visual Discomfort., , and . Cogn. Comput., 12 (6): 1130-1143 (2020)