Muhammad Usman Sanwal Doctoral Student, Information Technology common Email: muhammad.sanwal@abo.fi

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

Share link

Get in contact

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