Search filters

List of works by Sher Afzal Khan

A Prediction Model for Membrane Proteins Using Moments Based Features.

scientific article published on 15 February 2016

A novel rules based approach for estimating software birthmark.

scientific article

An efficient algorithm for recognition of human actions.

scientific article published on 27 August 2014

An evaluation framework and comparative analysis of the widely used first programming languages

scientific article published on 24 February 2014

DNAPred_Prot: Identification of DNA-Binding Proteins Using Composition- and Position-Based Features

scientific article published on 13 April 2022

Extending promotion to operate controller based on train’s operation

Formal analysis of departure procedure of air traffic control system

Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN

article

Formal modeling of ATC signals using Z notation

Global stability of vector-host disease with variable population size

scientific article published on 9 June 2013

Iris recognition using image moments and k-means algorithm.

scientific article published in April 2014

Mathematical Modeling towards the Dynamical Interaction of Leptospirosis

Pattern Recognition in Bioinformatics

scientific article published on 9 October 2016

Perturbation Methods and Formal Modeling for Dynamic Systems

Prediction of protein structure classes using hybrid space of multi-profile Bayes and bi-gram probability feature spaces.

scientific article

Prevention of Leptospirosis Infected Vector and Human Population by Multiple Control Variables

Software Component Selection Based on Quality Criteria Using the Analytic Network Process

Towards the formalization of railway interlocking system using Z-notations

Z Specification of Gate and Apron Control Management at Airport

Paulina is supported by:

About Paulina

Help