Sign in
Alok Katiyar
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 2
Top Topics
Model Checker
Formal Methods
Bayes Classifiers
Automated Classification
Top Venues
IEEE Trans. Intell. Transp. Syst.
SN Comput. Sci.
</>
Publications
</>
Sonia Kukreja
,
Munish Sabharwal
,
Alok Katiyar
,
D. S. Gill
Automated Classification of Cancer using Heuristic Class Topper Optimization based Naïve Bayes Classifier.
SN Comput. Sci.
5 (2) (2024)
Shiladitya Ghosh
,
Arindam Das
,
Nirvik Basak
,
Pallab Dasgupta
,
Alok Katiyar
Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic.
IEEE Trans. Intell. Transp. Syst.
18 (3) (2017)
Vibha Rajput
,
Alok Katiyar
Proactive bottleneck performance analysis in parallel computing using openMP.
CoRR
(2013)