Statistics
Annual Publications by Category
Summary of Budget vs Expenditure per vote for all research grants
Last 3 Projects
Project Title Progress Status
Automated Formal Analysis of Software Specification Using Pattern Analysis
end
This information is generated from Research Grant Management System
Latest Publications
2021

Analyzing Students' Experience(SX) in Programming with Computational Thinking through Competitive, Physical and Tactile Games: The Quadrilateral Method Approach.

2021

Determining the adaptation data saturation of ASR systems for dysarthric speakers.

2017

Cost and Effectiveness of Search-Based Techniques for Model-Based Testing: An Empirical Analysis

2011

Model Transformation Specification for Automated Formal Verification.