Partha P Chakrabarti
Dept. of Comp. Sc. & Engg., IIT Kharagpur, India.
Biodata | Recognitions | Projects Ongoing | Projects Done | Research Group | Publications | Contact

List of Publications

 

Books/Monographs

  1. Dasgupta, P., Chakrabarti, P.P., De Sarkar, S.C., "Multiobjective Heuristic Search", Vieweg, Bertelsmann Professional International, Germany, 1999 (ISBN 3-52805-708-4).

Journal Paper

  1. A. Banerjee, P. Dasgupta, P.P. Chakrabarti. "Open Computation Tree Logic With Fairness.", To appear in Proc. of IEEEInternational Symposium on Circuits and Systems (ISCAS) 2003, Bangkok 2003.
  2. A. Chakrabarti, P. Dasgupta, P.P. Chakrabarti,A.Banerjee."Formal Verification of Module Interfaces against Real Time Specifications." In Proc. Of Design Automation Conference (DAC) 2002, New Orleans, 2002.
  3. Dasgupta,P., Chakrabarti,P.P., Deka, J.K., Shankarnarayanan, S. "Min-Max Computation Tree Logic", Artificial Intelligence, 127(1), pp 137 - 162 (2001).
  4. Dasgupta,P., Chakrabarti, P.P., Dey, A., Ghose, S and Bibel, W. "Solving Constraint Optimization Problems from CLP-Style Specifications using Heuristic Search Techniques", IEEE Transactions on Knowledge Data Engineering (to appear).
  5. Mandal, C. A., Chakrabarti, P. P., Ghose, S. "GABIND: A Genetic Algorithm Approach to Allocation and Binding for the High-Level Synthesis of Data Paths", IEEE Transactions on VLSI System Design, 8(6), pp 747 - 750, (2000).
  6. Dasgupta, P., Deka, J. K., Chakrabarti, P.P. "Model Checking of Timed Event Structures", IEEE Transactions on Computer-Aided Design, 19(5) May 2000 pp 601 - 611.
  7. Hussain, S.A., Chakrabarti, P.P. and Sastry, V.U.K. "Solving Multiple Processor and Multiple Resource Constrained Scheduling Problems using a Genetic Algorithm Approach", Int. Journal. on Computer Mathematics (to appear, 2000).
  8. Patthak, A.C, Bhattacharyya, I., Dasgupta, A., Dasgupta, P., Chakrabarti, P.P. "Quantified Computation Tree Logic", Information Processing Letters (to appear).
  9. Chakrabarti, P.P. "Partial Precedence Constrained Scheduling", IEEE Transactions on Computers, 48 (10), 1999, pp 1127 - 1130.
  10. Mandal,C.A., Chakrabarti,P.P. and Ghose,S. "A Design Space Exploration Scheme for Datapath Synthesis", IEEE Transactions in VLSI Systems, 7(3), 1999 pp 331-338.
  11. Sarkar, Sudeshna, Chakrabarti, P.P. and Ghose, Sujoy. "Learning While Solving Problems in Best First Search.'' IEEE Transactions of Systems, Man & Cybernetics, Part A, Vol. 28, No. 4, July 1998, pp. 535--542.
  12. Sarkar, Sudeshna, Chakrabarti, P.P. and Ghose, Sujoy. "A Framework and Algorithms for Learning in Search Based Systems'', IEEE Trans. on Knowledge \& Data Engineering, Vol. 10, No. 4, July/August 1998, pp 563 - 575.
  13. Mandal,C.A., Chakrabarti,P.P. and Ghose, S. "Complexity of Fragmentable Object Bin Packing and an Application" , in Journal of Computer and Mathematics with Applications, vol 35(11) pp 91 - 97, 1998.
  14. Mandal,C.A., Chakrabarti,P.P. and Ghose,S. "Complexity of Scheduling in High Level Synthesis", VLSI Design Journal, vol 7, No. 4, pp 337-346, 1998.
  15. Mandal,C.A., Chakrabarti,P.P. and Ghose,S. "Some New Results in the Complexity of Allocation Subproblems in Datapath Synthesis", International Journal of Computer Mathematics with Applications, vol 35 (10), pp 93 - 105, 1998.
  16. Mandal,C.A., Chakrabarti,P.P. and Ghose, S. "A Probabilistic Estimator for the Vertex Deletion Problem" , Journal of Computers and Mathematics with Applications , 35,6 , pp 1-4 (1998).
  17. Rama Mohan, C., and Chakrabarti,P.P. Factorising FSM's with Modify and Restore Method" IEEE Transactions on Circuits & Systems, Part II 44,5 (1997), pp 371 - 377.
  18. Dasgupta, P., Chakrabarti,P.P. and De Sarkar, S.C., "A new competitive algorithm for agent Searching in unknown streets", Lecture Notes in Computer Science vol 1180, pp 147 - 155, FST & TCS, 1996.
  19. Vinod,V.V., Ghose,S and Chakrabarti,P.P. "Resultant Projection Neural Networks for Optimization Under Inequality Constraints ", IEEE Transactions On Systems, Man and Cybernetics 26, 4 (1996) pp 509 - 521.
  20. Dasgupta,P., Chakrabarti,P.P. and De Sarkar, S.C. "Searching Game Trees under a Partial order" Artificial Intelligence 82 (1996) pp 237 - 257.
  21. Dasgupta,P., Chakrabarti,P.P. and De Sarkar, S.C. "Multiobjective Heuristic Search in AND/OR Graphs" Journal of Algorithms 20, (1996) pp 282 - 311.
  22. Dasgupta,P., Chakrabarti,P.P. and De Sarkar,S.C. "Heuristic Search Strategies for Multiobjective State Space Search", Sadhana, Spl. Issue on Intelligent Systems, 21, 3 (1996) pp 263 - 290.
  23. Sarkar,S., Ghose,S. and Chakrabarti,P.P. "Learning for Efficient Search", Sadhana, Spl. Issue on Intelligent Systems, 21, 3 (1996) pp 291 - 315.
  24. Dasgupta,P., Chakrabarti,P.P. and De Sarkar, S.C."Agent Searching in uniform b-ary trees: Multiple Goals and Unequal Costs", Information Processing Letters, 58, (1996) pp 311 - 318.
  25. Rama Mohan, C., and Chakrabarti,P.P. "EARTH: Combined State Assginment of PLA-based FSM's Targeting Area and Testability", IEEE Transactions on Computer Aided Design, 15, 7 (1996), pp 727 - 731.
  26. Dasgupta,P., Chakrabarti,P.P. and De Sarkar,S.C. "Utility of Pathmax in Partial Order Heuristic Search" Information Processing Letters 55(1995) 317-322.
  27. Dasgupta,P., Chakrabarti,P.P. and De Sarkar, S.C. "A Correction to Agent Searching in a Tree and the optimality of Iterative deepening", Artificial Intelligence 77(1995) 173-176.
  28. Dasgupta, P., Chakrabarti,P.P. and De Sarkar, S.C., "A near optimal algorithm for the extended cow-path problem", Lecture Notes in Computer Science vol 1026, pp 22 - 36 FST & TCS ,1995.
  29. Chakrabarti, P.P. "Algorithms for searching explicit AND/OR graphs and their applications to problem reduction search", Artificial Intelligence 65 (1994), pp 329 - 345.
  30. Sarkar, U.K., Chakrabarti,P.P., Ghose,S. and De Sarkar,S.C., "Improving Greedy Algorithms by Lookahead Search", Journal of Algorithms, 16,(1994), pp 1 - 23.
  31. Dasgupta,P., Chakrabarti,P.P. and De Sarkar, S.C. "Agent Searching in a Tree and the optimality of Iterative deepening", Artificial Intelligence 71(1994) 195 - 208.
  32. Chakrabarti, P.P. "Heuristic Search", Physics News, 1992.
  33. Sarkar,U.K., Chakrabarti,P.P., Ghose,S. and DeSarkar,S.C. "The Effective use of Memory in Iterative Deepening Search", Information Processing Letters, 42(1992), pp 47 - 52.
  34. Sarkar,U.K., Chakrabarti,P.P., Ghose,S. and DeSarkar,S.C. " A simple 0.5-bounded greedy algorithm for the 0/1 knapsack problem", Information Processing Letters, 42(1992), pp 173-177.
  35. Gupta,P., Chakrabarti,P.P. and Ghose,S. "The Towers of Hanoi: Generalizations, Specializations and Algorithms", Int. Journal of Computer Math., 46 (1992) p 149 - 161.
  36. Biswas,P.K., Mukherjee,J., Chatterjee, B.N. and Chakrabarti, P.P. " Qualitative Description of Three-dimensional scenes", Int. Journal of Pattern Recognition and Artificial Intelligence, 6 (1992) 651 - 672.
  37. Chakrabarti,P.P. and Ghose,S. "A generalised AND/OR graph search algorithm", Journal of Algorithms, 13(1992), pp 177 - 187.
  38. Chakrabarti,P.P., Ghose,S. and DeSarkar,S.C. "Generalised best first search using single and multiple heuristics", Information Sciences, 60(1-2), pp 145-175, 1992.
  39. Mandal,C.A., Chakrabarti,P.P. and Ghose,S. "Register-interconnect optimization in data path synthesis", Microprocessing and Microprogramming, 33 (1991/2) 279 - 288.
  40. Sarkar,U.K., Chakrabarti,P.P., Ghose,S. and De Sarkar, S.C. "Multiple stack branch and bound" Information Processing Letters, 37 , 1991, pp 43 - 48.
  41. Mandal,C.A., Chakrabarti,P.P. and Ghose,S. "Allocation of registers to multiport memories based on register-interconnect optimisation", Modelling and Simulation, 25(4), 1991, pp 57 - 64.
  42. Sarkar,U.K., Chakrabarti,P.P., Ghose,S. and De Sarkar, S.C. Reducing reexpansions in iterative-deepening search by controlling cutoff bounds" Artificial Intelligence. 50(1991) pp 207 - 221.
  43. Das,P.P., Chakrabarti,P.P. and Chatterjee,B.N, "The t-Cost-m-Neighbour Distance in Digital Geometry", Journal of Geometry, 42(1991), pp 42 - 58.
  44. 42. Chakrabarti,P.P., Ghose,S. and Bakre,A. "Automatic Generation of Programs from recursive definitions for combinatorial problems", Vivek, 3(4), 1990, pp 3 - 15.
  45. Chakrabarti,P.P., Ghose,S., Acharya A. and DeSarkar,S.C. "Heuristic search in restricted memory", Artif. Intell. 41 (1989/90) pp 197 - 221.
  46. Chakrabarti,P.P., Ghose,S. and DeSarkar,S.C. "Admissibility of AO* when heuristics overestimate", Artif. Intell. , 34(1988), pp. 97 - 113.
  47. Chakrabarti,P.P., Ghose,S. Pandey,A. and DeSarkar,S.C. "Increasing search efficiency using multiple heuristics", Information Processing Letters 30(1989), pp 33 - 36.
  48. Ghose,S. and Chakrabarti,P.P " An architecture for an intelligent software environment for policy design in System Dynamics models", System Dynamics : an International Journal of Policy Modelling, 2(2), 1989, pp 1 - 8.
  49. Ghose,S. and Chakrabarti,P.P. "IODYS - A Prototype Software for Computer Aided Policy Design", System Dynamics : an International Journal of Policy Modelling, 2(2), 1989, pp 9- 26.
  50. Das,P.P., Chakrabarti,P.P., and Chatterjee,B.N. "Generalised Distance in Digital Geometry", Information Sciences, 42 (1987), pp. 51 - 67.
  51. Das,P.P., Chakrabarti,P.P. and Chatterjee, B.N. "Distance Functions in Digital Geometry", Information Sciences, 42 (1987) pp 113 - 136.
  52. Chakrabarti,P.P., Ghose,S. and DeSarkar,S.C. "Heuristic search through islands", Artif. Intell., 29(1986), pp.339 - 347.

