Ankit Shukla

According to our database, Ankit Shukla authored at least 28 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca.

Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement, Reinhard von Hanxleden, Benjamin Asch, Marten Lohstroh, Edward A. Lee, Gustavo Quiros Araya, Ankit Shukla

CoRR, 2024

Opinion Unaware Image Quality Assessment via Adversarial Convolutional Variational Autoencoder.

Ankit Shukla, Avinash Upadhyay, Swati Bhugra, Manoj Sharma

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023

Resiliency Analysis of LLM generated models for Industrial Automation.

Oluwatosin Ogundare, Gustavo Quiros Araya, Ioannis Akrotirianakis, Ankit Shukla

CoRR, 2023

Contrastive Learning Embedded Siamese Neural Network for the Assessment of Fatty Liver.

Kumar Mohit, Ankit Shukla, Rajeev Gupta, Pramod Kumar Singh, Kushagra Agarwal, Basant Kumar

Proceedings of the IEEE Region 10 Conference, 2023

Transforming Quantified Boolean Formulas Using Biclique Covers.

Oliver Kullmann, Ankit Shukla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

A True Random Number Generator for Probabilistic Computing using Stochastic Magnetic Actuated Random Transducer Devices.

Ankit Shukla, Laura Heller, Md Golam Morshed, Laura Rehm, Avik W. Ghosh, Andrew D. Kent, Shaloo Rakheja

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

2022

RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming.

Angeline Aguinaldo, Jacob Bunker, Blake S. Pollard, Ankit Shukla, Arquimedes Canedo, Gustavo Quiros, William Regli

IEEE Trans Autom. Sci. Eng., 2022

Facilitating Change Implementation for Continuous ML-Safety Assurance.

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

CoRR, 2022

FERPModels: A Certification Framework for Expansion-Based QBF Solving.

Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

Evaluating Performance of Spintronics-Based Spiking Neural Network Chips using Parallel Discrete Event Simulation.

Elkin Cruz-Camacho, Siyuan Qian, Ankit Shukla, Neil McGlohon, Shaloo Rakheja, Christopher D. Carothers

Proceedings of the SIGSIM-PADS '22: SIGSIM Conference on Principles of Advanced Discrete Simulation, Atlanta, GA, USA, June 8, 2022

OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas.

Ankit Shukla, Sibylle Möhle, Manuel Kauers, Martina Seidl

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

High-Resolution NIR Prediction from RGB Images: Application to Plant Phenotyping.

Ankit Shukla, Avinash Upadhyay, Manoj Sharma, Viswanathan Chinnusamy, Sudhir Kumar

Proceedings of the 2022 IEEE International Conference on Image Processing, 2022

Identification of blurred objects in real time Video using deep learning neural networks.

Ayush Senapati, Atul Kumar Karn, Yash Bhardwaj, S. Jenicka, R. Padma Priya, Ankit Shukla, Shivam Arora

Proceedings of the 13th International Conference on Computing Communication and Networking Technologies, 2022

2021

A Distributed-Controlled Harmonic Virtual Impedance Loop for AC Microgrids.

Anubrata Das, Ankit Shukla, A. B. Shyam, Sandeep Anand, Josep M. Guerrero, Soumya Ranjan Sahoo

IEEE Trans. Ind. Electron., 2021

A formal methods approach to predicting new features of the eukaryotic vesicle traffic system.

Arnab Bhattacharyya, Ashutosh Gupta, Lakshmanan Kuppusamy, Somya Mani, Ankit Shukla, Mandayam K. Srivas, Mukund Thattai

Acta Informatica, 2021

QBFFam: A Tool for Generating QBF Families from Proof Complexity.

Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

Terahertz auto oscillations in non-collinear coplanar metallic antiferromagnets.

Ankit Shukla, Shaloo Rakheja

Proceedings of the Device Research Conference, 2021

Latent-optimization based Disease-aware Image Editing for Medical Image Augmentation.

Aakash Saboo, Prashnna K. Gyawali, Ankit Shukla, Manoj Sharma, Neeraj Jain, Linwei Wang

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020

Short Q-Resolution Proofs with Homomorphisms.

Ankit Shukla, Friedrich Slivovsky, Stefan Szeider

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2019

Improving Reasoning on DQBF.

Ankit Shukla

CoRR, 2019

Introducing Autarkies for DQCNF.

Oliver Kullmann, Ankit Shukla

CoRR, 2019

A Survey on Applications of Quantified Boolean Formulas.

Ankit Shukla, Armin Biere, Luca Pulina, Martina Seidl

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

Method to Reduce Harmonic Voltage Distortion and Improve Harmonic Current Sharing in an islanded AC Microgrid.

Ankit Shukla, Anubrata Das, Sandeep Anand

Proceedings of the IEEE International Conference on Industrial Technology, 2019

Autarkies for DQCNF.

Oliver Kullmann, Ankit Shukla

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

NTIRE 2019 Challenge on Video Super-Resolution: Methods and Results.

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

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019

2018

SMT Solving for Vesicle Traffic Systems in Cells.

Ashutosh Gupta, Ankit Shukla, Mandyam Srivas, Mukund Thattai

CoRR, 2018

IRGUN: Improved Residue Based Gradual Up-Scaling Network for Single Image Super Resolution.

Manoj Sharma, Rudrabha Mukhopadhyay, Avinash Upadhyay, Sriharsha Koundinya, Ankit Shukla, Santanu Chaudhury

Proceedings of the 2018 IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2018

Synthesis for Vesicle Traffic Systems.

Ashutosh Gupta, Somya Mani, Ankit Shukla

Proceedings of the Computational Methods in Systems Biology, 2018