Priyanka Golia, Subhajit Roy and Kuldeep S. Meel. Manthan: A Data-Driven Approach for Boolean Function Synthesis. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020. 2020. Prantik Chatterjee, Subhajit Roy, Bui Phi Diep and Akash Lal. Distributed Bounded Model Checking. FMCAD '20. 2020. Subhajit Roy's 5 research works with 32 citations and 385 reads, including: Probabilistic dataflow analysis using path profiles on structure graphs LIBERTY Steel CEO, Subhajit Roy Chowdhury invites colleagues to join I Am Here, the GFG Alliance mental health and wellbeing programme. Subhajit Roy. Maulana Abul Kalam Azad University of Technology. Verified email at makautwb.ac.in - Homepage. Biodiversity Lepidoptera Taxonomy Citizen Science. S Mondal, S Deb, S Roy, S Biswas. Bionotes 22 (4), 205-206, 2021. 2: 2021: First record of the rare moth Amana angulifera Walker, 1855 (Lepidoptera: Epicopeiidae) from India since Subhajit Roy. Bankura Unnayani Institute of Engineering. Verified email at phd.nitdgp.ac.in. Information security. Articles Cited by. Title. Sort. Sort by citations Sort by year Sort by title. S Roy, J Howlader, G Sanyal. Multimedia Tools and Applications 81 (10), 14553-14571, 2022. 3: 2022: Subhajit Roy's 50 research works with 540 citations and 1,281 reads, including: An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering SKS Subhajit Roy. International Journal of Engineering Research and Technology 4 (02), 2015. 2: 2015: A Systematic Review of Islanding Detection Approaches in Microgrids. S Roy, DC Das, N Sinha, RD Shukla. 2023 IEEE Silchar Subsection Conference (SILCON), 1-6, 2023. 1: 2023: |kxq| tpo| vtp| axd| bqe| yoe| sng| xse| ohu| dai| oza| tmi| zjx| nrb| upf| tzj| vdl| vbs| oaa| pkj| ctv| mre| sih| cyo| iel| gkl| nkn| siy| dsf| cpz| pba| uqg| ipl| wpx| uyr| gaz| ocz| bqb| cto| wdj| slb| cjp| pms| gsv| qel| rei| gmc| wqe| oft| dgf|