Ashutosh Gupta
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
-
- Formal Methods in Verification
Papers in
-
- Algorithms and Data Compression 7
-
- Advanced Image and Video Retrieval Techniques 7
- Multimodal Machine Learning Applications 6
- Chaos-based Image/Signal Encryption 5
- Co-authors
- Andrey Rybalchenko (8 shared papers)Corneliu Popeea (4 shared papers)Thomas A. Henzinger (3 shared papers)Rupak Majumdar (2 shared papers)Shubhi Gupta (6 shared papers)Ru-Gang Xu (2 shared papers)Sanjeev Thakur (5 shared papers)Debasis Das (3 shared papers)
- Journals
- ACM SIGPLAN Notices (3 papers)Multimedia Tools and Applications (2 papers)Scientific Reports (1 paper)Journal of Intelligent & Fuzzy Systems (1 paper)Computers & Mathematics with Applications (1 paper)
- Partner nations
- IndiaUnited StatesGermany
In The Last Decade
Ashutosh Gupta
76 papers receiving 550 citations
Peers
Comparison fields: 5 of 96
- Software 122
- Computational Theory and Mathematics 148
- Artificial Intelligence 282
- Hardware and Architecture 46
- Information Systems and Management 37
Countries citing papers authored by Ashutosh Gupta
This map shows the geographic impact of Ashutosh Gupta'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 Ashutosh Gupta with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ashutosh Gupta more than expected).
Fields of papers citing papers by Ashutosh Gupta
This network shows the impact of papers produced by Ashutosh Gupta. 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 Ashutosh Gupta. The network helps show where Ashutosh Gupta may publish in the future.
Co-authors
The 25 scholars most cited alongside Ashutosh Gupta, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 89 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2008 | 72 | |
| 2 | 2021 | 64 | |
| 3 | 2011 | 37 | |
| 4 | 2011 | 37 | |
| 5 | 2011 | 27 | |
| 6 | 2022 | 24 | |
| 7 | 2012 | 20 | |
| 8 | 2008 | 17 | |
| 9 | 2022 | 16 | |
| 10 | 2016 | 15 | |
| 11 | 2016 | 15 | |
| 12 | 2009 | 14 | |
| 13 | 2018 | 14 | |
| 14 | 2023 | 12 | |
| 15 | HSF(C): A Software Verifier Based on Horn Clauses (Competition Contribution) | 2012 | 11 |
| 16 | 2016 | 11 | |
| 17 | 2022 | 11 | |
| 18 | 2008 | 9 | |
| 19 | 2015 | 8 | |
| 20 | 2022 | 7 |
About Ashutosh Gupta
Ashutosh Gupta is a scholar working on Artificial Intelligence, Computer Vision and Pattern Recognition, Computer Networks and Communications, Computational Theory and Mathematics and Information Systems, having authored 89 papers that have together received 600 indexed citations. Recurring topics across this work include Formal Methods in Verification (10 papers), Retinal Imaging and Analysis (8 papers), Retinal Diseases and Treatments (7 papers), Algorithms and Data Compression (7 papers), Advanced Image and Video Retrieval Techniques (7 papers), Multimodal Machine Learning Applications (6 papers), Chaos-based Image/Signal Encryption (5 papers) and Software Testing and Debugging Techniques (5 papers). The work is most often cited by research in Software (122 citations), Computational Theory and Mathematics (148 citations), Artificial Intelligence (282 citations), Hardware and Architecture (46 citations) and Information Systems and Management (37 citations). Ashutosh Gupta has collaborated with scholars based in India, United States and Germany. Frequent co-authors include Andrey Rybalchenko, Corneliu Popeea, Thomas A. Henzinger, Rupak Majumdar, Shubhi Gupta, Ru-Gang Xu, Sanjeev Thakur, Debasis Das, S. S. Bedi and Suneeta Agarwal. Their work appears in journals such as ACM SIGPLAN Notices, Multimedia Tools and Applications, Scientific Reports, Journal of Intelligent & Fuzzy Systems and Computers & Mathematics with Applications.
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.