| Pseudo-emulsion based hollow fiber strip dispersion technique (PEHFSD): optimization, modelling and application of PEHFSD for recovery of U (VI) from process effluent SC Roy, JV Sonawane, NS Rathore, AK Pabby, P Janardan, ... Separation Science and Technology 43 (11-12), 3305-3332, 2008 | 40 | 2008 |
| Clinicopathological profile of induced chronic arsenic toxicity in goats U Biswas, S Sarkar, MK Bhowmik, S Roy The Indian Journal of Animal Sciences 68 (4), 1998 | 24 | 1998 |
| Event propagation for accurate circuit delay calculation using SAT S Roy, PP Chakrabarti, P Dasgupta ACM Transactions on Design Automation of Electronic Systems (TODAES) 12 (3 …, 2008 | 14 | 2008 |
| Strip dispersion technique: application for strategic and precious metal separation and treatment of wastewater streams AK Pabby, SC Roy, JV Sonawane, FJ Alguacil, AM Sastre Handbook of Membrane Separations, 2008 | 13 | 2008 |
| SAT based multi pin net detailed routing for FPGA S Mukherjee, S Roy 2010 International Symposium on Electronic System Design, 141-146, 2010 | 12 | 2010 |
| A novel test vector generation method for hardware trojan detection A Mondal, MH Mahalat, S Mandal, S Roy, B Sen 2019 32nd IEEE International System-on-Chip Conference (SOCC), 80-85, 2019 | 10 | 2019 |
| Application-dependent testing of FPGA interconnect network S Banik, S Roy, B Sen IEEE transactions on very large scale integration (VLSI) systems 27 (10 …, 2019 | 10 | 2019 |
| Multi terminal net routing for island style FPGAs using nearly-2-SAT computation S Mukherjee, S Roy 2015 19th International Symposium on VLSI Design and Test, 1-6, 2015 | 10 | 2015 |
| Graph colouring based multi pin net detailed routing for FPGA using SAT S Mukherjee, S Roy 2013 3rd IEEE International Advance Computing Conference (IACC), 308-312, 2013 | 10 | 2013 |
| Sat based solutions for consistency problems in formal property specifications for open systems S Roy, S Das, P Basu, P Dasgupta, PP Chakrabarti ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005 …, 2005 | 10 | 2005 |
| PUF based Lightweight Authentication and Key Exchange Protocol for IoT. S Roy, D Das, A Mondal, MH Mahalat, S Roy, B Sen SECRYPT, 698-703, 2021 | 8 | 2021 |
| Satisfiability modulo theory based methodology for floorplanning in VLSI circuits S Banerjee, A Ratna, S Roy 2016 Sixth International Symposium on Embedded Computing and System Design …, 2016 | 8 | 2016 |
| SAT based rectilinear steiner tree construction S Kundu, S Roy, S Mukherjee 2016 2nd International Conference on Applied and Theoretical Computing and …, 2016 | 8 | 2016 |
| Satisfiability models for maximum transition power S Roy, PP Chakrabarti, P Dasgupta IEEE transactions on very large scale integration (VLSI) systems 16 (8), 941-951, 2008 | 8 | 2008 |
| Bounded delay timing analysis using boolean satisfiability S Roy, PP Chakrabarti, P Dasgupta 20th International Conference on VLSI Design held jointly with 6th …, 2007 | 8 | 2007 |
| Sat based scheduling in high level synthesis S Kundu, K Chandrakar, S Roy Advanced Computing, Networking and Informatics-Volume 2: Wireless Networks …, 2014 | 7 | 2014 |
| Linear time algorithm to cover and hit a set of line segments optimally by two axis-parallel squares S Sadhu, S Roy, SC Nandy, S Roy Theoretical Computer Science 769, 63-74, 2019 | 6 | 2019 |
| XOR based methodology to detect hardware trojan utilizing the transition probability A Mondal, MH Mahalat, AR Medapati, S Roy, B Sen 2018 8th International symposium on embedded computing and system design …, 2018 | 6 | 2018 |
| Non-invasive anaemia detection by examining palm pallor: A smartphone-based approach A Kesarwani, S Das, M Dalui, DR Kisku, B Sen, S Roy, A Basu Biomedical Signal Processing and Control 79, 104045, 2023 | 5 | 2023 |
| K-nearest neighbour (KNN) approach using SAT based technique for rectilinear steiner tree construction S Kundu, S Roy, S Mukherjee 2017 7th International Symposium on Embedded Computing and System Design …, 2017 | 5 | 2017 |
