Adnan Rashid

zbMath Openrashid.adnanMaRDI QIDQ1640639

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A framework for formal probabilistic risk assessment using \textsf{HOL} theorem proving	2024-12-04	Paper
HOL4PRS: proof recommendation system for the HOL4 theorem prover	2024-12-04	Paper
Formalization of the telegrapher's equations using higher-order-logic theorem proving Journal of Applied Logics - IfCoLog Journal of Logics and their Applications	2024-05-10	Paper
On the formalization of the heat conduction problem in HOL Lecture Notes in Computer Science	2023-06-02	Paper
scientific article; zbMATH DE number 7594146 (Why is no real title available?)	2022-09-28	Paper
Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light} Formal Aspects of Computing	2020-09-09	Paper
Formal analysis of continuous-time systems using Fourier transform Journal of Symbolic Computation	2018-06-14	Paper
Formalization of transform methods using HOL Light	2017-07-21	Paper
On the formalization of Fourier transform in higher-order logic Interactive Theorem Proving	2016-10-27	Paper

Research outcomes over time

This page was built for person: Adnan Rashid