default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDP. P. Chakrabarti 0001
Partha Pratim Chakrabarti – Partha Pratim Chakraborty
Person information
- affiliation: Indian Institute of Technology, Kharagpur
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j93]Shubhajit Datta
, Manaar Alam, Arijit Mondal, Debdeep Mukhopadhyay, Partha Pratim Chakrabarti:
Decision Guided Robust DL Classification of Adversarial Images Combining Weaker Defenses. IEEE J. Emerg. Sel. Topics Circuits Syst. 14(4): 758-772 (2024)- [j92]Aayush Pandey, Jeevesh Mahajan, Srinag P., Aditya Rastogi, Arnab Roy, Partha Pratim Chakraborty:
DARSI: A deep auto-regressive time series inference architecture for forecasting of aerodynamic parameters. J. Comput. Sci. 82: 102401 (2024) - [j91]Km Poonam, Rajlakshmi Guha, Partha Pratim Chakraborty:
Predicting Alzheimer's Disease Progression Using a Versatile Sequence-Length-Adaptive Encoder-Decoder LSTM Architecture. IEEE J. Biomed. Health Informatics 28(7): 4184-4193 (2024) - [c118]Debajyoti Dasgupta, Arijit Mondal, Partha Pratim Chakraborty:
Can Synthetic Plant Images From Generative Models Facilitate Rare Species Identification and Classification? CVPR Workshops 2024: 7530-7540 - [c117]Km Poonam, Rajlakshmi Guha, Partha Pratim Chakrabarti:
A Regression Framework for Predicting Cognitive Decline in Frontotemporal Dementia using Recurrent Neural Networks. EMBC 2024: 1-4 - [c116]Km Poonam, Rajlakshmi Guha, Partha Pratim Chakrabarti:
Artificial Intelligence Based Hierarchical Classification of Frontotemporal Dementia. EMBC 2024: 1-4 - [c115]Km Poonam, Venkata Sathwik Kotra, Rajlakshmi Guha, Partha Pratim Chakraborty:
Hierarchical Classification of Frontotemporal Dementia Subtypes Utilizing Tabular-to-Image Data Conversion with Deep Learning Methods. ICPR (11) 2024: 386-401 - [c114]Mukund Mitra, Gyanig Kumar, Partha Pratim Chakrabarti, Pradipta Biswas:
Enhanced Human-Robot Collaboration with Intent Prediction using Deep Inverse Reinforcement Learning. ICRA 2024: 7880-7887 - [c113]Abhishek Kumar, Partha Pratim Das, Partha Pratim Chakrabarti:
ICLNet: Stepping Beyond Dates for Robust Issue-Commit Link Recovery. ICSE Companion 2024: 408-409 - [c112]Avnish Srivastava, Sista Raviteja, Partha Pratim Chakrabarti, Debdoot Sheet:
Exploring the Limits of VLMs: A Dataset for Evaluating Text-to-Video Generation✱. ICVGIP 2024: 48:1-48:9 - [c111]Mukund Mitra, Ameya Avinash Patil, GVS Mothish, Gyanig Kumar, Abhishek Mukhopadhyay, L. R. D. Murthy, Partha Pratim Chakraborty, Pradipta Biswas:
Multimodal Target Prediction for Rapid Human-Robot Interaction. IUI Companion 2024: 18-23 - [d1]Chiranjit Pal, Imon Mukherjee, Sanjay Chatterji, Sanjoy Pratihar, Pabitra Mitra, Partha Pratim Chakrabarti:
Indian Rice Disease Dataset (IRDD). IEEE DataPort, 2024
- [i18]Alapan Kuila, Somnath Jena, Sudeshna Sarkar, Partha Pratim Chakrabarti:
Analyzing Sentiment Polarity Reduction in News Presentation through Contextual Perturbation and Large Language Models. CoRR abs/2402.02145 (2024) - [i17]Sarthak Batra, Partha Pratim Chakraborty, Simon Hadfield, Armin Mustafa:
Single-image coherent reconstruction of objects and humans. CoRR abs/2408.08086 (2024) - [i16]Abhishek Kumar, Sonia Haiduc, Partha Pratim Das, Partha Pratim Chakrabarti:
LLMs as Evaluators: A Novel Approach to Evaluate Bug Report Summarization. CoRR abs/2409.00630 (2024) - 2023
- [j90]Omkar Mypati, Avishek Mukherjee, Debasish Mishra, Surjya Kanta Pal, Partha Pratim Chakrabarti, Arpan Pal:
A critical review on applications of artificial intelligence in manufacturing. Artif. Intell. Rev. 56(S1): 661-768 (2023) - [c110]Varun Madhavan, Adway Mitra, Partha Pratim Chakrabarti:
Deep Learning-based Spatially Explicit Emulation of an Agent-Based Simulator for Pandemic in a City. AAMAS 2023: 2733-2735 - [c109]Km Poonam, Rajlakshmi Guha, Partha Pratim Chakrabarti:
Accurate Prediction of Alzheimer's Disease Progression Trajectory via a Novel Encoder-Decoder LSTM Architecture. EMBC 2023: 1-4 - [c108]Anirban Lahiri, Shivam Raj, Utanko Mitra, Sunreeta Sen, Rajlakshmi Guha, Pabitra Mitra, Partha Pratim Chakraborty, Anupam Basu:
Automated Deep Learning Based Answer Generation to Psychometric Questionnaire: Mimicking Personality Traits. ICAART (3) 2023: 737-743 - [c107]Km Poonam, Rajlakshmi Guha, Partha Pratim Chakrabarti:
Frontotemporal Dementia Detection Model Based on Explainable Machine Learning Approach. ICCIDS 2023: 230-242 - [c106]Abhishek Kumar, Partha Pratim Das, Partha Pratim Chakrabarti:
Summarize Me: The Future of Issue Thread Interpretation. ICSME 2023: 341-345 - [c105]Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti:
DietCNN: Multiplication-free Inference for Quantized CNNs. IJCNN 2023: 1-8 - [c104]Debajyoti Dasgupta, Arijit Mondal, Partha Pratim Chakrabarti:
Emotion Detection in Social Robotics: Empath-Obscura - An Ensemble Approach with Novel Face Augmentation Using SPIGA. IRC 2023: 94-101 - [c103]Mukund Mitra, Preetam Pati, Vinay Krishna Sharma, Subin Raj, Partha Pratim Chakrabarti, Pradipta Biswas:
Comparison of Target Prediction in VR and MR using Inverse Reinforcement Learning. IUI Companion 2023: 55-58 - [c102]Km Poonam, Aayush Prasad, Rajlakshmi Guha, Aritra Hazra, P. P. Chakrabarti:
Explainable Decision Tree-Based Screening of Cognitive Impairment Leveraging Minimal Neuropsychological Tests. PReMI 2023: 241-251 - [i15]Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti:
DietCNN: Multiplication-free Inference for Quantized CNNs. CoRR abs/2305.05274 (2023) - 2022
- [j89]Plaban Kumar Bhowmick, Partha Pratim Das, Partha Pratim Chakrabarti, Debarshi Kumar Sanyal:
National digital library of India: democratizing education in India. Commun. ACM 65(11): 58-61 (2022) - [j88]Saptarshi Ghosh, Kripabandhu Ghosh, Debasis Ganguly, Arnab Bhattacharya, Partha Pratim Chakrabarti, Shouvik Kumar Guha, Arindam Pal, Koustav Rudra, Prasenjit Majumder, Dwaipayan Roy, Ayan Bandopadhyay, Procheta Sen, Paheli Bhattacharya, Aniket Deroy, Upal Bhattacharya, Subinay Adhikary, Subham Kumar Nigam:
Report on the 2nd Symposium on Artificial Intelligence and Law (SAIL) 2022. SIGIR Forum 56(1): 11:1-11:7 (2022) - [j87]Debraj Kundu, Sudip Roy, Sukanta Bhattacharjee, Sohini Saha, Krishnendu Chakrabarty, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Mixing Models as Integer Factorization: A Key to Sample Preparation With Microfluidic Biochips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(3): 558-570 (2022) - [c101]Swarnava Dey, Pallab Dasgupta, Partha Pratim Chakrabarti:
SymDNN: Simple & Effective Adversarial Robustness for Embedded Systems. CVPR Workshops 2022: 3598-3608 - [c100]Sista Raviteja, Rachana Sathish, Riya Agrawal, Utpal De, Partha Pratim Chakrabarti, Debdoot Sheet:
I'm GROOT: a multi head multi GRaph netwOrk recognizing surgical actiOn Triplets✱. ICVGIP 2022: 18:1-18:9 - [i14]Kushal Kedia, Rajat Kumar Jenamani, Aritra Hazra, Partha Pratim Chakrabarti:
Optimal Multi-Agent Path Finding for Precedence Constrained Planning Tasks. CoRR abs/2202.10449 (2022) - [i13]Varun Madhavan, Adway Mitra, Partha Pratim Chakrabarti:
Deep Learning-based Spatially Explicit Emulation of an Agent-Based Simulator for Pandemic in a City. CoRR abs/2205.14396 (2022) - [i12]Manaar Alam, Shubhajit Datta, Debdeep Mukhopadhyay, Arijit Mondal, Partha Pratim Chakrabarti:
Resisting Adversarial Attacks in Deep Neural Networks using Diverse Decision Boundaries. CoRR abs/2208.08697 (2022) - [i11]Dvij Kalaria, Aritra Hazra, Partha Pratim Chakrabarti:
Towards Adversarial Purification using Denoising AutoEncoders. CoRR abs/2208.13838 (2022) - 2021
- [c99]Gaurav Suryawanshi, Varun Madhavan, Adway Mitra, Partha Pratim Chakrabarti:
City-Scale Simulation of Covid-19 Pandemic & Intervention Policies Using Agent-Based Modelling. WSC 2021: 1-12 - [i10]Gaurav Suryawanshi, Varun Madhavan, Adway Mitra, Partha Pratim Chakrabarti:
City-scale Simulation of Covid-19 Pandemic and Intervention Policies using Agent-based Modelling. CoRR abs/2104.01650 (2021) - [i9]Km Poonam, Rajlakshmi Guha, Partha Pratim Chakrabarti:
Artificial Intelligence Methods Based Hierarchical Classification of Frontotemporal Dementia to Improve Diagnostic Predictability. CoRR abs/2104.05235 (2021) - [i8]Dvij Kalaria, Aritra Hazra, Partha Pratim Chakrabarti:
Detecting Adversaries, yet Faltering to Noise? Leveraging Conditional Variational AutoEncoders for Adversary Detection in the Presence of Noisy Images. CoRR abs/2111.15518 (2021) - [i7]Manaar Alam, Shubhajit Datta, Debdeep Mukhopadhyay, Arijit Mondal, Partha Pratim Chakrabarti:
PARL: Enhancing Diversity of Ensemble Networks to Resist Adversarial Attacks via Pairwise Adversarially Robust Loss Function. CoRR abs/2112.04948 (2021) - 2020
- [c98]Kaustav Brahma, Pourush Sood, Rajlakshmi Guha, Partha Pratim Chakraborty:
'Eye Can Reason'- How Eye Parameters Marked one's Performance in a Visual Reasoning Task. CogSci 2020 - [c97]Anirban Lahiri, Utanko Mitra, Sunreeta Sen, Mreenal Chakraborty, Max Kleiman-Weiner, Rajlakshmi Guha, Pabitra Mitra, Anupam Basu, Partha Pratim Chakraborty:
Antarjami: Exploring psychometric evaluation through a computer-based game. CogSci 2020 - [i6]Ginju V. George, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Early-Stage Resource Estimation from Functional Reliability Specification in Embedded Cyber-Physical Systems. CoRR abs/2005.00995 (2020) - [i5]Anirban Lahiri, Utanko Mitra, Sunreeta Sen, Mreenal Chakraborty, Max Kleiman-Weiner, Rajlakshmi Guha, Pabitra Mitra, Anupam Basu, Partha Pratim Chakraborty:
Antarjami: Exploring psychometric evaluation through a computer-based game. CoRR abs/2007.10089 (2020)
2010 – 2019
- 2019
- [j86]Surender Baswana, Partha Pratim Chakrabarti, Sharat Chandran, Yashodhan Kanoria, Utkarsh Patange:
Centralized Admissions for Engineering Colleges in India. INFORMS J. Appl. Anal. 49(5): 338-354 (2019) - [c96]Sohini Saha, Debraj Kundu, Sudip Roy, Sukanta Bhattacharjee, Krishnendu Chakrabarty, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Factorization based dilution of biochemical fluids with micro-electrode-dot-array biochips. ASP-DAC 2019: 462-467 - [c95]Surender Baswana, Partha Pratim Chakrabarti, Sharat Chandran, Yashodhan Kanoria, Utkarsh Patange:
Centralized Admissions for Engineering Colleges in India. EC 2019: 323-324 - [i4]Surender Baswana, P. P. Chakrabarti, Yashodhan Kanoria, Utkarsh Patange, Sharat Chandran:
Joint Seat Allocation 2018: An algorithmic perspective. CoRR abs/1904.06698 (2019) - 2018
- [j85]Shalu, Srijan Kumar, Ananya Singla, Sudip Roy, Krishnendu Chakrabarty, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Demand-Driven Single- and Multitarget Mixture Preparation Using Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 23(4): 55:1-55:26 (2018) - 2017
- [j84]Saurav Kumar Ghosh, P. Vishnuvardhan, Satya Gautam Vadlamudi, Aritra Hazra, Soumyajit Dey, Partha Pratim Chakrabarti:
RELSPEC: a framework for reliability aware design of component based embedded systems. Des. Autom. Embed. Syst. 21(1): 37-87 (2017) - [j83]Sikhar Patranabis, Abhishek Chakraborty, Debdeep Mukhopadhyay, Partha Pratim Chakrabarti:
Fault Space Transformation: A Generic Approach to Counter Differential Fault Analysis and Differential Fault Intensity Analysis on AES-Like Block Ciphers. IEEE Trans. Inf. Forensics Secur. 12(5): 1092-1102 (2017) - [c94]Anshuman Tripathi, Arnab Sarkar, P. P. Chakrabarti:
Migration Aware Low Overhead ERfair Scheduler. VLSID 2017: 219-224 - [e1]Partha Pratim Chakraborty, Manish Gupta, Lipika Dey, Shourya Roy:
Proceedings of the 10th Annual ACM India Compute Conference, Compute 2017, Bhopal, India, November 16-18, 2017. ACM 2017 [contents] - 2016
- [j82]Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Formal assessment of reliability specifications in embedded cyber-physical systems. J. Appl. Log. 18: 71-104 (2016) - [j81]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
Anytime pack search. Nat. Comput. 15(3): 395-414 (2016) - [j80]Piyoosh Purushothaman Nair, Arnab Sarkar, N. M. Harsha, Megha Gandhi, P. P. Chakrabarti, Sujoy Ghose:
ERfair Scheduler with Processor Suspension for Real-Time Multiprocessor Embedded Systems. ACM Trans. Design Autom. Electr. Syst. 22(1): 19:1-19:25 (2016) - 2015
- [j79]Sudip Roy, Partha Pratim Chakrabarti, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
Waste-aware single-target dilution of a biochemical fluid using digital microfluidic biochips. Integr. 51: 194-207 (2015) - [j78]Sudip Roy, Partha Pratim Chakrabarti, Srijan Kumar, Krishnendu Chakrabarty, Bhargab B. Bhattacharya:
Layout-Aware Mixture Preparation of Biochemical Fluids on Application-Specific Digital Microfluidic Biochips. ACM Trans. Design Autom. Electr. Syst. 20(3): 45:1-45:34 (2015) - [c93]Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta:
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC 2015: 385-392 - [i3]Rajorshee Raha, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta:
Multi-mode Sampling Period Selection for Embedded Real Time Control. CoRR abs/1506.08538 (2015) - [i2]Sikhar Patranabis, Abhishek Chakraborty, Debdeep Mukhopadhyay, P. P. Chakrabarti:
Using State Space Encoding To Counter Biased Fault Attacks on AES Countermeasures. IACR Cryptol. ePrint Arch. 2015: 806 (2015) - 2014
- [j77]Satya Gautam Vadlamudi, Partha Pratim Chakrabarti:
Robustness Analysis of Embedded Control Systems with Respect to Signal Perturbations: Finding Minimal Counterexamples Using Fault Injection. IEEE Trans. Dependable Secur. Comput. 11(1): 45-58 (2014) - [c92]Sudip Roy, Srijan Kumar, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya, Krishnendu Chakrabarty:
Demand-Driven Mixture Preparation and Droplet Streaming using Digital Microfluidic Biochips. DAC 2014: 144:1-144:6 - [c91]Rajorshee Raha, Aritra Hazra, Akash Mondal, Soumyajit Dey, Partha Pratim Chakrabarti, Pallab Dasgupta:
Synthesis of sampling modes for adaptive control. ICCSCE 2014: 294-299 - [i1]Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. CoRR abs/1401.5852 (2014) - 2013
- [j76]Aritra Hazra, Priyankar Ghosh, Satya Gautam Vadlamudi, P. P. Chakrabarti, Pallab Dasgupta:
Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications. IEEE Embed. Syst. Lett. 5(1): 8-11 (2013) - [j75]Satya Gautam Vadlamudi, Sandip Aine, P. P. Chakrabarti:
Incremental Beam search. Inf. Process. Lett. 113(22-24): 888-893 (2013) - [c90]M. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti:
Handling fault detection latencies in automata-based scheduling for embedded control software. CACSD 2013: 1-6 - [c89]Srijan Kumar, Sudip Roy, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya, Krishnendu Chakrabarty:
Efficient mixture preparation on digital microfluidic biochips. DDECS 2013: 205-210 - [c88]Anshul Gupta, Aurosish Mishra, Satya Gautam Vadlamudi, P. P. Chakrabarti, Sudeshna Sarkar, Tridib Mukherjee, Nathan Gnanasambandam:
A Mobility Simulation Framework Of Humans With Group Behavior Modeling. ICDM 2013: 1067-1072 - [c87]Priyankar Ghosh, Amit Sharma, Partha Pratim Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures : Extended Abstract. IJCAI 2013: 3156-3160 - [c86]Sudip Roy, Partha Pratim Chakrabarti, Srijan Kumar, Bhargab B. Bhattacharya, Krishnendu Chakrabarty:
Routing-aware resource allocation for mixture preparation in digital microfluidic biochips. ISVLSI 2013: 165-170 - [c85]Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta:
Ordered Solution Generation for Implicit AND/OR Search Spaces. PReMI 2013: 581-586 - [c84]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
Anytime Pack Heuristic Search. PReMI 2013: 628-634 - [c83]Sunandita Patra, Satya Gautam Vadlamudi, Partha Pratim Chakrabarti:
Anytime Contract Search. SGAI Conf. 2013: 139-155 - [c82]Saptarshi Roy, Amit Patra, Partha Pratim Chakrabarti, Purnendu Sinha, Dipankar Das:
Prediction Schemes for Compensating Variable Delay for Improving Performance of Real-Time Control Tasks. VLSI Design 2013: 19-24 - 2012
- [j74]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Cohesive Coverage Management: Simulation Meets Formal Methods. J. Electron. Test. 28(4): 449-468 (2012) - [j73]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
SAT based timing analysis for fixed and rise/fall gate delay models. Integr. 45(4): 357-364 (2012) - [j72]Priyankar Ghosh, Amit Sharma, P. P. Chakrabarti, Pallab Dasgupta:
Algorithms for Generating Ordered Solutions for Explicit AND/OR Structures. J. Artif. Intell. Res. 44: 275-333 (2012) - [j71]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A dynamic assertion-based verification platform for validation of UML designs. ACM SIGSOFT Softw. Eng. Notes 37(1): 1-14 (2012) - [j70]Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta:
Symbolic-Event-Propagation-Based Minimal Test Set Generation for Robust Path Delay Faults. ACM Trans. Design Autom. Electr. Syst. 17(4): 47:1-47:20 (2012) - [j69]Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar:
Online Scheduling of Dynamic Task Graphs with Communication and Contention for Multiprocessors. IEEE Trans. Parallel Distributed Syst. 23(1): 126-133 (2012) - [c81]Priyankar Ghosh, Partha Pratim Chakrabarti, Pallab Dasgupta:
Anytime Algorithms for Biobjective Heuristic Search. Australasian Conference on Artificial Intelligence 2012: 230-241 - [c80]Satya Gautam Vadlamudi, Piyush Gaurav, Sandip Aine, Partha Pratim Chakrabarti:
Anytime Column Search. Australasian Conference on Artificial Intelligence 2012: 254-265 - [c79]Satya Gautam Vadlamudi, Partha Pratim Chakrabarti, Sudeshna Sarkar:
Anytime Algorithms for Mining Groups with Maximum Coverage. AusDM 2012: 209-220 - [c78]Vishal Shrivastav, Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha:
Finding Critical Components in Embedded Control Systems Sensitive to Quality-Faults. ISED 2012: 167-171 - [c77]Sudip Roy, Partha Pratim Chakrabarti, Bhargab B. Bhattacharya:
Algorithms for On-Chip Solution Preparation Using Digital Microfluidic Biochips. ISVLSI 2012: 7-8 - [c76]Priyankar Ghosh, P. P. Chakrabarti, Pallab Dasgupta:
Execution Ordering in AND/OR Graphs with Failure Probabilities. SOCS 2012: 41-48 - [c75]Sathyam K. Pattanam, P. P. Chakrabarti, Mahesh Mahendale, Srikanth Jadcherla, Seer Akademi, Vikas Gautham, Raju Bala Showry Pudota:
Panel Discussion: SoC Realization - A Bridge to New Horizons or a Bridge to Nowhere? VLSI Design 2012: 38 - 2011
- [j68]Arnab Sarkar, A. Shanker, Sujoy Ghose, P. P. Chakrabarti:
A Low-Overhead Partition-Oriented ERfair Scheduler for Hard Real-Time Embedded Systems. IEEE Embed. Syst. Lett. 3(1): 5-8 (2011) - [j67]Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti:
Sticky-ERfair: a task-processor affinity aware proportional fair scheduler. Real Time Syst. 47(4): 356-377 (2011) - [j66]Arnab Sarkar, Sujoy Ghose, P. P. Chakrabarti:
A Corrigendum to: "Sticky-ERfair: a task-processor affinity aware proportional fair scheduler". Real Time Syst. 47(4): 382-385 (2011) - [j65]Satya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti:
$\hbox {MAWA}^{\ast }$ - A Memory-Bounded Anytime Heuristic-Search Algorithm. IEEE Trans. Syst. Man Cybern. Part B 41(3): 725-735 (2011) - [c74]Satya Gautam Vadlamudi, P. P. Chakrabarti, Dipankar Das, Purnendu Sinha:
A framework for early stage quality-fault tolerance analysis of embedded control systems. DSN 2011: 315-322 - [c73]Dipankar Das, P. P. Chakrabarti, Purnendu Sinha:
Robust embedded software design through early analysis of quality faults. ISEC 2011: 31-40 - [c72]Sudip Roy, Bhargab B. Bhattacharya, Partha Pratim Chakrabarti, Krishnendu Chakrabarty:
Layout-Aware Solution Preparation for Biochemical Analysis on a Digital Microfluidic Biochip. VLSI Design 2011: 171-176 - 2010
- [j64]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Heuristic search under contract. Comput. Intell. 26(4): 386-419 (2010) - [j63]Arnab Sarkar, P. P. Chakrabarti, Sujoy Ghose:
Partition oriented frame based fair scheduler. J. Parallel Distributed Comput. 70(7): 707-718 (2010) - [j62]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Bounded delay timing analysis and power estimation using SAT. Microelectron. J. 41(5): 317-324 (2010) - [j61]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Thermal analysis of multiprocessor SoC applications by simulation and verification. ACM Trans. Design Autom. Electr. Syst. 15(2): 15:1-15:52 (2010) - [c71]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Contract Search: Heuristic Search under Node Expansion Constraints. ECAI 2010: 733-738 - [c70]Sandip Aine, P. P. Chakrabarti:
An analysis of breadth-first beam search using uniform cost trees. ISAIM 2010 - [c69]Arnab Sarkar, Rahul Nanda, Sujoy Ghose, P. P. Chakrabarti:
Safe-ERfair. VLSI Design 2010: 128-133 - [c68]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Coverage Management with Inline Assertions and Formal Test Points. VLSI Design 2010: 140-145 - [c67]Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta:
Accelerating Synchronous Sequential Circuits Using an Adaptive Clock. VLSI Design 2010: 176-181
2000 – 2009
- 2009
- [j60]Sandip Aine, Rajeev Kumar, P. P. Chakrabarti:
Adaptive parameter control of evolutionary algorithms to improve quality-time trade-off. Appl. Soft Comput. 9(2): 527-540 (2009) - [j59]Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti:
Design intent coverage revisited. ACM Trans. Design Autom. Electr. Syst. 14(1): 9:1-9:32 (2009) - [j58]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Scenario-based timing verification of multiprocessor embedded applications. ACM Trans. Design Autom. Electr. Syst. 14(3): 37:1-37:58 (2009) - [c66]Arnab Sarkar, Sarthak Swaroop, Sujoy Ghose, Partha Pratim Chakrabarti:
ERfair Scheduler with Processor Shutdown. HiPC 2009: 4-12 - [c65]Partha Pratim Chakrabarti, Sandip Aine:
New Approaches to Design and Control of Time Limited Search Algorithms. PReMI 2009: 1-6 - [c64]Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti:
Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design 2009: 71-76 - 2008
- [j57]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Auxiliary state machines + context-triggered properties in verification. ACM Trans. Design Autom. Electr. Syst. 13(4): 62:1-62:31 (2008) - [j56]Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar:
Simulation-based verification using Temporally Attributed Boolean Logic. ACM Trans. Design Autom. Electr. Syst. 13(4): 63:1-63:52 (2008) - [j55]Pravanjan Choudhury, Rajeev Kumar, P. P. Chakrabarti:
Hybrid Scheduling of Dynamic Task Graphs with Selective Duplication for Multiprocessors under Memory and Time Constraints. IEEE Trans. Parallel Distributed Syst. 19(7): 967-980 (2008) - [j54]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Satisfiability Models for Maximum Transition Power. IEEE Trans. Very Large Scale Integr. Syst. 16(8): 941-951 (2008) - [c63]Ansuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan:
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs. ATVA 2008: 222-227 - [c62]Partha Pratim Chakrabarti:
Approaches to Design Intent Verification. ICIIS 2008: 1 - [c61]Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan:
Cohesive Coverage Management for Simulation and Formal Property Verification. ISVLSI 2008: 251-256 - 2007
- [j53]Arijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta:
Statistical static timing analysis using symbolic event propagation. IET Circuits Devices Syst. 1(4): 283-291 (2007) - [j52]Bhaskar Pal, Arnab Sinha, Pallab Dasgupta, P. P. Chakrabarti, Kaushik De:
Hardware accelerated constrained random test generation. IET Comput. Digit. Tech. 1(4): 423-433 (2007) - [j51]Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
BUSpec: A framework for generation of verification aids for standard bus protocol specifications. Integr. 40(3): 285-304 (2007) - [j50]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
An Automated Meta-Level Control Framework for Optimizing the Quality-Time Tradeoff of VLSI Algorithms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(11): 1992-2008 (2007) - [j49]Abhishek Somani, P. P. Chakrabarti, Amit Patra:
An Evolutionary Algorithm-Based Approach to Automated Design of Analog and RF Circuits Using Adaptive Normalized Cost Functions. IEEE Trans. Evol. Comput. 11(3): 336-353 (2007) - [j48]Tathagato Rai Dastidar, P. P. Chakrabarti:
A verification system for transient response of analog circuits. ACM Trans. Design Autom. Electr. Syst. 12(3): 31:1-31:39 (2007) - [j47]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Event propagation for accurate circuit delay calculation using SAT. ACM Trans. Design Autom. Electr. Syst. 12(3): 36:1-36:23 (2007) - [j46]Dipankar Das, P. P. Chakrabarti, Rajeev Kumar:
Functional verification of task partitioning for multiprocessor embedded systems. ACM Trans. Design Autom. Electr. Syst. 12(4): 44 (2007) - [c60]Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta:
Timing Analysis of Sequential Circuits Using Symbolic Event Propagation. ICCTA 2007: 151-157 - [c59]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
AWA* - A Window Constrained Anytime Heuristic Search Algorithm. IJCAI 2007: 2250-2255 - [c58]Subrat Kumar Panda, Arnab Roy, P. P. Chakrabarti, Rajeev Kumar:
Simulation Based Verification using Temporally Attributed Boolean Logic. VLSI Design 2007: 57-62 - [c57]Pravanjan Choudhury, P. P. Chakrabarti, Rajeev Kumar:
Online Dynamic Voltage Scaling using Task Graph Mapping Analysis for Multiprocessors. VLSI Design 2007: 89-94 - [c56]Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti:
A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. VLSI Design 2007: 95-102 - [c55]Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta:
Bounded Delay Timing Analysis Using Boolean Satisfiability. VLSI Design 2007: 295-302 - 2006
- [j45]Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar:
Frame-Based Proportional Round-Robin. IEEE Trans. Computers 55(9): 1121-1129 (2006) - [j44]Arijit Mondal, P. P. Chakrabarti:
Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(9): 1793-1814 (2006) - [j43]Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni:
Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(10): 1922-1934 (2006) - [c54]Dipankar Das, Rajeev Kumar, P. P. Chakrabarti:
Timing Verification of UML Activity Diagram Based Code Block Level Models for Real Time Multiprocessor System-on-Chip Applications. APSEC 2006: 199-208 - [c53]Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti:
Discovering the input assumptions in specification refinement coverage. ASP-DAC 2006: 13-18 - [c52]Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti:
Synthesis of system verilog assertions. DATE Designers' Forum 2006: 70-75 - [c51]Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti:
What lies between design intent coverage and model checking? DATE 2006: 1217-1222 - [c50]Rajeev Kumar, Rahul Chaudhry, Dipankar Das, Vibha Rathi, Subrat Kumar Panda, P. P. Chakrabarti:
SystemC Modeling and Validation of A RISC Processor System. FDL 2006: 189-197 - [c49]Abhishek Somani, P. P. Chakrabarti, Amit Patra:
A model-based hybrid evolutionary algorithm for fast yield-inclusive design space exploration of analog circuits. ISCAS 2006 - [c48]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Formal methods for checking realizability of coalitions in 3-party systems. MEMOCODE 2006: 198 - [c47]Diganchal Chakraborty, P. P. Chakrabarti, Arijit Mondal, Pallab Dasgupta:
A Framework for Estimating Peak Power in Gate-Level Circuits. PATMOS 2006: 573-582 - [c46]Samik Das, P. P. Chakrabarti, Pallab Dasgupta:
Instruction-Set-Extension Exploration Using Decomposable Heuristic Search. VLSI Design 2006: 293-298 - [c45]Arnab Sarkar, P. P. Chakrabarti, Rajeev Kumar:
Frame Based Fair Multiprocessor Scheduler: A Fast Fair Algorithm for Real-Time Embedded Systems. VLSI Design 2006: 677-682 - [c44]Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Improving the Performance of CAD Optimization Algorithms Using On-Line Meta-Level Control. VLSI Design 2006: 683-688 - 2005
- [j42]Rajeev Kumar, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti:
Post-compilation optimization for multiple gains with pattern matching. ACM SIGPLAN Notices 40(12): 14-23 (2005) - [j41]Tathagato Rai Dastidar, P. P. Chakrabarti, Partha Ray:
A synthesis system for analog circuits based on evolutionary search and topological reuse. IEEE Trans. Evol. Comput. 9(2): 211-224 (2005) - [j40]Arnab Roy, Subrat Kumar Panda, Rajeev Kumar, P. P. Chakrabarti:
A framework for systematic validation and debugging of pipeline simulators. ACM Trans. Design Autom. Electr. Syst. 10(3): 462-491 (2005) - [c43]Sandip Aine, Rajeev Kumar, P. P. Chakrabarti:
An Adaptive Framework for Solving Multiple Hard Problems Under Time Constraints. CIS (1) 2005: 57-64 - [c42]Abhishek Somani, Partha Pratim Chakrabarti, Amit Patra:
Mixing Global and Local Competition in Genetic Optimization based Design Space Exploration of Analog Circuits. DATE 2005: 1064-1069 - [c41]Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti:
Multiobjective EA Approach for Improved Quality of Solutions for Spanning Tree Problem. EMO 2005: 811-825 - [c40]Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti:
SAT based solutions for consistency problems in formal property specifications for open systems. ICCAD 2005: 885-888 - [c39]Sandip Aine, Rajeev Kumar, P. P. Chakrabarti:
Adaptive Control of Anytime Algorithm Parameters. IICAI 2005: 72-87 - [c38]Tathagato Rai Dastidar, P. P. Chakrabarti:
A Verification System for Transient Response of Analog Circuits Using Model Checking. VLSI Design 2005: 195-200 - [c37]Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix:
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design 2005: 201-206 - [c36]Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti:
Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. VLSI Design 2005: 213-218 - [c35]Abhishek Somani, P. P. Chakrabarti, Amit Patra:
A Hierarchical Cost Tree Mutation Approach to Optimization of Analog Circuits. VLSI Design 2005: 535-538 - [c34]Dipankar Das, Rajeev Kumar, P. P. Chakrabarti:
Dictionary Based Code Compression for Variable Length Instruction Encodings. VLSI Design 2005: 545-550 - 2004
- [j39]Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti:
The power of first-order quantification over states in branching and linear time temporal logics. Inf. Process. Lett. 91(5): 201-210 (2004) - [c33]Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix:
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? DATE 2004: 668-669 - [c32]Arijit Mondal, P. P. Chakrabarti, Chittaranjan A. Mandal:
A New Approach to Timing Analysis Using Event Propagation and Temporal Logic. DATE 2004: 1198-1203 - [c31]Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti:
Improved Quality of Solutions for Multiobjective Spanning Tree Problem Using Distributed Evolutionary Algorithm. HiPC 2004: 494-503 - [c30]Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni:
Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD 2004: 198-203 - [c29]Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti:
Multiobjective Genetic Search for Spanning Tree Problem. ICONIP 2004: 218-223 - [c28]Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti:
Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. IWDC 2004: 102-113 - [c27]Rajeev Kumar, Pramod Kumar Singh, P. P. Chakrabarti:
Distributed Evolutionary Algorithm Search for Multiobjective Spanning Tree Problem. IWDC 2004: 538 - [c26]Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
The BUSpec platform for automated generation of verification aids for standard bus protocols. MEMOCODE 2004: 119-128 - [c25]Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti:
Formal Verification of Modules under Real Time Environment Constraints. VLSI Design 2004: 103-108 - [c24]Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan:
Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. VLSI Design 2004: 109-114 - 2003
- [j38]Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti:
A Branching Time Temporal Framework for Quantitative Reasoning. J. Autom. Reason. 30(2): 205-232 (2003) - [c23]Ansuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti:
Open computation tree logic with fairness. ISCAS (5) 2003: 249-252 - 2002
- [j37]Anindya C. Patthak, Indrajit Bhattacharya, Anirban Dasgupta, Pallab Dasgupta, P. P. Chakrabarti:
Quantified Computation Tree Logic. Inf. Process. Lett. 82(3): 123-129 (2002) - [j36]Pallab Dasgupta, P. P. Chakrabarti, Arnab Dey, Sujoy Ghose, Wolfgang Bibel:
Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques. IEEE Trans. Knowl. Data Eng. 14(2): 353-368 (2002) - [c22]Arindam Chakrabarti, Pallab Dasgupta, P. P. Chakrabarti, Ansuman Banerjee:
Formal verification of module interfaces against real time specifications. DAC 2002: 141-145 - [c21]Bipin Rajendran, Veerbhan Kheterpal, Abhishek Das, Jayanta Majumder, Chittaranjan A. Mandal, P. P. Chakrabarti:
Timing analysis of tree-like RLC circuits. ISCAS (4) 2002: 838-841 - [c20]Pallab Dasgupta, Arindam Chakrabarti, P. P. Chakrabarti:
Open Computation Tree Logic for Formal Verification of Modules. ASP-DAC/VLSI Design 2002: 735-740 - 2001
- [j35]Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan:
Min-max Computation Tree Logic. Artif. Intell. 127(1): 137-162 (2001) - [c19]Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti:
Abstraction of word-level linear arithmetic functions from bit-level component descriptions. DATE 2001: 4-8 - [c18]S. Sriram, R. Tandon, Pallab Dasgupta, P. P. Chakrabarti:
Symbolic verification of Boolean constraints over partially specified functions. ISCAS (5) 2001: 113-116 - [c17]Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti:
Abstractions for model checking of event timings. ISCAS (5) 2001: 125-128 - 2000
- [j34]S. A. Hussain, P. P. Chakrabarti, V. U. K. Sastry:
Solving multiple processor and multiple resource constrained scheduling problems using a genetic algorithm approach. Int. J. Comput. Math. 75(1): 21-40 (2000) - [j33]Pallab Dasgupta, Jatindra Kumar Deka, Partha Pratim Chakrabarti:
Model checking on timed-event structures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(5): 601-611 (2000) - [j32]Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose:
GABIND: a GA approach to allocation and binding for the high-level synthesis of data paths. IEEE Trans. Very Large Scale Integr. Syst. 8(6): 747-750 (2000)
1990 – 1999
- 1999
- [b1]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
Multiobjective heuristic search - an introduction to intelligent search methods for multicriteria optimization. Computational intelligence, Vieweg 1999, ISBN 978-3-528-05708-4, pp. 1-134 - [j31]P. P. Chakrabarti:
Partial Precedence Constrained Scheduling. IEEE Trans. Computers 48(10): 1127-1130 (1999) - [j30]Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose:
A design space exploration scheme for data-path synthesis. IEEE Trans. Very Large Scale Integr. Syst. 7(3): 331-338 (1999) - [c16]Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose:
Controlling State Explosion in Static Simulation by Selective Composition. VLSI Design 1999: 226-231 - [c15]Jatindra Kumar Deka, Pallab Dasgupta, P. P. Chakrabarti:
An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays. VLSI Design 1999: 294-299 - [c14]Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti:
Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. VLSI Design 1999: 324- - 1998
- [j29]Sudeshna Sarkar, P. P. Chakrabarti, Sujoy Ghose:
A Framework for Learning in Search-Based Systems. IEEE Trans. Knowl. Data Eng. 10(4): 563-575 (1998) - [j28]Sudeshna Sarkar, P. P. Chakrabarti, Sujoy Ghose:
Learning while solving problems in best first search. IEEE Trans. Syst. Man Cybern. Part A 28(4): 535-541 (1998) - [j27]Chittaranjan A. Mandal, Partha Pratim Chakrabarti, Sujoy Ghose:
Complexity of Scheduling in High Level Synthesis. VLSI Design 7(4): 337-346 (1998) - 1997
- [c13]Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose:
Design Space Exploration for Data Path Synthesis. VLSI Design 1997: 166-173 - 1996
- [j26]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
Searching Game Trees under a Partial Order. Artif. Intell. 82(1-2): 237-257 (1996) - [j25]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
Searching Game Trees under a Partial Order. J. Int. Comput. Games Assoc. 19(2): 101 (1996) - [j24]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
Agent Search in Uniform b-Ary Trees: Multiple Goals and Unequal Costs. Inf. Process. Lett. 58(6): 311-318 (1996) - [j23]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
Multiobjektive Heuristic Search in AND/OR Graphs. J. Algorithms 20(2): 282-311 (1996) - [j22]Chunduri Rama Mohan, Partha Pratim Chakrabarti:
EARTH: combined state assignment of PLA-based FSM's targeting area and testability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(7): 727-731 (1996) - [c12]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
A New Competitive Algorithm for Agent Searching in Unknown Streets. FSTTCS 1996: 147-155 - [c11]Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose:
Allocation and Binding in Data Path Synthesis Using a Genetic Algorithm Approach. VLSI Design 1996: 122-125 - 1995
- [j21]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
A Correction to "Agent Searching in a Tree and the Optimality of Iterative Deepening". Artif. Intell. 77(1): 173-176 (1995) - [j20]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
Utility of Pathmax in Partial Order Heuristic Search. Inf. Process. Lett. 55(6): 317-322 (1995) - [c10]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
A Near Optimal Algorithm for the Extended Cow-Path Problem in the Presence of Relative Errors. FSTTCS 1995: 22-36 - [c9]Chunduri Rama Mohan, Partha Pratim Chakrabarti:
Combined optimization of area and testability during state assignment of PLA-based FSM's. VLSI Design 1995: 408-413 - 1994
- [j19]P. P. Chakrabarti:
Algorithms for Searching Explicit AND/OR Graphs and their Applications to Problem Reduction Search. Artif. Intell. 65(2): 329-345 (1994) - [j18]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
Agent Searching in a Tree and the Optimality of Iterative Deepening. Artif. Intell. 71(1): 195-208 (1994) - [j17]Pallab Dasgupta, P. P. Chakrabarti, S. C. De Sarkar:
Agent Searching in a Tree and the Optimality of Iterative Deepening. J. Int. Comput. Games Assoc. 17(4): 222 (1994) - [j16]U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Improving Greedy Algorithms by Lookahead-Search. J. Algorithms 16(1): 1-23 (1994) - [c8]Chunduri Rama Mohan, Partha Pratim Chakrabarti:
A new approach for factorizing FSM's. ICCAD 1994: 698-701 - [c7]Chunduri Rama Mohan, Partha Pratim Chakrabarti:
A New Approach to Synthesis of PLA-Based FSM's. VLSI Design 1994: 373-378 - [c6]Pallab Dasgupta, Prasenjit Mitra, P. P. Chakrabarti, S. C. De Sarkar:
Multiobjective Search in VLSI Design. VLSI Design 1994: 395-400 - 1993
- [c5]Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose:
Combining State Assignment with PLA Folding. VLSI Design 1993: 9-14 - 1992
- [j15]Prabir K. Biswas, Jayanta Mukherjee, B. N. Chatterji, Partha Pratim Chakrabarti:
Qualitative Description of Three-Dimensional Scenes. Int. J. Pattern Recognit. Artif. Intell. 6(4): 651-672 (1992) - [j14]U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Effective Use of Memory in Iterative Deepening Search. Inf. Process. Lett. 42(1): 47-52 (1992) - [j13]U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
A Simple 0.5-Bounded Greedy Algorithm for the 0/1 Knapsack Problem. Inf. Process. Lett. 42(3): 173-177 (1992) - [j12]P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Generalized best first search using single and multiple heuristics. Inf. Sci. 60(1-2): 145-175 (1992) - [j11]P. P. Chakrabarti, Sujoy Ghose:
A General Best First Search Algorithm in AND/OR Graphs. J. Algorithms 13(2): 177-187 (1992) - [j10]Chittaranjan A. Mandal, P. P. Chakrabarti, Sujoy Ghose:
Register-interconnect optimization in data path synthesis. Microprocess. Microprogramming 33(5): 279-288 (1992) - [c4]Chittaranjan A. Mandal, Partha Pratim Chakrabarti, Sujoy Ghose:
Interconnect Optimization Techniques in Data Path Synthesis. VLSI Design 1992: 85-90 - [c3]Chunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose:
A New algorithm for combined PLA folding. VLSI Design 1992: 368-369 - 1991
- [j9]U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Reducing Reexpansions in Iterative-Deepening Search by Controlling Cutoff Bounds. Artif. Intell. 50(2): 207-221 (1991) - [j8]U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Multiple Stack Branch and Bound. Inf. Process. Lett. 37(1): 43-48 (1991)
1980 – 1989
- 1989
- [j7]P. P. Chakrabarti, Sujoy Ghose, Arup Acharya, S. C. De Sarkar:
Heuristic Search in Restricted Memory. Artif. Intell. 41(2): 197-221 (1989) - [j6]P. P. Chakrabarti, Sujoy Ghose, A. Pandey, S. C. De Sarkar:
Increasing Search Efficiency Using Multiple Heuristics. Inf. Process. Lett. 30(1): 33-36 (1989) - [j5]P. P. Chakrabarti, Sujoy Ghose, A. Pandey, S. C. De Sarkar:
Increasing Search Efficiency Using Multiple Heuristics. Inf. Process. Lett. 32(5): 275 (1989) - [c2]U. K. Sarkar, P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Pruning by Upperbounds in Heuristic Search: Use of Approximate Algorithms. KBCS 1989: 451-461 - 1988
- [c1]P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Best first search in and/or graphs. ACM Conference on Computer Science 1988: 256-261 - 1987
- [j4]P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Admissibility of A0* when Heuristics Overestimate. Artif. Intell. 34(1): 97-113 (1987) - [j3]Partha Pratim Das, P. P. Chakrabarti, Biswanath N. Chatterji:
Generalized distances in digital geometry. Inf. Sci. 42(1): 51-67 (1987) - [j2]Partha Pratim Das, P. P. Chakrabarti, Biswanath N. Chatterji:
Distance functions in digital geometry. Inf. Sci. 42(2): 113-136 (1987) - 1986
- [j1]P. P. Chakrabarti, Sujoy Ghose, S. C. De Sarkar:
Heuristic Search Through Islands. Artif. Intell. 29(3): 339-347 (1986)
Coauthor Index
[c105] [i15] [c101] [i6] [j82] [c93] [i3] [c91] [i1] [j76] [c90] [c87] [c85] [j74] [j73] [j72] [j71] [j70] [c81] [c76] [j62] [c68] [c67] [j59] [c64] [j57] [j54] [c63] [c61] [j53] [j52] [j51] [j47] [c60] [c56] [c55] [j43] [c53] [c52] [c51] [c48] [c47] [c46] [c40] [c37] [c36] [j39] [c33] [c30] [c28] [c26] [c25] [c24] [j38] [c23] [j37] [j36] [c22] [c20] [j35] [c19] [c18] [c17] [j33] [b1] [c16] [c15] [c14] [j26] [j25] [j24] [j23] [c12] [j21] [j20] [c10] [j18] [j17] [c6]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-15 21:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
