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

A Formal Proof of Cauchy's Residue Theorem., and . ITP, volume 9807 of Lecture Notes in Computer Science, page 235-251. Springer, (2016)Human Activity Recognition With Commercial WiFi Signals., , , , , , and . IEEE Access, (2022)Unsupervised Doppler Radar Based Activity Recognition for e-Healthcare., , , , and . IEEE Access, (2021)Automatic Road Condition Assessment by Using Point Laser Sensor., , and . IEEE SENSORS, page 1-4. IEEE, (2018)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)Autoformalization with Large Language Models., , , , , , and . NeurIPS, (2022)Doppler Sensing Using WiFi Round-Trip Channel State Information., , , , and . WCNC, page 1-6. IEEE, (2023)Geometric Constraints for Self-supervised Monocular Depth Estimation on Laparoscopic Images with Dual-task Consistency., , , , , and . MICCAI (4), volume 13434 of Lecture Notes in Computer Science, page 467-477. Springer, (2022)