Usman Sanwal

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 9

Top Topics

Simulation Platform

Viterbi Algorithm

Biological Systems

Top Venues

Comput. Biol. Medicine

Fundam. Informaticae

Publications

Frankie Spencer, Usman Sanwal, Eugen Czeizler
Distributed Simulations of DNA Multi-strand Dynamics. SIMULTECH (2022)
Frankie Spencer, Usman Sanwal, Eugen Czeizler
VDNA-Lab: A Computational Simulation Platform for DNA Multi-strand Dynamics. SIMULTECH (2021)
Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre
Towards Scalable Modeling of Biology in Event-B. CoRR (2021)
Luigia Petre, Usman Sanwal, Gohar Shah, Charmi Panchal, Dwitiya Tyagi, Ion Petre
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System. Fundam. Informaticae 171 (1-4) (2020)
Bogdan Iancu, Usman Sanwal, Cristian Gratie, Ion Petre
Refinement-based modeling of the ErbB signaling pathway. Comput. Biol. Medicine 106 (2019)
Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
Accelerating Viterbi Algorithm using Custom Instruction Approach. CoRR (2018)
Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood
Accelerating Viterbi Algorithm using Custom Instruction Approach. MESA (2018)
Usman Sanwal, Umair Siddique
Combining Refinement and Signal-Temporal Logic for Biological Systems. CICM (2017)
Usman Sanwal, Luigia Petre, Ion Petre
Stepwise construction of a metabolic network in Event-B: The heat shock response. Comput. Biol. Medicine 91 (2017)