Neeraj Kumar Singh

806 total citations
27 papers, 170 citations indexed

About

Neeraj Kumar Singh is a scholar working on Computational Theory and Mathematics, Software and Artificial Intelligence. According to data from OpenAlex, Neeraj Kumar Singh has authored 27 papers receiving a total of 170 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Computational Theory and Mathematics, 16 papers in Software and 9 papers in Artificial Intelligence. Recurrent topics in Neeraj Kumar Singh's work include Formal Methods in Verification (17 papers), Model-Driven Software Engineering Techniques (13 papers) and Advanced Software Engineering Methodologies (7 papers). Neeraj Kumar Singh is often cited by papers focused on Formal Methods in Verification (17 papers), Model-Driven Software Engineering Techniques (13 papers) and Advanced Software Engineering Methodologies (7 papers). Neeraj Kumar Singh collaborates with scholars based in France, India and Canada. Neeraj Kumar Singh's co-authors include Domingo Mery, A.K. Singh, Vimal Kumar Pathak, Ana Cavalcanti, Andy Wellings, Dominique Méry, Mark Lawford, Guillaume Dupont, Marc Pantel and Yamine Aït‐Ameur and has published in prestigious journals such as IEEE Transactions on Reliability, Interacting with Computers and Science of Computer Programming.

In The Last Decade

Neeraj Kumar Singh

23 papers receiving 158 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Neeraj Kumar Singh France 8 79 60 50 37 31 27 170
Akshay Rajhans United States 8 83 1.1× 52 0.9× 42 0.8× 86 2.3× 29 0.9× 21 247
Joseph Porter United States 9 48 0.6× 55 0.9× 41 0.8× 65 1.8× 16 0.5× 22 207
Mario Gleirscher Germany 8 43 0.5× 93 1.6× 84 1.7× 35 0.9× 47 1.5× 30 230
Michele Sevegnani United Kingdom 8 55 0.7× 40 0.7× 60 1.2× 12 0.3× 24 0.8× 28 171
Victor A. Carreño United States 9 89 1.1× 52 0.9× 54 1.1× 74 2.0× 13 0.4× 26 284
Falk Howar Germany 10 85 1.1× 138 2.3× 121 2.4× 15 0.4× 73 2.4× 45 260
Zoltán Micskei Hungary 8 57 0.7× 125 2.1× 67 1.3× 8 0.2× 66 2.1× 27 192
Grzegorz Bazydło Poland 10 102 1.3× 23 0.4× 44 0.9× 77 2.1× 49 1.6× 32 267
Daniel Balasubramanian United States 8 31 0.4× 85 1.4× 110 2.2× 39 1.1× 67 2.2× 36 234
Ran Wei United Kingdom 8 23 0.3× 90 1.5× 40 0.8× 54 1.5× 24 0.8× 47 212

Countries citing papers authored by Neeraj Kumar Singh

Since Specialization
Citations

This map shows the geographic impact of Neeraj Kumar Singh's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Neeraj Kumar Singh with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Neeraj Kumar Singh more than expected).

Fields of papers citing papers by Neeraj Kumar Singh

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Neeraj Kumar Singh. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Neeraj Kumar Singh. The network helps show where Neeraj Kumar Singh may publish in the future.

Co-authorship network of co-authors of Neeraj Kumar Singh

This figure shows the co-authorship network connecting the top 25 collaborators of Neeraj Kumar Singh. A scholar is included among the top collaborators of Neeraj Kumar Singh based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Neeraj Kumar Singh. Neeraj Kumar Singh is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Saxena, Abhishek, Rajiv Pandey, & Neeraj Kumar Singh. (2023). Latency Analysis and Reduction Methods for Edge Computing. 480–484.
2.
Singh, Neeraj Kumar, et al.. (2022). Reflexive Event-B: Semantics and Correctness the EB4EB Framework. IEEE Transactions on Reliability. 73(2). 835–850.
3.
Aït‐Ameur, Yamine, et al.. (2022). Formal domain-driven system development in Event-B: Application to interactive critical systems. Journal of Systems Architecture. 135. 102798–102798. 1 indexed citations
4.
Singh, Neeraj Kumar, Yamine Aït‐Ameur, Dominique Méry, et al.. (2022). F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID. Journal of Software Evolution and Process. 35(7).
5.
Singh, Neeraj Kumar, Mark Lawford, T. S. E. Maibaum, & Alan Wassyng. (2021). A formal approach to rigorous development of critical systems. Journal of Software Evolution and Process. 33(4). 4 indexed citations
6.
Dupont, Guillaume, Yamine Aït‐Ameur, Neeraj Kumar Singh, & Marc Pantel. (2021). Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B. Science of Computer Programming. 216. 102765–102765. 3 indexed citations
7.
Dupont, Guillaume, Yamine Aït‐Ameur, Neeraj Kumar Singh, & Marc Pantel. (2021). Event-B Hybridation. ACM Transactions on Embedded Computing Systems. 20(4). 1–37. 8 indexed citations
8.
Singh, Neeraj Kumar, et al.. (2021). On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interacting with Computers. 33(1). 92–114.
9.
Singh, Neeraj Kumar. (2019). Detection of postural balance degradation using fuzzy neural network. International Journal of Bioinformatics Research and Applications. 15(4). 371–371. 1 indexed citations
10.
Pathak, Vimal Kumar, et al.. (2016). Framework for Automated GD&T Inspection Using 3D Scanner. Journal of The Institution of Engineers (India) Series C. 99(2). 197–205. 26 indexed citations
11.
Singh, Neeraj Kumar, Mark Lawford, T. S. E. Maibaum, & Alan Wassyng. (2015). Stateflow to Tabular Expressions. 312–319. 2 indexed citations
12.
Wassyng, Alan, Neeraj Kumar Singh, Nicholas V. Proscia, et al.. (2015). Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?. IEEE Design and Test. 32(5). 45–55. 7 indexed citations
13.
Singh, Neeraj Kumar & Preeti Mahajan. (2014). RFID and It's Use in Libraries: A Literature Review. Zenodo (CERN European Organization for Nuclear Research). 2 indexed citations
14.
Singh, Neeraj Kumar. (2013). Using Event-B for Critical Device Software Systems. CERN Document Server (European Organization for Nuclear Research). 6 indexed citations
15.
Mery, Domingo & Neeraj Kumar Singh. (2013). Formal Specification of Medical Systems by Proof-Based Refinement. ACM Transactions on Embedded Computing Systems. 12(1). 1–25. 18 indexed citations
16.
Méry, Dominique & Neeraj Kumar Singh. (2011). EB2J : Code Generation from Event-B to Java. HAL (Le Centre pour la Communication Scientifique Directe). 17(3). 149–54. 3 indexed citations
17.
Méry, Dominique & Neeraj Kumar Singh. (2010). EB2C : A Tool for Event-B to C Conversion Support. HAL (Le Centre pour la Communication Scientifique Directe). 6 indexed citations
18.
Mery, Domingo & Neeraj Kumar Singh. (2010). Technical Report on Formal Development of Two-Electrode Cardiac Pacing System. HAL (Le Centre pour la Communication Scientifique Directe). 3 indexed citations
19.
Mery, Domingo & Neeraj Kumar Singh. (2010). Functional Behavior of a Cardiac Pacing System. HAL (Le Centre pour la Communication Scientifique Directe). 8 indexed citations
20.
Mery, Domingo & Neeraj Kumar Singh. (2009). Pacemaker's Functional Behaviors in Event-B. HAL (Le Centre pour la Communication Scientifique Directe). 9 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Akshay Rajhans Breakdown of academic impact, for papers by Joseph Porter Breakdown of academic impact, for papers by Mario Gleirscher Breakdown of academic impact, for papers by Michele Sevegnani Breakdown of academic impact, for papers by Victor A. Carreño Breakdown of academic impact, for papers by Falk Howar Breakdown of academic impact, for papers by Zoltán Micskei Breakdown of academic impact, for papers by Grzegorz Bazydło Breakdown of academic impact, for papers by Daniel Balasubramanian Breakdown of academic impact, for papers by Ran Wei
Rankless by CCL
2026