The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Rajat Arora: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manan Syal, Rajat Arora, Michael S. Hsiao
    Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults. [Citation Graph (0, 0)][DBLP]
    ICCD, 2005, pp:453-460 [Conf]
  2. Rajat Arora, Michael S. Hsiao
    Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2004, pp:784-787 [Conf]
  3. Rajat Arora, Michael S. Hsiao
    Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:12, pp:1597-1628 [Journal]

Search in 0.001secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002