Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • Home
  • Research Outputs
  • Researchers
  • Organizations
  • Projects
  • Explore by
    • Research Outputs
    • Researchers
    • Organizations
    • Projects
  • Communities & Collections
  • SDGs
  • Sign in
  • 中文
  • English
  1. National Taiwan Ocean University Research Hub
國立臺灣海洋大學 / 電機資訊學院

Juan, YJ

Network Lab View Statistics Email Alert RSS Feed

  • 簡歷
  • 指標
  • 研究成果 8
  • 計畫與補助 7

研究成果
  • 全部
  • 期刊文章
  • 會議論文
  • 圖書及章節

依作者

  • 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
  • . 下一頁 >

依日期

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

依類型

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

全文

  • 8 no fulltext


第 1 到 8 筆結果,共 8 筆。

公開日期標題作者來源出版物scopusWOS全文
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

若您要聯絡網站管理員,請點選以下按鈕 
Explore by
  • Communities & Collections
  • Research Outputs
  • Researchers
  • Organizations
  • Projects
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback