Concepedia

Umair Siddique

US

5

Publications

86

Citations

5

H-Index

2011

Active since

Affiliations

National University of Sciences and Technology(Current)

Concordia University

Umair Siddique is an author at National University of Sciences and Technology specializing in formal methods, formal verification, and engineering.

ORCID

Top concepts

Publications per year

2011–2017

5

Publications

5

Formal Modeling and Analysis of the MAL-Associated Biological Regulatory Network: Insight into Cerebral Malaria

Jamil Ahmad, Umar Niazi, Sajid Mansoor et al. · PLoS ONE · 2012 · 28 citations · Full text

Formal Analysis of Optical Systems

Sanaz Khan-Afshar, Umair Siddique, Mohamed Yousri Mahmoud et al. · Mathematics in Computer Science · 2014 · 22 citations

, , +8

Formal analysis of fractional order systems in HOL

Umair Siddique, Osman Hasan · Formal Methods in Computer-Aided Design · 2011 · 14 citations

, , +6

Formal reasoning about systems biology using theorem proving

Adnan Rashid, Osman Hasan, Umair Siddique et al. · PLoS ONE · 2017 · 12 citations · Full text

, , +19

On the Formalization of Gamma Function in HOL

Umair Siddique, Osman Hasan · Journal of Automated Reasoning · 2014 · 10 citations

, , +2

Rows per page

1–5 of 5