Adnan Rashid

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?) (available as arXiv preprint)	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 (available as arXiv preprint)	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