Waqar Ahmed

Identifiers

• name variant Waqar Ahmed 0.60 · backfill

Papers (8)

1. Fast-Reconfiguring Liquid-Crystal RIS for Pervasive Wireless Networks eess.SP · 2024 · author #3
2. On the Formalization of Importance Measures using HOL Theorem Proving cs.FL · 2019 · author #1
3. Reliability Modeling and Analysis of Communication Networks cs.NI · 2016 · author #1
4. Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach cs.LO · 2016 · author #1
5. Formal Availability Analysis using Theorem Proving cs.LO · 2016 · author #1
6. Formal Dependability Modeling and Analysis: A Survey cs.SE · 2016 · author #1
7. Towards Formal Fault Tree Analysis using Theorem Proving cs.LO · 2015 · author #1
8. Towards the Formal Reliability Analysis of Oil and Gas Pipelines cs.LO · 2014 · author #1

Mentions

• 1505.02648 #1 · backfill · confidence 0.70 Waqar Ahmed
• 1405.6985 #1 · backfill · confidence 0.70 Waqar Ahmed

Frequent Coauthors

• Osman Hasan 7 shared papers
• Sofiene Tahar 3 shared papers
• Alejandro Jimenez Saez 1 shared papers
• Arash Asadi 1 shared papers
• Junaid Qadir 1 shared papers
• Luis F. Abanto-Leon 1 shared papers
• Mohammad Salah Hamdi 1 shared papers
• Robin Neuder 1 shared papers
• Shahid Ali Murtza 1 shared papers
• Usman Pervez 1 shared papers
• Vahid Jamali 1 shared papers