Pranjal Sharma

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Asynchronous Communication

Formal Verification

Biomedical Informatics

Top Venues

Publications

Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin
Synchronous Programming with Refinement Types. CoRR (2024)
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
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation. FTSCS (2022)
Abhishek Sharma, Pranjal Sharma, Darshan Pincha, Prateek Jain
Surya Namaskar: real-time advanced yoga pose recognition and correction for smart healthcare. CoRR (2022)
Mamta Mittal, Gopi Battineni, Pradeep Kumar, Pranjal Sharma, Ankit Panwar
IoT based Image Defogging System for road accident control during winters. ICCCS (2020)
Pranjal Sharma, Ujjwal K. Gupta, Markand P. Oza, Shashikant Sharma
Reception - A Deep Learning Based Hybrid Residual Network. SDS (2019)