MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Pallab Dasgupta" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Abstractions for Model Checking of Event Timings  
  • by Jatindra K. Deka, S. Chaki, Pallab Dasgupta, P.P. Chakrabarti — 2001
  • …1 Abstractions for Model Checking of Event Timings Jatindra K. Deka, S. Chaki, Pallab Dasgupta…
  • Add To MetaCart
  • Synthesis of system verilog assertions  
  • by Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti — 2006 — In Proceedings of the Conference on Design Automation and Test in Europe (DATE
  • …Synthesis of System Verilog Assertions Sayantan Das Rizi Mohanty Pallab Dasgupta P.P. Chakrabarti…
  • Cited by 1 (0 self) – Add To MetaCart
  • Min-max computation tree logic  
  • by Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan — 2001 — Artificial Intelligence
  • … Min-max Computation Tree Logic Pallab Dasgupta, P.P. Chakrabarti, Jatindra Kumar Deka and Sriram…
  • Cited by 4 (3 self) – Add To MetaCart
  • Abstraction of Word-level Linear Arithmetic  
  • by Functions From Bit-Level, Pallab Dasgupta, P. P. Chakrabarti, Amit Nandi, Sekar Krishna, Arindam Chakrabarti
  • … acknowledges the Dept. of Sci & Tech, Govt. of India for partial support of this work. Pallab Dasgupta…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB