Search the dblp DataBase
Takeshi Shimizu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - Yasushi Umezawa, Takeshi Shimizu
A Formal Verification Methodology for Checking Data Integrity. [Citation Graph (0, 0)][DBLP]
DATE, 2004, pp:284-289 [Conf] - Yasushi Umezawa, Takeshi Shimizu
A Formal Verification Methodology for Checking Data Integrity. [Citation Graph (0, 0)][DBLP]
DATE, 2004, pp:284-289 [Conf] - 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] - 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] - 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] - 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.002secs, 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002