Neeraj Kumar Singh
Scholar

Neeraj Kumar Singh

Google Scholar ID: koce0yMAAAAJ
INPT-ENSEEIHT/IRIT, University of Toulouse, Toulouse
Formal MethodsSoftware EngineeringSoftware CertificationCode GenerationCyber Physical System
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,306
 
H-index
18
 
i10-index
46
 
Publications
20
 
Co-authors
21
list available
Contact
No contact links provided.
Publications
4 items
TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory
2025
Cited
0
Interpretability-Aware Pruning for Efficient Medical Image Analysis
2025
Cited
0
xai_evals : A Framework for Evaluating Post-Hoc Local Explanation Methods
2025
Cited
0
DLBacktrace: A Model Agnostic Explainability for any Deep Learning Models
arXiv.org · 2024
Cited
0
Resume (English only)
Co-authors
21 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Mark Lawford
Mark Lawford
McMaster University
Guillaume Dupont
Guillaume Dupont
Associate Professor, Toulouse INP-ENSEEIHT, Institut de Recherche en Informatique de Toulouse
Co-author 7
Co-author 7
Hao Wang
Hao Wang
Xidian University