Author of the publication

Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL.

, , and . J. Autom. Reason., 62 (1): 69-91 (2019)

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

The Sturm-Tarski Theorem.. Arch. Formal Proofs, (2014)Low-cost vector map assisted navigation strategy for autonomous vehicle., , , , , , , and . APCCAS, page 536-539. IEEE, (2018)Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL., , and . J. Autom. Reason., 62 (1): 69-91 (2019)Counting Polynomial Roots in Isabelle/HOL: A Formal Proof of the Budan-Fourier Theorem., and . CoRR, (2018)Performance Analysis of Adaptive RIS-Assisted Clustering Strategies in Downlink Communication Systems., , , , , , and . IEEE Internet Things J., 10 (5): 4520-4530 (March 2023)Exploiting WiFi Channel State Information for Residential Healthcare Informatics., , , , , and . IEEE Commun. Mag., 56 (5): 130-137 (2018)MDPose: Human Skeletal Motion Reconstruction Using WiFi Micro-Doppler Signatures., , , , , and . IEEE Trans. Aerosp. Electron. Syst., 60 (1): 157-167 (February 2024)FMNet: Latent Feature-Wise Mapping Network for Cleaning Up Noisy Micro-Doppler Spectrogram., , , , , and . IEEE Trans. Geosci. Remote. Sens., (2022)A High-Resolution Velocity Inversion Method Based on Attention Convolutional Neural Network., , , and . IEEE Trans. Geosci. Remote. Sens., (2023)A large-scale multimodal dataset of human speech recognition., , , , , , , , and . CoRR, (2023)