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)Identification of vegetable diseases using neural network., , and . IPAS, volume 6497 of SPIE Proceedings, page 649717. SPIE, (2007)Theano: A Python framework for fast computation of mathematical expressions, , , , , , , , , and 103 other author(s). (2016)cite arxiv:1605.02688Comment: 19 pages, 5 figures.House vacancy at urban areas in China with nocturnal light data of DMSP-OLS., and . ICSDM, page 457-462. IEEE, (2011)Gram-Schmidt orthogonal vector projection for hyperspectral unmixing., , , and . IGARSS, page 2934-2937. IEEE, (2014)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)