( en | de | ru )

 

Disambiguation of "Rashid, Adnan"

Author of the publication

copydeleteadd this publication to your clipboard
On the Formalization of Fourier Transform in Higher-order Logic.

, and . ITP, volume 9807 of Lecture Notes in Computer Science, page 483-490. Springer, (2016)

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.

Adnan Mohamed Rashid

Rashid Al-Rashid

Rashid Juma Rashid

Muhammad Adnan

Akif Adnan

 

Other publications of authors with the same name

Using a service oriented architecture for simulating algorithmic trading strategies.. iiWAS, page 925-929. ACM, (2010)Anti-social Behavior Detection using Multi-lingual Model., and . ICACS, page 1-9. IEEE, (2023)Enhancing Industrial 4.0 Connectivity: A D2D-Based Algorithm for Blind Spot Mitigation in 5G Future Networks Enabled Smart Industry., , , , and . GLOBECOM (Workshops), page 2012-2017. IEEE, (2023)Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving., , and . CoRR, (2019)Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)., , and . CoRR, (2020)Security of Wireless Body Area Networks for Healthcare Applications: Comparison between ETSI and IEEE Approaches., , , , , , , and . ISMICT, page 1-6. IEEE, (2023)On the Formalization of Fourier Transform in Higher-order Logic., and . ITP, volume 9807 of Lecture Notes in Computer Science, page 483-490. Springer, (2016)Formal Verification of Platoon Control Strategies., , and . SEFM, volume 10886 of Lecture Notes in Computer Science, page 223-238. Springer, (2018)HOL4PRS: Proof Recommendation System for the HOL4 Theorem Prover., , and . CICM, volume 14960 of Lecture Notes in Computer Science, page 352-359. Springer, (2024)Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving., and . CyPhy, volume 11267 of Lecture Notes in Computer Science, page 127-141. Springer, (2017)