• A
  • A
  • A
日本語 Help
Science and technology information site for articles, patents, researchers information, etc.
Advanced
search
ALL

Synonyms(0)

Find out more technical terms

Thesaurus Map Clips

ー



Please login to MyJ-GLOBAL to use J- GLOBAL.
Please register to create your MyJ-GLOBAL account, if you do not have one.
What is MyJ-GLOBAL?
Login Register now
Number of clips is over the max size. (Max number of Clips: 600)
Close
Reset
Go to 「How to search」 page
Advanced search: Search from
　
　Select basic information for advanced search
Free word
～
Chemical structure search
How to Search
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
Import

MOLfile format is only available (V3000 format is not available)

              
Details
Related links
Search

Co-authoring Researcher

Co-inventing Researcher

Researcher similar to the Researcher

Article similar to the Researcher

Patent similar to the Researcher

Research Project similar to the Researcher

Article(J-GLOBAL estimation)

Patent(J-GLOBAL estimation)

Rchr
J-GLOBAL ID：201001071024805631   Update date: Dec. 18, 2024

Yasunori Nagata

ナガタ ヤスノリ | Yasunori Nagata
Clips
Affiliation and department：
University of the Ryukyus Faculty of Engineering Department of Electrical and Electronics Engineering

About University of the Ryukyus Faculty of Engineering Department of Electrical and Electronics Engineering


Job title： Professor
Research keywords  (2)： 情報科学 ,  計算機科学
Research theme for competitive and other funds  (4)：
  • 多値論理と様相論理
  • 計算機アーキテクチャー
  • フォールトトレラントシステム
  • -
MISC (23)：
  • Y Nagata, M Mukaidono. B-ternary asynchronous digital system under relativity delay. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS. 2003. E86D. 5. 910-919
  • 長田康敬. Efficient Model Checking of Asynchronous Systems Exploiting Temporal Order-Based Reduction Method. Proc. Int'l Tech. Conf. on Circuit/Systems, Computers and Communications. 2002. II. 1964-1967
  • 長田康敬. Efficient Model Checking of Asynchronous Systems Exploiting Temporal Order-Based Reduction Method. Proc. Int'l Tech. Conf. on Circuit/Systems, Computers and Communications. 2002. II. 1964-1967
  • 長田康敬. On Asynchronous Dataflow Computer. Proc. The Second Korea-Japan Joint Symp. on Multiple-Valued Logic, JS-MVL2001. 2001
  • 長田康敬. Efficient Verification of Asynchronous Circuits Exploiting Temporal Order-Based Reduced-STG. Proc. Int'l Tech. Conf. on Circuit/Systems, Computers and Communications. 2001. II. 965-968
ｍore...
Books (2)：
  • 情報数学入門 (共著)
    2006 ISBN:4320018141
  • 情報数学入門 (共著)
    2006 ISBN:4320018141
Professional career (1)：
  • Doctor of Engineering (Meiji University)
Work history (2)：
  • - , 琉球大学 工学部 教授
  • - , University of the Ryukyus, Faculty of Engineering, Professor
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM