Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • 首頁
  • 研究成果檢索
  • 研究人員
  • 單位
  • 計畫
  • 分類瀏覽
    • 研究成果檢索
    • 研究人員
    • 單位
    • 計畫
  • 機構典藏
  • SDGs
  • 登入
  • 中文
  • English
  1. National Taiwan Ocean University Research Hub
National Taiwan Ocean University,NTOU / College of Electrical Engineering and Computer Science

Juan, YJ

Network Lab View Statistics Email Alert RSS Feed

  • Information
  • Indicators
  • Publications 8
  • Project and Funding 7

Publications
  • All
  • Articles
  • Conference Papers
  • Books & Book Chapters

Author

  • 6 e. juan
  • 6 j. tsai
  • 2 a. sahay
  • 2 t. murata
  • 1 a. liu
  • 1 b. li
  • 1 c. h. chiu
  • 1 eric y. t. juan
  • 1 eric y.t. juan
  • 1 franklin j. c. lai
  • . next >

Date issued

  • 1 2010 - 2019
  • 4 2000 - 2009
  • 3 1990 - 1999

By type

  • 8 journal article
  • 8 journal article
  • 8 journal article

Fulltext

  • 8 no fulltext


Results 1-8 of 8 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
11998Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation RulesE. Juan ; J. Tsai; T. MurataACM Transactions on Programming Languages and Systems
21999Knowledge-Based Software Architecture: Acquisition, Specification, and VerificationE. Juan ; A. Liu; J. Tsai; A. SahayIEEE Transactions on Knowledge and Data Engineering
32003Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time SystemsJ. Tsai; A. Sahay; E. Juan IEEE Transactions on Knowledge and Data Engineering
42001Modelling and Verification of High-Assurance Properties of Safety-Critical SystemsJ. Tsai; E. Juan The Computer Journal
51997A Parallel Evaluation Model for Software Architecture SpecificationsJ. Tsai; B. Li; E. Juan Communications of the ACM
62009Predicting Protein Subcellular Localizations for Gram-Negative Bacteria Using DP-PSSM and Support Vector MachinesW. J. Li; J. H. Jhang; C. H. Chiu; Eric Y. T. Juan 0
72001Reduction Methods for Real-Time Systems using Delay Time Petri NetsE. Juan ; J. Tsai; T. Murata; Y. ZhouIEEE Transactions on Software Engineering
82013Rough clustering using generalized fuzzy clustering algorithmJim Z. C. Lai; Eric Y.T. Juan ; Franklin J. C. LaiPattern Recognition25

 

申請連結研究人員資料

Check the encrypted string of this email, put the correct string in the box below and click "Go" to validate the email and claim this profile.

Emails: y j u a * @ * * * * * * * * * * * * u . t w

Go



以 ORCID 登入申請連結此個人資料


Contact via feedback form

若您要聯絡網站管理員,請點選以下按鈕 
瀏覽
  • 機構典藏
  • 研究成果檢索
  • 研究人員
  • 單位
  • 計畫
DSpace-CRIS Software Copyright © 2002-  Duraspace   4science - Extension maintained and optimized by NTU Library Logo 4SCIENCE 回饋