Concepedia

Alok Katiyar

AK

Statistics

Publications

4

Citations

150

H-Index

4

Active since

2009

Affiliations

Indian Institute of Technology Kharagpur(Current)

Alok Katiyar is an author at Indian Institute of Technology Kharagpur specializing in formal methods, computer engineering, and formal specification.

Top concepts

Publications per year

2009–2025

4

Publications

4

ANTIBIOTIC RESISTANCE -A GLOBAL ISSUE OF CONCERN

Rekha Bisht, Alok Katiyar, Rajat Singh et al. · 2009 · 93 citations

, , +13

Deep Learning-Based MRI Brain Tumor Segmentation With EfficientNet-Enhanced UNet

Pradeep Kumar Tiwary, Prashant Johri, Alok Katiyar et al. · IEEE Access · 2025 · 33 citations · Full text

Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic

Shiladitya Ghosh, Arindam Das, Nirvik Basak et al. · IEEE Transactions on Intelligent Transportation Systems · 2016 · 12 citations

, , +23

Medical Image Denoising and Brain Tumor Detection Using CNN and U-Net

Basu Dev Shivahare, Shivani Gupta, Alok Katiyar et al. · 2023 · 12 citations

1–4 of 4