BibSonomy :: author  ::

bookmarks

publications

(55)

• Adverse Selection in Online Search.
  Nishant Kumar and Pragya Rai DEXA Workshops 457-460 (2008)
  to dblp by dblp on 2008-09-02 00:00:00
  | URL | BibTeX  
• Integrated Circuit Design Research Ranking for Worldwide Universities.
  Kiat-Seng Yeo and Zhi-Hui Kong and Nukala Nishant and Haitao Fu and Wei Zeng Journal of Circuits, Systems, and Computers 17 141-167 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Comparison of a Job-Shop Scheduler using Genetic Algorithms with a SLACK Based Scheduler
  Nishant Deshpande Genetic Algorithms and Genetic Programming at Stanford 2002 73--82 (2002)
  to algorithms genetic by brazovayeye on 2008-06-19 17:35:00
  | URL | BibTeX  
• Verification of evolving software via component substitutability analysis.
  Sagar Chaki and Edmund M. Clarke and Natasha Sharygina and Nishant Sinha Formal Methods in System Design 32 235-266 (2008)
  to dblp by dblp on 2008-05-28 00:00:00
  | URL | BibTeX  
• A Hierarchy Navigation Framework: Supporting Scalable Interactive Exploration over Large Databases.
  Nishant Mehta and Elke A. Rundensteiner and Matthew O. Ward IDEAS 425-434 (2005)
  to dblp by dblp on 2008-01-31 00:00:00
  | URL | BibTeX  
• NotMeeting: a field trial of NetMeeting in a geographically distributed organization
  Thomas A. Finholt and Elena Rocco and Daniel Bree and Nishant Jain and James D. Herbsleb SIGGROUP Bull. 20 66--69 (1999)
  to netmeeting, ref-phd by fcalefato on 2007-10-03 13:46:10
  | URL | BibTeX  
• SAT-Based Compositional Verification Using Lazy Learning.
  Nishant Sinha and Edmund M. Clarke CAV 39-54 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Program Compatibility Approaches.
  Edmund M. Clarke and Natasha Sharygina and Nishant Sinha FMCO 243-258 (2005)
  to dblp by dblp on 2007-08-02 00:00:00
  | URL | BibTeX  
• Automated Design of Misaligned-Carbon-Nanotube-Immune Circuits.
  Nishant Patil and Jie Deng and H.-S. Philip Wong and Subhasish Mitra DAC 958-961 (2007)
  to dblp by dblp on 2007-06-29 00:00:00
  | URL | BibTeX  
• Interactive presentation: Radix 4 SRT division with quotient prediction and operand scaling.
  Nishant R. Srivastava DATE 195-200 (2007)
  to dblp by dblp on 2007-06-22 00:00:00
  | URL | BibTeX