Adnan Rashid

Identifiers

• name variant Adnan Rashid 0.60 · backfill

Papers (9)

1. ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning cs.LO · 2026 · author #1
2. Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic cs.LO · 2018 · author #1
3. Formalization of Lerch's Theorem using HOL Light cs.LO · 2018 · author #1
4. Formal Analysis of Robotic Cell Injection Systems using Theorem Proving cs.LO · 2018 · author #1
5. Formal Verification of Platoon Control Strategies cs.LO · 2018 · author #1
6. Formal Analysis of Continuous-time Systems using Fourier Transform cs.LO · 2017 · author #1
7. Formal Analysis of Linear Control Systems using Theorem Proving cs.LO · 2017 · author #1
8. Formalization of Transform Methods using HOL Light cs.LO · 2017 · author #1
9. Reproducibility of Retinal Thickness Measurements across Spectral-Domain Optical Coherence Tomography Devices using Iowa Reference Algorithm physics.med-ph · 2016 · author #1

Mentions

• 1707.06967 #1 · arxiv_oai · confidence 0.70 Adnan Rashid
• 2605.27014 #1 · arxiv_oai · confidence 0.70 Adnan Rashid

Frequent Coauthors

• Osman Hasan 7 shared papers
• Andreas Wahle 1 shared papers
• Bianca S. Gerendas 1 shared papers
• Christian Simader 1 shared papers
• Hrvoje Bogunovic 1 shared papers
• Kai Wang 1 shared papers
• Kyungmoo Lee 1 shared papers
• Michael D. Abramoff 1 shared papers
• Milan Sonka 1 shared papers
• Sebastian M. Waldstein 1 shared papers
• Umair Siddique 1 shared papers
• Ursula Schmidt-Erfurth 1 shared papers