Ministry of Education
Pallab Dasgupta
VIDWAN ID: 158111

Prof Pallab Dasgupta

Male Doctor of Philosophy
Professor | Department of Computer Science and Engineering
Indian Institute of Technology, Kharagpur
West Bengal
Expertise: Computer Science Artificial Intelligence
Scopus 55737931500 Google Scholar Pw4jS9sAAAAJ
View older version My Dashboard
253 Publications
0 Projects
1320 Scopus Citations
942 CrossRef
30 Years 9 Months Total Experience
Publications
253 Total
Articles
105
Books
1
Chapters
4
Proceedings
143
Activity

No publication activity to display.

Scopus Scopus
1,320 Citations
16 h-index
CrossRef CrossRef
942 Citations
13 h-index
Google Scholar Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Personal Details

Doctor of Philosophy
N/A
Professor
Dec 1995 – Present
Indian Institute of Technology, Kharagpur | Department of Computer Science and Engineering
Engineering and Technology
Computer Science Artificial Intelligence

Related Profiles

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Design-intent coverage-a new paradigm for formal property verification

Journal Article
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Year: 2006. Volume: 25 , Issue: 10 , Pages: 1922-1933 .
Authors: P. Basu; S. Das; A. Banerjee; P. Dasgupta; P.P. Chakrabarti; C.R. Mohan; L. Fix; R. Armoni
DOI 10.1109/TCAD.2005.859490 Crossref Crossref: 13 Scopus Scopus: 15

Instruction-set-extension exploration using decomposable heuristic search

Conference Paper
Year: 2006. Volume: 2006 , Pages: 293-298 .
Authors: S. Das; P.P. Chakrabarti; P. Dasgupta
DOI 10.1109/VLSID.2006.106 Scopus Scopus: 2

Synthesis of system verilog assertions

Conference Paper
Year: 2006. Volume: 2 .
Authors: Chingwei Yeh; Chao-Ching Wang; Lin-Chi Lee; Jinn-Shyan Wang
DOI 10.1109/DATE.2006.243909 Scopus Scopus: 50

Discovering the input assumptions in specification refinement coverage

Conference Paper
Year: 2006. Volume: 2006 , Pages: 13-18 .
Authors: Prasenjit Basu; Sayantan Das; Pallab Dasgupta; P. P. Chakrabarti
DOI 10.1145/1118299.1118305 Scopus Scopus: 1

A framework for estimating peak power in gate-level circuits

Conference Paper
Year: 2006. Volume: 4148 LNCS , Pages: 573-582 .
Authors: Diganchal Chakraborty; P. P. Chakrabarti; Arijit Mondal; Pallab Dasgupta
DOI 10.1007/11847083_56 Crossref Crossref: 2 Scopus Scopus: 1

What lies between design intent coverage and model checking?

Conference Paper
Year: 2006. Volume: 1 .
Authors: S. Das; P. Basu; P. Dasgupta; P.P. Chakrabarti
DOI 10.1109/date.2006.244051 Crossref Crossref: 3 Scopus Scopus: 5

Syntactic transformation of assume-guarantee assertions: From sub-modules to modules

Conference Paper
Year: 2005. Pages: 213-218 .
Authors: P. Basu; P. Dasgupta; P.P. Chakrabarti
DOI 10.1109/ICVD.2005.154

H-DBUG: A high-level debugging framework for protocol verification using assertions

Conference Paper
Year: 2005. Volume: 2005 , Pages: 115-118 .
Authors: A. Nandi; B. Pal; N. Chhetan; P. Dasgupta; P.P. Chakrabarti
DOI 10.1109/INDCON.2005.1590136 Scopus Scopus: 2
Showing 1 to 8 of 253 publications