Pranjal Sharma

According to our database, Pranjal Sharma authored at least 6 papers between 2019 and 2024.

Collaborative distances:

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

2024

Synchronous Programming with Refinement Types.

Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin

Proc. ACM Program. Lang., 2024

Taming the Ransomware Threats: Leveraging Prospect Theory for Rational Payment Decisions.

Pranjal Sharma

CoRR, 2024

2022

Surya Namaskar: real-time advanced yoga pose recognition and correction for smart healthcare.

Abhishek Sharma, Pranjal Sharma, Darshan Pincha, Prateek Jain

CoRR, 2022

Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation.

Jiawei Chen, José Luiz Vargas de Mendonça, Shayan Jalili, Bereket Ayele, Bereket Ngussie Bekele, Zhemin Qu, Pranjal Sharma, Tigist Shiferaw, Yicheng Zhang, Jean-Baptiste Jeannin

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

2020

IoT based Image Defogging System for road accident control during winters.

Mamta Mittal, Gopi Battineni, Pradeep Kumar, Pranjal Sharma, Ankit Panwar

Proceedings of the 5th International Conference on Computing, Communication and Security, 2020

2019

Reception - A Deep Learning Based Hybrid Residual Network.

Pranjal Sharma, Ujjwal K. Gupta, Markand P. Oza, Shashikant Sharma

Proceedings of the 6th Swiss Conference on Data Science, 2019