Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles by
Adnan Rashid
Proof Recommendation System for the HOL4 Theorem Prover
31 December 2024 by
Nour Dekhil
and
others
Logic in Computer Science
,
Artificial Intelligence
Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
31 December 2024 by
Adnan Rashid
and
others
Logic in Computer Science
Extending XReason: Formal Explanations for Adversarial Detection
31 December 2024 by
Amira Jemaa
and
others
Artificial Intelligence
,
Cryptography and Security
Analytical sensitivity analysis and clinical impact modeling of Rapigen rapid diagnostics tests for malaria
3 September 2024 by
A. Golden
and
others
Public and Global Health
A Scoping Review of the Transcriptomic Perspective of Sepsis, a Move Towards Improved Precision Medicine?
5 December 2023 by
Ali Rashid
and
others
Intensive Care and Critical Care Medicine
A developmental pathway for epithelial-to-motoneuron transformation in C. elegans
27 September 2022 by
Ali Rashid
and
others
at
Rockefeller University
Neuroscience
On the Formalization of the Heat Conduction Problem in HOL
13 August 2022 by
Elif Deniz
and
others
Logic in Computer Science
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving
24 December 2021 by
Shahid Ali Murtza
and
others
Logic in Computer Science
Formalization of Bond Graph using Higher-order-logic Theorem Proving
24 November 2021 by
Ujala Qasim
and
others
Logic in Computer Science
Formalization of Transform Methods in Higher-order Logic: A Survey
19 November 2021 by
Muhammad Ahmed
and
Adnan Rashid
Logic in Computer Science
Indigenous Bacillus paramycoides and Alcaligenes faecalis: potential solution for the bioremediation of wastewaters
20 December 2020 by
Ali Rashid
and
others
Microbiology
Immediate post-operative PDE5i Therapy improves early Erectile Function Outcomes after Robot Assisted Radical Prostatectomy (RARP)
6 November 2020 by
Alex Nathan
and
others
Urology
Formal Verification of Cyber-Physical Systems using Theorem Proving (Invited Paper)
8 March 2020 by
Adnan Rashid
and
others
Logic in Computer Science
FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits
18 January 2020 by
Adnan Rashid
and
others
Logic in Computer Science
Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving
24 December 2019 by
Sa'Ed Abed
and
others
Logic in Computer Science
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic
18 July 2018 by
Adnan Rashid
and
Osman Hasan
Logic in Computer Science
,
Robotics
Formalization of Lerch's Theorem using HOL Light
8 June 2018 by
Adnan Rashid
and
Osman Hasan
Logic in Computer Science
Formal Analysis of Robotic Cell Injection Systems using Theorem Proving
8 May 2018 by
Adnan Rashid
and
Osman Hasan
Logic in Computer Science
Formal Verification of Platoon Control Strategies
21 April 2018 by
Adnan Rashid
and
others
Logic in Computer Science
Formal Analysis of Continuous-time Systems using Fourier Transform
31 July 2017 by
Adnan Rashid
and
Osman Hasan
Logic in Computer Science
Formal Analysis of Linear Control Systems using Theorem Proving
21 July 2017 by
Adnan Rashid
and
Osman Hasan
Logic in Computer Science
,
Systems and Control
Formalization of Transform Methods using HOL Light
29 May 2017 by
Adnan Rashid
and
Osman Hasan
Logic in Computer Science
Reproducibility of Retinal Thickness Measurements across Spectral-Domain Optical Coherence Tomography Devices using Iowa Reference Algorithm
19 December 2016 by
Adnan Rashid
and
others
Medical Physics