Conference Papers

  1. Chatterjee, K. Dasgupta, P. Chakrabarti, P.P., "Weighted Quantified Computation Tree Logic" to appear CIT 2001, December 2001.
  2. Chakrabarti,A., Dasgupta, P., Chakrabarti, P.P., "Open Computation Tree Logic", to appear Int Conf on VLSI Design, jan 2002.
  3. Sarkar, S., Chakrabarti, P.P., Neogi, R. "Specification of Planning Goals using Automata theoretic approaches, to appear CIT 2001, December 2001.
  4. Sriram, R. Tandon, Pallab Dasgupta, and P.P. Chakrabarti, Symbolic verification of boolean constraints over partially specified functions. In Proceedings of ISCAS 2001: IEEE Int. Symp. on Circuits and Systems, Sydney, Australia, 2001.
  5. J.K. Deka, S. Chaki, Pallab Dasgupta, and P.P. Chakrabarti, Abstractions for Model Checking of Event Timings. In Proceedings of ISCAS 2001: IEEE Int. Symp. on Circuits and Systems, Sydney, Australia, 2001.
  6. Dasgupta,P., Chakrabarti,P.P., Nandi,A., Krishna,S., Chakrabarti,A. "Abstraction of Word-level Linear Arithmetic Functions from Bit-level Component Descriptions", DATE 2001, Munich, March 2001.
  7. Patthak, A.C., Bhattacharyya, I., Dasgupta, A., Chakrabarti, P.P.,Dasgupta, P. "Verification of Concurrent Communicating Systems in Boolean SDL", Proceedings of the Conference on Intelligent Computing and VLSI, February 2001, pp 115 - 122, Kalyani, India.
  8. Deka, J.K., Dasgupta,P., Chakrabarti, P.P., "A Comparative Analysis of BDD-Based and Rule-Based Reachability Problems for Cellular Automata", ICCCD 2000, India, December 2000.
  9. Sarkar, S., Chakrabarti, P.P., Dasgupta, P., Niyogi, R., "Specification of Planning Goals in Branching Time Logics in Stochastic Systems", KBCS-2000, December 2000.
  10. Deka, J.K., Dasgupta, P. and Chakrabarti, P.P. "An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays", VLSI Design 99 12th International Conference on VLSI Design , Goa, Jan 1999.
  11. Chauhan,P., Dasgupta,P and Chakrabarti, P.P., "Exploiting Isomorphism for Compaction and faster Simulation of Binary Decision Diagrams", VLSI Design99 12th International Conference on VLSI Design , Goa, Jan 1999.
  12. Chakrabarti,P.P., Dasgupta, P., Das, P.P., Roy A., Lahiri, S. and Bose, M. "Controlling State Explosion in Static Simulation by Selective Composition", VLSI Design 99 12th International Conference on VLSI Design , Goa, Jan 1999.
  13. Chakrabarti, P.P., Singh A.K., and Rai,S. "IMIS: A Tool for Development of MIS for Internet/Intranet Environment", Tencon-98, 1998.
  14. Dasgupta, P., Chakrabarti, P.P., Ghose,S., Dey,A. and Bibel, W. "A Heuristic Search Approach to Effectively Solve Constrained Optimization Problems from Logical Specifications", KBCS-98, Mumbai 1998.
  15. Mandal, C.A., Chakrabarti,P.P. and Ghose ,S. "Design Space Exploration in High Level Synthesis" VLSI 97, 9th Inernational Conference on VLSI Design, Hyderabad, 1997.
  16. Sarkar,S., Chakrabarti,P.P. and Ghose,S., "Polynomial Time Lookahead Based Heuristic Search Algorithms", KBCS 96, Mumbai 1996.
  17. Mandal, C A, Chakrabarti,P.P. and Ghose,S "Allocation and Binding for Datapath Synthesis using a Genetic Approach", VLSI 96 9th International Conference on VLSI, Bangalore, 1996.
  18. Mandal, C.A., Chakrabarti,P.P. and Ghose ,S. "Port Assignment of dual and triple port memories using a genetic approach", APCHDL 96, Bangalore, 1996.
  19. Mandal, C. A., Chakrabarti, P. P., Ghose, S. "Allocation of Registers to Multi-port Memories Based on Register--Interconnect Optimization", Proceedings of ICAUTO International Conference- 1995, Indore, pp. 611-614, 1995.
  20. Rama Mohan,C. and Chakrabarti, P.P. "State Assignment for PLA-based FSM's targetting area and testability", VLSI 95, 8th International Conference on VLSI, New Delhi, 1995.
  21. Mandal,C.A., Chakrabarti,P P and Ghose,S "A Framework for High Level Synthesis", International Workshop on Artificial Intelligence, Calcutta, 1994.
  22. Dasgupta,P., Chakrabarti,P.P. and De Sarkar,S.C. "Multiobjective Heuristic Search Methods", International Workshop on Artificial Intelligence, Calcutta, 1994.
  23. Sarkar,S., Chakrabarti,P.P. and Ghose,S. "Learning to Solve Problems in Best-First Search", International Workshop on Artificial Intelligence, Calcutta, 1994.
  24. Sarkar,S., Chakrabarti,P.P. and Ghose,S. "Continuous Learning of the Distribution of Heuristic Estimates While Solving Problems", 4 th National Seminar on Theoretical Computer Science, Kanpur, 1994.
  25. Dasgupta,P., Chakrabarti,P.P. and De Sarkar,S.C. "Game Tree Search Under a Partial Order", 4th National Seminar on Theoretical Computer Science, Kanpur, 1994.
  26. Mandal,C.A., Chakrabarti,P.P. and Ghose,S. "Complexity of Scheduling Two Operation Chains and Some Other Related Problems" 4th National Seminar on Theoretical Computer Science, Kanpur, 1994.
  27. Rama Mohan,C. and Chakrabarti,P.P. "A New Approach for Factorizing FSM's", ICCAD 94 (ACM/IEEE International Conf on CAD), 1994.
  28. Rama Mohan,C and Chakrabarti,P.P. " A New Method for Synthesis of PLA Based FSM's" VLSI 94, International Conf. on VLSI Design 1994.
  29. Dasgupta, P., Chakrabarti,P.P. and De Sarkar,S.C."Multiobjective Search in VLSI Design", VLSI 94 International Conf. on VLSI Design 1994.
  30. Rama Mohan,C.,Chakrabarti, P.P., and Ghose,S "Combining PLA folding with state Assignment", Int. Conf. on VLSI Design 1993, Bombay.
  31. Sarkar, U.K., Chakrabarti,P.P., and Ghose,S. "Greedy Lookahead Search", 3rd National Seminar on Theor. CS, 1993.
  32. Sarkar, U.K., Chakrabarti,P.P., and Ghose,S. "Some New Results in Heuristic Search", 3rd National Seminar on Theor. CS, 1993.
  33. Dasgupta,P., and Chakrabarti,P.P. "Heuristic Search using Multiple Objectives", 3rd National Seminar on Theor. CS, 1993.
  34. Rama Mohan, C., Chakrabarti,P.P. and Ghose,S. "Multiple Output Function Realisation using Folded 3-level PLA's", International Computing Congress, Hyderabad 1993.
  35. Sarkar,S., Ghose,S and Chakrabarti,P.P. " A Learning System for Plane Geometry Problem Solving", International Computing Congress, Hyderabad, 1993.
  36. Sarkar,S., Chakrabarti,P.P. and Ghose,S, "Learning to Search Efficiently using Multiple Heuristic Functions", 3rd Symposium on Intelligent Systems, Bangalore, Nov, 1993.
  37. Mandal,C.A., Chakrabarti,P.P. and Ghose,S. "Interconnect Optimization Techniques in Data Path Synthesis", VLSI 92, Bangalore, Jan 1992.
  38. Rama Mohan,C., Chakrabarti,P.P. and Ghose,S. "A new algorithm for PLA folding", Int. Conf. on VLSI Design 1992, Bangalore, Jan 1992.
  39. Chakrabarti,P.P. "Artificial Intelligence Models", Indian Science Congress, Baroda, Jan 1992.
  40. Gupta,P., Chakrabarti,P.P. and Ghose,S "The Towers of Hanoi Revisited", Theoretical CS Conf., Madras, 1991.
  41. Sarkar,U.K, Chakrabarti,P.P., Ghose,S and De Sarkar,S.C. "Reducing the selection overhead in a best first search scheme", KBCS 90, Dec 1990, Pune, India.
  42. Chakrabarti, P.P. "Neural Networks -Review and Applications", National Seminar on Parallel Computer Systems and Applications", Oct. 1990, Calcutta, India.
  43. Vinod .V., Ghose,S. and Chakrabarti,P.P., "Learning the topology of a feedforward neural network from examples", KBCS 90, Dec 1990, Pune, India.
  44. Vinod,V.V., Ghose,S. and Chakrabarti,P.P., "Solving multidimensional knapsack problems using Neural networks", PARCOM 90, Dec 1990, Pune, India.
  45. Sarkar,U.K., Chakrabarti,P.P., Ghose,S. and DeSarkar,S.C. "Controlling Re-expansions in Iterative Deepening Search", in the Prof. A.K. Chaudhuri Commemoration Conference, Calcutta, Feb 1990.
  46. Sarkar,U.K., Chakrabarti,P.P., Ghose,S. and DeSarkar,S.C. "Pruning by upperbounds in heuristic search: use of approximate algorithms", in Knowledge Based Computer Systems, Narosa Publishing House , 1990, pp 451 - 461.
  47. Chakrabarti,P.P., Ghose,S. and DeSarkar,S.C. "Best first search in AND/OR graphs", 16th ACM Computer Science Conference ,Atlanta,USA, 1988 , pp. 256 - 261.
  48. Chakrabarti,P.P., Ghose,S., Acharya Arup and DeSarkar,S.C. "Tree searching in restricted memory", in Proc. of International Symp. on ELDECS, Kharagpur,India, 1987, pp.518 - 520.
  49. Ghose,S., Chakrabarti,P.P., Jain,S., Dubey,R.K. "Qualitative Optimization: an AI approach to policy design in System Dynamics", Proc of 2nd National Conf. on SD, Varanasi, 1987.
  50. Ghose,S., Chakrabarti,P.P. and Bapna,R.K. "An architecture Intelligent DSS using SD models", Proc of 2nd National on SD, Varanasi, 1987.

Copyright ©ppchakrabarti.net

Site created and maintained by