The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Takeshi Shimizu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, Takeshi Shimizu
    Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes. [Citation Graph (0, 0)][DBLP]
    Asian Test Symposium, 2005, pp:460- [Conf]
  2. Yasushi Umezawa, Takeshi Shimizu
    A Formal Verification Methodology for Checking Data Integrity. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:284-289 [Conf]
  3. Yasushi Umezawa, Takeshi Shimizu
    A Formal Verification Methodology for Checking Data Integrity. [Citation Graph (0, 0)][DBLP]
    DATE, 2004, pp:284-289 [Conf]
  4. Takeshi Shimizu, Stephen W. Smoliar, John S. Boreczky
    AESOP: An Outline-Oriented Authoring System. [Citation Graph (0, 0)][DBLP]
    HICSS (2), 1998, pp:207-215 [Conf]
  5. Wolf-Dietrich Weber, Stephen Gold, Pat Helland, Takeshi Shimizu, Thomas Wicki, Winfried W. Wilcke
    The Mercury Interconnect Architecture: A Cost-effective Infrastructure for High-performance Servers. [Citation Graph (0, 0)][DBLP]
    ISCA, 1997, pp:98-107 [Conf]
  6. Takeshi Shimizu, Osamu Nakamura, Yasushi Kiyoki
    Multimedia Document System for Temporal and Spatial Structuring. [Citation Graph (0, 0)][DBLP]
    IWHD, 1995, pp:39-58 [Conf]
  7. Yasushi Umezawa, Takeshi Shimizu
    A Formal Verification Methodology for Checking Data Integrity [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

Search in 0.003secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002