公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
1984 | An Imaging Tactile Sensor with Magnetostrictive Transaction | R. C. Luo; F. Wang; Y. Liu; REN-CHYUAN LUO | International Conference on Intelligent Robots and Computer Vision | |||
2020 | Band structure engineering and defect control of Ta3N5 for efficient photoelectrochemical water oxidation | Y. Xiao; C. Feng; J. Fu; F. Wang; V. Kunzelmann; CHANG-MING JIANG ; M. Nakabayashi; N. Shibata; I. D. Sharp; K. Domen; Y. Li | Nature Catalysis | 194 | 178 | |
2002 | Efficient and User-Friendly Verification. | F. Wang; P.-A. Hsiung; FARN WANG | IEEE Transactions on Computers | 35 | ||
2020 | Identifying Performance-Limiting Deep Traps in Ta3N5 for Solar Water Splitting | J. Fu; F. Wang; Y. Xiao; Y. Yao; C. Feng; L. Chang; CHANG-MING JIANG ; V. F. Kunzelmann; Z. M. Wang; A. O. Govorov; I. D. Sharp; Y. Li | ACS Catalysis | 57 | 46 | |
2001 | Parametric Optimization of Open Real-Time Systems | F. Wang; H.-C. Yen; FARN WANG | Lecture Notes in Computer Science | |||
1993 | Real-Time Distributed System Specification and Verification in APTL | F. Wang; A.K. Mok; E.A. Emerson; FARN WANG | ACM Transactions on Software Engineering and Methodology | |||
2003 | Symbolic Simulation of Real-Time Concurrent Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | RTCSA’2003 | 0 | ||
2002 | Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures | F. Wang; K. Schmidt; FARN WANG | IFIP FORTE, LNCS 2529 | |||
2003 | TCTL Inevitability Analysis of Dense-Time Systems | F. Wang; G.-D. Hwang; F. Yu; FARN WANG | 8th International Conference on Implementation and Application of Automata (CIAA 2003) | 4 | ||
2003 | Timing Parameter Characterization of Real-Time Systems | F. Wang; H.-C. Yen.; FARN WANG | 8th International Conference on Implementation and Application of Automata (CIAA) |