default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnkit Shukla
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j5]Elkin Cruz-Camacho
, Siyuan Qian, Ankit Shukla, Neil McGlohon, Shaloo Rakheja, Christopher D. Carothers:
Performance Evaluation of Spintronic-Based Spiking Neural Networks using Parallel Discrete-Event Simulation. ACM Trans. Model. Comput. Simul. 35(1): 4:1-4:30 (2025)- 2024
- [j4]Ankit Shukla, Avinash Upadhyay, Manoj Sharma, Anil K. Saini, Nuzhat Fatema, Hasmat Malik, Asyraf Afthanorhan, Mohammad Asef Hossaini:
A Novel Zero-Shot Real World Spatio-Temporal Super-Resolution (ZS-RW-STSR) Model for Video Super-Resolution. IEEE Access 12: 123969-123984 (2024) - [c22]Ashwin Tunga, Junzhe Kang, Ziing Zhao, Ankit Shukla, Wenjuan Zhu, Shaloo Rakheja:
Modeling of Content addressable memory using 2D Reconfigurable Transistors. DRC 2024: 1-2 - [c21]Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla:
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. ICSE Companion 2024: 304-305 - [c20]Ankit Shukla, Avinash Upadhyay, Swati Bhugra, Manoj Sharma:
Opinion Unaware Image Quality Assessment via Adversarial Convolutional Variational Autoencoder. WACV 2024: 2142-2152 - [i8]Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla:
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. CoRR abs/2401.09185 (2024) - [i7]Avinash Upadhyay, Bhipanshu Dhupar, Manoj Sharma, Ankit Shukla, Ajith Abraham:
LWIRPOSE: A novel LWIR Thermal Image Dataset and Benchmark. CoRR abs/2404.10212 (2024) - 2023
- [c19]Ankit Shukla, Laura Heller, Md Golam Morshed, Laura Rehm, Avik W. Ghosh, Andrew D. Kent, Shaloo Rakheja:
A True Random Number Generator for Probabilistic Computing using Stochastic Magnetic Actuated Random Transducer Devices. ISQED 2023: 1-10 - [c18]Oliver Kullmann, Ankit Shukla:
Transforming Quantified Boolean Formulas Using Biclique Covers. TACAS (2) 2023: 372-390 - [c17]Kumar Mohit, Ankit Shukla, Rajeev Gupta, Pramod Kumar Singh, Kushagra Agarwal, Basant Kumar:
Contrastive Learning Embedded Siamese Neural Network for the Assessment of Fatty Liver. TENCON 2023: 1261-1265 - [i6]Oluwatosin Ogundare, Gustavo Quiros Araya, Ioannis Akrotirianakis, Ankit Shukla:
Resiliency Analysis of LLM generated models for Industrial Automation. CoRR abs/2308.12129 (2023) - 2022
- [j3]Angeline Aguinaldo, Jacob Bunker, Blake S. Pollard, Ankit Shukla, Arquimedes Canedo, Gustavo Quiros, William Regli:
RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming. IEEE Trans Autom. Sci. Eng. 19(3): 2637-2645 (2022) - [c16]Ayush Senapati, Atul Kumar Karn, Yash Bhardwaj, S. Jenicka, R. Padma Priya, Ankit Shukla, Shivam Arora:
Identification of blurred objects in real time Video using deep learning neural networks. ICCCNT 2022: 1-4 - [c15]Ankit Shukla, Avinash Upadhyay, Manoj Sharma, Viswanathan Chinnusamy, Sudhir Kumar:
High-Resolution NIR Prediction from RGB Images: Application to Plant Phenotyping. ICIP 2022: 4058-4062 - [c14]Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl:
OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas. CICM 2022: 272-284 - [c13]Elkin Cruz-Camacho, Siyuan Qian, Ankit Shukla, Neil McGlohon, Shaloo Rakheja, Christopher D. Carothers:
Evaluating Performance of Spintronics-Based Spiking Neural Network Chips using Parallel Discrete Event Simulation. SIGSIM-PADS 2022: 69-80 - [c12]Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl:
FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC 2022: 80-83 - [i5]Chih-Hong Cheng, Nguyen Anh Vu Doan, Balahari Balu, Franziska Schwaiger, Emmanouil Seferis, Simon Burton, Yassine Qamsane, Ankit Shukla, Yinchong Yang, Zhiliang Wu, Andreas Hapfelmeier, Ingo Thon:
Facilitating Change Implementation for Continuous ML-Safety Assurance. CoRR abs/2209.11632 (2022) - 2021
- [j2]Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai:
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system. Acta Informatica 58(1-2): 57-93 (2021) - [j1]Anubrata Das, Ankit Shukla, A. B. Shyam, Sandeep Anand, Josep M. Guerrero, Soumya Ranjan Sahoo:
A Distributed-Controlled Harmonic Virtual Impedance Loop for AC Microgrids. IEEE Trans. Ind. Electron. 68(5): 3949-3961 (2021) - [c11]Aakash Saboo, Prashnna K. Gyawali, Ankit Shukla, Manoj Sharma, Neeraj Jain, Linwei Wang:
Latent-optimization based Disease-aware Image Editing for Medical Image Augmentation. BMVC 2021: 181 - [c10]Ankit Shukla, Shaloo Rakheja:
Terahertz auto oscillations in non-collinear coplanar metallic antiferromagnets. DRC 2021: 1-2 - [c9]Ankit Shukla, Manoj Sharma, Swati Bhugra, Avinash Upadhyay, Navya Singh, Santanu Chaudhury, Brejesh Lall:
Auto-Encoder Guided Attention Based Network for Hyperspectral Recovery from Real RGB Images. PReMI 2021: 42-52 - [c8]Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla:
QBFFam: A Tool for Generating QBF Families from Proof Complexity. SAT 2021: 21-29 - 2020
- [c7]Ankit Shukla, Friedrich Slivovsky, Stefan Szeider:
Short Q-Resolution Proofs with Homomorphisms. SAT 2020: 412-428
2010 – 2019
- 2019
- [c6]Seungjun Nah, Radu Timofte, Shuhang Gu, Sungyong Baik, Seokil Hong, Gyeongsik Moon, Sanghyun Son, Kyoung Mu Lee, Xintao Wang, Kelvin C. K. Chan, Ke Yu, Chao Dong, Chen Change Loy, Yuchen Fan, Jiahui Yu, Ding Liu, Thomas S. Huang, Xiao Liu, Chao Li, Dongliang He, Yukang Ding, Shilei Wen, Fatih Porikli, Ratheesh Kalarot, Muhammad Haris, Greg Shakhnarovich, Norimichi Ukita, Peng Yi, Zhongyuan Wang, Kui Jiang, Junjun Jiang, Jiayi Ma, Hang Dong, Xinyi Zhang, Zhe Hu, Kwan-Young Kim, Dong Un Kang, Se Young Chun, Kuldeep Purohit, A. N. Rajagopalan, Yapeng Tian, Yulun Zhang, Yun Fu, Chenliang Xu, Ahmet Murat Tekalp, Mustafa Akin Yilmaz, Cansu Korkmaz, Manoj Sharma, Megh Makwana, Anuj Badhwar, Ajay Pratap Singh, Avinash Upadhyay, Rudrabha Mukhopadhyay, Ankit Shukla, Dheeraj Khanna, A. S. Mandal, Santanu Chaudhury, Si Miao, Yongxin Zhu, Xiao Huo:
NTIRE 2019 Challenge on Video Super-Resolution: Methods and Results. CVPR Workshops 2019: 1985-1995 - [c5]Oliver Kullmann, Ankit Shukla:
Autarkies for DQCNF. FMCAD 2019: 179-183 - [c4]Ankit Shukla, Anubrata Das, Sandeep Anand:
Method to Reduce Harmonic Voltage Distortion and Improve Harmonic Current Sharing in an islanded AC Microgrid. ICIT 2019: 498-503 - [c3]Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl:
A Survey on Applications of Quantified Boolean Formulas. ICTAI 2019: 78-84 - [i4]Oliver Kullmann, Ankit Shukla:
Introducing Autarkies for DQCNF. CoRR abs/1907.12156 (2019) - [i3]Ankit Shukla:
Improving Reasoning on DQBF. CoRR abs/1910.01181 (2019) - 2018
- [c2]Ashutosh Gupta, Somya Mani, Ankit Shukla:
Synthesis for Vesicle Traffic Systems. CMSB 2018: 93-110 - [c1]Manoj Sharma, Rudrabha Mukhopadhyay, Avinash Upadhyay, Sriharsha Koundinya, Ankit Shukla, Santanu Chaudhury:
IRGUN: Improved Residue Based Gradual Up-Scaling Network for Single Image Super Resolution. CVPR Workshops 2018: 834-843 - [i2]Ashutosh Gupta, Ankit Shukla, Mandyam Srivas, Mukund Thattai:
SMT Solving for Vesicle Traffic Systems in Cells. CoRR abs/1804.05414 (2018) - [i1]Ashutosh Gupta, Somya Mani, Ankit Shukla:
Synthesis for Vesicle Traffic Systems. CoRR abs/1810.04412 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 22:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
