Referentgranskade publikationer

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System (2020)
Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tiwari, Ion Petre
Fundementa Informaticae
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Refinement-based modeling of the ErbB signaling pathway (2019)
Bogdan Iancu, Usman Sanwal, Cristian Gratie, Ion Petre
Computers in Biology and Medicine
Visa på utgivarens sida
A4 Konferenspublikationer
Accelerating Viterbi Algorithm using Custom Instruction Approach (2018)
Waqar Ahmed, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Combining Refinement and Signal-Temporal Logic for Biological Systems (2017)
Usman Sanwal, Umair Siddique
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
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

Senast uppdaterad 2020-28-05 vid 15:21