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

Pi-NIC: Indoor Sensing Using Synchronized Off-The-Shelf Wireless Network Interface Cards and Raspberry Pis., , , , , , and . JC&S, page 1-6. IEEE, (2022)IsarStep: a Benchmark for High-level Mathematical Reasoning., , , and . ICLR, OpenReview.net, (2021)Opportunistic Doppler-Only Indoor Localization Via Passive Radar., , and . DASC/PiCom/DataCom/CyberSciTech, page 467-473. IEEE Computer Society, (2018)A Formal Proof of Cauchy's Residue Theorem., and . ITP, volume 9807 of Lecture Notes in Computer Science, page 235-251. Springer, (2016)Automatic Road Condition Assessment by Using Point Laser Sensor., , and . IEEE SENSORS, page 1-4. IEEE, (2018)Human Activity Recognition With Commercial WiFi Signals., , , , , , and . IEEE Access, (2022)Unsupervised Doppler Radar Based Activity Recognition for e-Healthcare., , , , and . IEEE Access, (2021)Doppler Sensing Using WiFi Round-Trip Channel State Information., , , , and . WCNC, page 1-6. IEEE, (2023)Autoformalization with Large Language Models., , , , , , and . NeurIPS, (2022)Self-supervised depth estimation with uncertainty-weight joint loss function based on laparoscopic videos., , , , , and . Medical Imaging: Image-Guided Procedures, volume 12034 of SPIE Proceedings, SPIE, (2022)