Subject-Specific Dosage Estimation for Primary Hypothyroidism Using Sparse Data by Mandal C. Journal of Computational Biology 32 417-443 (2025)
DigiLoCS: A leap forward in predictive organ-on-chip simulations by Aravindakshan M.R., Mandal C., Pothen A., Schaller S., Maass C. PLoS ONE 20 - (2025)
Parameter Estimation for the Oral Minimal Model and Parameter Distinctions Between Obese and Non-Obese Type 2 Diabetes by Mandal C. DNA and Cell Biology Reports 5 15-27 (2024)
SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics by Ghosh D., Mandal C. Formal Aspects of Computing 36 - (2024)
SeamFlow: Seamless Flow Forwarding in Energy Harvesting-Enabled Access Points of SDWLAN by Chowdhury C.R., Misra S., Mandal C., Bera S. IEEE Transactions on Sustainable Computing 8 94-108 (2023)
Energy-Aware Service Allocation: A Crow Search-Based Approach by Ray Chowdhury C., Misra S., Mandal C. IEEE Transactions on Green Communications and Networking 7 211-223 (2023)
Translation validation of coloured Petri net models of programs on integers by Bandyopadhyay S., Sarkar D., Mandal C., Giese H. Acta Informatica - (2022)
Sustainable Maintenance of Connected Dominating Set by Solar Energy Harvesting for IoT Networks by Chowdhury C.R., Mandal C., Misra S. IEEE Transactions on Green Communications and Networking 6 2115-2127 (2022)
ETHoS: Energy-Aware Traffic Engineering for Sustainable Hybrid SDN by Maity I., Misra S., Mandal C. IEEE Transactions on Sustainable Computing - (2022)
Clustering Based Parameter Estimation of Thyroid Hormone Pathway by Ghosh D., Mandal C. IEEE/ACM Transactions on Computational Biology and Bioinformatics 19 343-354 (2022)
Distinct pathoclinical clusters among patients with uncontrolled type 2 diabetes: results from a prospective study in rural India by Aravindakshan M.R., Maity S.K., Paul A., Chakrabarti P., Mandal C., Sarkar J. BMJ Open Diabetes Research and Care 10 - (2022)
CORE: Prediction-Based Control Plane Load Reduction in Software-Defined IoT Networks by Maity I., Misra S., Mandal C. IEEE Transactions on Communications 69 1835-1844 (2021)
IEEE 802.11k-based Lightweight, Distributed and Cooperative Access Point Coverage Estimation Scheme in IoT Networks by Chowdhury C.R., Misra S., Mandal C. IEEE Internet of Things Journal - (2021)
Automatic Generation of Route Control Chart from Validated Signal Interlocking Plan by Das A., Gangwar M.K., Ghosh D., Mandal C., Sengupta A., Waris M.M. IEEE Transactions on Intelligent Transportation Systems 22 6516-6525 (2021)
DART: Data Plane Load Reduction for Traffic Flow Migration in SDN by Maity I., Misra S., Mandal C. IEEE Transactions on Communications 69 1765-1774 (2021)
SCOPE: Cost-Efficient QoS-Aware Switch and Controller Placement in Hybrid SDN by Maity I., Misra S., Mandal C. IEEE Systems Journal 16 4873-4880 (2021)
Secure Path Balanced BDD-Based Pre-Charge Logic for Masking by De P., Parampalli U., Mandal C. IEEE Transactions on Circuits and Systems I: Regular Papers 67 4747-4760 (2020)
Verification of parallelising transformations of KPN models by Karfa C., Sarkar D., Mandal C. IET Cyber-Physical Systems: Theory and Applications 4 276-289 (2019)
Tensor-Based Rule-Space Management System in SDN by Maity I., Mondal A. , Misra S. , Mandal C. IEEE Systems Journal 13 3921-3928 (2019)
Equivalence checking of Petri net models of programs using static and dynamic cut-points by Bandyopadhyay S., Sarkar D., Mandal C. Acta Informatica 56 321-383 (2019)
Path-balanced logic design to realize block ciphers resistant to power and timing attacks by De P., Mandal C., Prampalli U. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 27 1080-1092 (2019)
CURE: Consistent Update with Redundancy Reduction in SDN by Maity I., Mondal A. , Misra S. , Mandal C. IEEE Transactions on Communications 66 3974-3981 (2018)
Refresh re-use based transparent test for detection of in-field permanent faults in DRAMs by Ghoshal B., Mandal C. , Sengupta I. Integration: The VLSI Journal 59 168-178 (2017)
Deriving Bisimulation Relations from Path Based Equivalence Checkers by Banerjee K., Sarkar D. , Mandal C. Formal Aspects of Computing 29 365-379 (2017)
Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers by Banerjee K., Sarkar D. , Mandal C. IEEE Transactions on Software Engineering 43 - (2017)
A virtual laboratory for basic electronics, by Dhang S., Mandal C. Journal of Engineering, Science and Management Education 10 67-74 (2017)
Distributed Construction of Minimum Connected Dominating Set in Wireless Sensor Network Using Two-Hop Information by Mohanty J. P., Mandal C. , Reade C. M. Computer Networks 123 137-152 (2017)
COLDVL: A Virtual Laboratory Tool with Novel Features to Support Learning in Logic Design and Computer Organisation by Roy G., Ghosh D. , Mandal C. Journal of Computers in Education 4 461-490 (2017)
A Path Construction Algorithm for Translation Validation using PRES+ Models by Bandyopadhyay S., Sarkar D. , Mandal C. , Banerjee K. , Duddu K. R. Parallel Processing Letters 26 1-15 (2016)
Construction of Minimum Connected Dominating Set in Wireless Sensor Networks Using Pseudo Dominating Set by Mohanty J. P., Mandal C. , Reade C. M., Das A. Ad Hoc Networks 42 61-73 (2016)
Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers by Banerjee K., Sarkar D. , Mandal C. IEEE TSE PrePrint - (2016)
Verification of Code Motion Techniques using Value Propagation by Banerjee K., Karfa C. , Sarkar D. , Mandal C. IEEE Transactions on CAD 33 1180-1193 (2014)
Extending the FSMD Framework for Validating Code Motions of Array-Handling Programs by Banerjee K., Sarkar D. , Mandal C. IEEE Transactions on CAD 33 2016-2019 (2014)
Verification of Loop and Arithmetic Transformations of Array-Intensive Behaviours by Karfa C., Banerjee K. , Sarkar D. , Mandal C. IEEE Transactions on CAD 32 1787-1800 (2013)
Formal Verification of Code Motion Techniques using Data-flow Driven Equivalence Checking by Karfa C., Mandal C. , Sarkar D. ACM TODAES 17 3001-3037 (2012)
POWER-SIM : An SOC Simulator for Estimating Power Profiles of Mobile Workloads by Ghosh P., Hazra A. , Gonnabhaktula R. , Bhilegaonkar N. , Dasgupta P. , Mandal C. , Paul K. Journal of Low-Power Electronics (JOLPE) 8 293-303 (2012)
A Methodology for Generation of Performance Models for the Sizing of Analog High-Level Topologies by Pandit S., Mandal C. , Patra A. VLSI Design 1-17 (2011)
Minimum Connected Dominating Set using a Collaborative Cover Heuristic for Adhoc Sensor Networks by Misra R., Mandal C. IEEE Transactions on Parallel and Distributed Systems 21 292-302 (2010)
An Automated High-Level Topology Generation Procedure for Continuous-Time Modulator by Pandit S., Mandal C. , Patra A. Integration, the VLSI Journal 43 289-304 (2010)
Verification of Datapath and Controller Generation Phase in High-level Synthesis of Digital Circuits by Karfa C., Sarkar D. , Mandal C. IEEE Transactions on CAD 29 479-492 (2010)
Rotation of CDS via Connected Domatic Partition in Ad hoc Sensor Networks by Misra R., Mandal C. IEEE Transactions on Mobile Computing 6 488-499 (2009)
Efficient Clusterhead Rotation via Domatic Partition in Self-Organizing Sensor Networks by Misra R., Mandal C. Wireless Communications and Mobile Computing 9 1040-1058 (2009)
A Fast Exploration Procedure for Analog High-Level Specification Translation by Pandit S., Bhattacharya S. K., Mandal C. , Patra A. IEEE Transactions on CAD 27 1493-1497 (2008)
An Equivalence Checking Method for Scheduling Verification in High-level Synthesis by Karfa C., Sarkar D. , Mandal C. , Kumar P. IEEE Transactions on CAD 27 556-569 (2008)
A System for Automatic Evaluation of `C' Programs - features and interfaces by Mandal A., Mandal C. , Reade C. International Journal of Web-Based Learning and Teaching Technologies (IJWLTT) 2 24-39 (2007)
Genetic Algorithms for High-Level Synthesis in VLSI Design by Mandal C., Chakrabarti P. P. Materials and Manufacturing Processes 18 355-383 (2003)

Conferences

Design Space Exploration Through Architecture Driven High-level Synthesis by Mandal C. Aegean Conference on Electrical Machines and Power Electronics and Optimization of Electrical & Electronic Equipment (ACEMP-OPTIM25) 1-6 (2025)
Traffic-Aware Consistent Flow Migration in SDN by Maity I., Misra S., Mandal C. IEEE International Conference on Communications 2020-June - (2020)
Traffic-Aware Consistent Flow Migration in SDN by Maity I., Misra S. , Mandal C. Proceedings of IEEE ICC 2020 1-6 (2020)
Samatulyataone: A path based equivalence checker by Bandyopadhyay S., Sarkar D., Mandal C. ACM International Conference Proceeding Series - (2019)
An Equivalence Checking Framework for Array-Intensive Programs by Banerjee K., Mandal C. , Sarkar D. - (2017)
Formal Verification of Movement Authorities in Automatic Train Control Systems by Ghosh S., Dasgupta P. , Mandal C. , Katiyar A. IET International Conference on Railway Engineering - (2016)
Workload Driven Power Domain Partitioning by Dobriyal A., Gonnabattula R. , Dasgupta P. , Mandal C. VLSI Design and Test (VDAT) 147-155 (2012)
POWER-SIM : An SOC Simulator for Estimating Power Profiles of Mobile Workloads by Ghosh P., Hazra A. , Gonnabhaktula R. , Bhilegaonkar N. , Dasgupta P. , Mandal C. , Paul K. International Symposium on Electronic System Design (ISED) 273-278 (2011)
Formal Verification Coverage: Are the RTL Properties Covering the Design's Architectural Intent? by Basu P., Das S. , Dasgupta P. , Chakrabarti P. P., Mandal C. , Fix L. DATE 2004 - (2004)

Innovation: Project

ERP services for Indian Institute for Petroleum Engineering by Mandal C. - (2022)
Signalling system for Indian Railways by Mandal C. - (2022)
SMILE ERP for NITs by Mandal C. - (2021)

Educational Package

Web Based Course Management by Mandal C. - (2020)
Virtual laboratory on Basic Electronics by Mandal C. - (2017)
Virtual laboratory for Computer Organisation and Architecture by Mandal C. - (2014)

Book Chapter/Section

Connected Dominating Set in Wireless Sensor Network by Mohanty J. P., Mandal C. Handbook of Research on Advanced Wireless Sensor Network Applications, Protocols, and Architectures - (2016)
A Survey of CDS Construction Techniques for Ad hoc Sensor Networks by Das A., Mandal C. , Reade C. M. Wireless Sensor Networks From Theory to Applications 247-264 (2013)

Book

Nano-scale CMOS Analog Circuits: Models and CAD Techniques for High-Level Design by Pandit S., Mandal C. , Patra A. - (2013)
Verification and Synthesis of Digital Circuits: High-level Synthesis and Equivalence Checking by Karfa C., Sarkar D. , Mandal C. - (2010)