Muhammad Usman Sanwal


Peer-reviewed publications

A1 Journal article (refereed)
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System (2019)
Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tiwari, Ion Petre
Fundementa Informaticae
A1 Journal article (refereed)
Fit-preserving refinement of the ErbB signalling pathway (2019)
Bogdan Iancu, Usman Sanwal, Cristian Gratie, Ion Petre
Computers in Biology and Medicine Volume
A4 Conference proceedings
Accelerating Viterbi Algorithm using Custom Instruction Approach (2018)
Waqar Ahmed, Imran Abbasi, Usman Sanwal, Hasan Mahmood
A4 Conference proceedings
Combining Refinement and Signal-Temporal Logic for Biological Systems (2017)
Usman Sanwal, Umair Siddique
A1 Journal article (refereed)
Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response (2017)
Usman Sanwal, Luigia Petre, Ion Petre
Computers in Biology and Medicine
View on publisher's site
A4 Conference proceedings
Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations (2015)
Muhammad Usman Sanwal, Osman Hasan
Lecture notes for computer science

Last updated on 2018-19-09 at 19:50