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
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.003 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

 

Claim Researcher Page

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



Login via ORCID to claim this profile:


Contact via feedback form

If you want contact administrator site clicking the follow button 
Explore by
  • Communities & Collections
  • Research Outputs
  • Researchers
  • Organizations
  • Projects
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback