Ashutosh Gupta

51 papers A* 1A 4B 6C 5Misc 2Journal 24Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Hybrid AlexNet-ShuffleNet framework for plant leaf disease detection.
Multim. Tools Appl.
Nasim Banu Shah, Ashutosh Gupta, Arun Kumar, D. S. Chouhan
2025 J jnl
Mathematical Analysis and Topology Derivation for a Family of Novel Dual Output High-Voltage Gain Z-Source Converter for Renewable Energy Application.
Int. J. Circuit Theory Appl.
Ashutosh Gupta, D. Joshi
2025 J jnl
Mathematical modeling and stress-aware stability analysis of a nonideal multiport Single Inductor DC-DC converter for renewable energy.
Int. J. Circuit Theory Appl.
Ashutosh Gupta, Dheeraj Joshi
2025 J jnl
Visible Light Communication Technologies: A Review of IEEE 802.15.7 and Its Role in Next-Generation Networks.
Int. J. Commun. Syst.
Monica Bhutani, Bharat Singh, Ashutosh Gupta, K. Sudha, Sandeep Sharma, Sandeep Banerjee, Manish Talwar, Vivek Kumar Chaurasiya
2024 J jnl
Comparative study of different machine learning models for automatic diabetic retinopathy detection using fundus image.
Multim. Tools Appl.
Shubhi Gupta, Sanjeev Thakur, Ashutosh Gupta
2024 B conf
Dynamic Partial Order Reduction for Transactional Programs on Serializable Platforms.
ATVA
Parosh Aziz Abdulla, Ashutosh Gupta, Shankara Narayanan Krishna, Omkar Tuppe
2024 J jnl
Integrating Explanations in Learning LTL Specifications from Demonstrations.
CoRR
Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney
2024 Misc conf
Learning Decentralized Multi-Biped Control for Payload Transport.
CoRL
Bikram Pandit, Ashutosh Gupta, Mohitvishnu S. Gadde, Addison Johnson, Aayam Kumar Shrestha, Helei Duan, Jeremy Dao, Alan Fern
2024 J jnl
Learning Decentralized Multi-Biped Control for Payload Transport.
CoRR
Bikram Pandit, Ashutosh Gupta, Mohitvishnu S. Gadde, Addison Johnson, Aayam Kumar Shrestha, Helei Duan, Jeremy Dao, Alan Fern
2024 J jnl
TRANS-VQA: Fully Transformer-Based Image Question-Answering Model Using Question-guided Vision Attention.
Inteligencia Artif.
Dipali Koshti, Ashutosh Gupta, Mukesh Kalla, Arvind Sharma
2023 A* conf
Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements.
AAAI
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
2023 J jnl
Design of knowledge incorporated VQA based on spatial GCNN with structured sentence embedding and linking algorithm.
J. Intell. Fuzzy Syst.
Dipali Koshti, Ashutosh Gupta, Mukesh Kalla
2023 A conf
LTL-Based Non-Markovian Inverse Reinforcement Learning.
AAMAS
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez
2023 J jnl
Numerical Methodology to Reduce the Drag and Control Flow around a Cam-Shaped Cylinder Integrated with Backward Splitter Plate.
Comput.
Sunil Chamoli, Amit Joshi, Sumit Rana, Suvanjan Bhattacharaya, Ashutosh Gupta, Siddharth Ghansela, Chinaruk Thianpong, Smith Eiamsa-ard
2023 — conf
Optimal Stateless Model Checking for Causal Consistency.
TACAS (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe
2022 J jnl
Optimal SMC for Transactional Programs.
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe
2022 J jnl
Optimized hybrid machine learning approach for smartphone based diabetic retinopathy detection.
Multim. Tools Appl.
Shubhi Gupta, Sanjeev Thakur, Ashutosh Gupta
2022 J jnl
Two-Pass End-to-End ASR Model Compression.
CoRR
Nauman Dawalatabad, Tushar Vatsal, Ashutosh Gupta, Sungsoo Kim, Shatrughan Singh, Dhananjaya Gowda, Chanwoo Kim
2021 J jnl
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.
Acta Informatica
Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai
2021 — conf
Automated Inference of Production Rules for Glycans.
CMSB
Ansuman Biswas, Ashutosh Gupta, Meghana Missula, Mukund Thattai
2021 J jnl
Automated inference of production rules for glycans.
CoRR
Ansuman Biswas, Ashutosh Gupta, Meghana Missula, Mukund Thattai
2021 C conf
Comparative Study of Different Tokenization Strategies for Streaming End-to-End ASR.
ASRU
Sachin Singh, Ashutosh Gupta, Aman Maghan, Dhananjaya Gowda, Shatrughan Singh, Chanwoo Kim
2021 A conf
Event-Triggered and Time-Triggered Duration Calculus for Model-Free Reinforcement Learning.
RTSS
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
2021 C conf
HiTNet: Byte-to-BPE Hierarchical Transcription Network for End-to-End Speech Recognition.
ASRU
Dhananjaya Gowda, Abhinav Garg, Jiyeon Kim, Mehul Kumar, Sachin Singh, Ashutosh Gupta, Ankur Kumar, Nauman Dawalatabad, Aman Maghan, Shatrughan Singh, Chanwoo Kim
2021 Misc conf
Neural Utterance Confidence Measure for RNN-Transducers and Two Pass Models.
ICASSP
Ashutosh Gupta, Ankur Kumar, Dhananjaya Gowda, Kwangyoun Kim, Sachin Singh, Shatrughan Singh, Chanwoo Kim
2021 J jnl
Portable Smart Healthcare Approach for Earlier Stage Eye Tests for Diabetic Retinopathy Detection.
Int. J. Inf. Retr. Res.
Shubhi Gupta, Prakash Srivastava, Ashutosh Gupta
2021 J jnl
Quantitative Learning of LTL from Finite Traces.
CoRR
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna
2021 C conf
Two-Pass End-to-End ASR Model Compression.
ASRU
Nauman Dawalatabad, Tushar Vatsal, Ashutosh Gupta, Sungsoo Kim, Shatrughan Singh, Dhananjaya Gowda, Chanwoo Kim
2021 C conf
Voice to Action: Spoken Language Understanding for Memory-Constrained Systems.
ASRU
Ashutosh Gupta, Aditya Jayasimha, Aman Maghan, Shatrughan Singh, Dhananjaya Gowda, Chanwoo Kim
2020 A conf
Hierarchical Multi-Stage Word-to-Grapheme Named Entity Corrector for Automatic Speech Recognition.
INTERSPEECH
Abhinav Garg, Ashutosh Gupta, Dhananjaya Gowda, Shatrughan Singh, Chanwoo Kim
2020 B conf
Robust Controller Synthesis for Duration Calculus.
ATVA
Kalyani Dole, Ashutosh Gupta, Shankara Narayanan Krishna
2020 — conf
Tokenization of Real Estate Using Blockchain Technology.
ACNS Workshops
Ashutosh Gupta, Jash Rathod, Dhiren Patel, Jay Bothra, Sanket Shanbhag, Tanmay Bhalerao
2020 — conf
Using Blockchain Technology for Continuing Medical Education Credits System.
SDS
Jash Rathod, Ashutosh Gupta, Dhiren Patel
2019 J jnl
Trend-Based Networking Driven by Big Data Telemetry for SDN and Traditional Networks.
CoRR
Ankur Jain, Arohi Gupta, Ashutosh Gupta, Dewang Gedia, Leidy Pérez, Levi Perigo, Rahil Gandotra, Sanjay Murthy
2018 C conf
High Performance Layout Analysis of Medieval European Document Images.
ICPRAM
Syed Saqib Bukhari, Ashutosh Gupta, Anil Kumar Tiwari, Andreas Dengel
2018 J jnl
SMT Solving for Vesicle Traffic Systems in Cells.
CoRR
Ashutosh Gupta, Ankit Shukla, Mandyam Srivas, Mukund Thattai
2018 — conf
Synthesis for Vesicle Traffic Systems.
CMSB
Ashutosh Gupta, Somya Mani, Ankit Shukla
2018 J jnl
Synthesis for Vesicle Traffic Systems.
CoRR
Ashutosh Gupta, Somya Mani, Ankit Shukla
2017 — conf
Betweenness centrality updation and community detection in streaming graphs using incremental algorithm.
ICSCA
Akshita Bhandari, Ashutosh Gupta, Debasis Das
2016 — conf
A distribution-independent risk estimator for image denoising.
ICVGIP
Babu Kishore Subramanian, Ashutosh Gupta, Chandra Sekhar Seelamantula
2014 B conf
Extensional Crisis and Proving Identity.
ATVA
Ashutosh Gupta, Laura Kovács, Bernhard Kragl, Andrei Voronkov
2014 J jnl
Improvised Apriori Algorithm using frequent pattern tree for real time applications in data mining.
CoRR
Akshita Bhandari, Ashutosh Gupta, Debasis Das
2014 — conf
Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.
Haifa Verification Conference
Georg Hofferek, Ashutosh Gupta
2013 J jnl
Real-Time Analytics for the Healthcare Industry: Arrhythmia Detection.
Big Data
Vijay Srinivas Agneeswaran, Joydeb Mukherjee, Ashutosh Gupta, Pranay Tonpay, Jayati Tiwari, Nitin Agarwal
2013 J jnl
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof.
CoRR
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
2013 B conf
Synthesizing multiple boolean functions using interpolation on a single proof.
FMCAD
Georg Hofferek, Ashutosh Gupta, Bettina Könighofer, Jie-Hong Roland Jiang, Roderick Bloem
2013 B conf
Tree Interpolation in Vampire.
LPAR
Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl
2012 A conf
Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation).
SAT
Ashutosh Gupta
2012 B conf
Improved Single Pass Algorithms for Resolution Proof Reduction.
ATVA
Ashutosh Gupta
2009 — conf
Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame.
IC3
Chandan Maity, Ashutosh Gupta, Mahua Maity
2008 J jnl
Weibull extension model: A Bayes study using Markov chain Monte Carlo simulation.
Reliab. Eng. Syst. Saf.
Ashutosh Gupta, Bhaswati Mukherjee, Satyanshu K. Upadhyay