| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
| 2023 | Chiral Metal-Organic Framework Based Spin-Polarized Flexible Photodetector with Ultrahigh Sensitivity | M. Mustaqeem; S. Kamal; N. Ahmad; P.-T. Chou; K.-H. Lin ; Y.-C. Huang; G.-Y. Guo; C. R. P. Inbaraj; W.-K. Li; H.-C. Yao; K.-L. Lu ; Y.-F. Chen | MATERIALS TODAY NANO 21, 100303 | | | |
| 2010 | Comparing learning algorithms in automated assume-guarantee reasoning | Y.-F. Chen; E.M. Clarke; A. Farzan; F. He; M.-H. Tsai; Y.-K. Tsay; B.-Y. Wang; L. Zhu | | | | |
| 2022 | Comparison of Hydrogen Peroxide Secretion from Living Cells Cultured in Different Formats Using Hydrogel-Based LSPR Substrates | Y.-J. Siao; C.-C. Peng; Y.-C. Tung ; Y.-F. Chen | FRONTIERS IN BIOENGINEERING AND BIOTECHNOLOGY 10, 869184 | | | |
| 2008 | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages | A. Farzan; Y.-F. Chen; E.M. Clarke; Y.-K. Tsay; B.-Y. Wang | | | | |
| 2008 | GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; W.-C. Chan; C.-J. Luo | | | | |
| 2007 | GOAL: A Graphical Tool for Manipulating Buechi Automata and Temporal Formulae | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan | | | | |
| 2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan | | | | |
| 2018 | Highly Sensitive, Visible Blind, Wearable, and Omnidirectional Near-Infrared Photodetectors | M. Kataria; K. Yadav; S.-Y. Cai; Y.-M. Liao; H.-I Lin; T. L. Shen; Y.-H. Chen; Y.-T. Chen; W.-H. Wang; Y.-F. Chen | ACS Nano 12(9), 9596-9607 | | | |
| 2009 | Mediating for Reduction (on Minimizing Alternating Buchi Automata) | P.A. Abdulla; Y.-F. Chen; L. Holik; T. Vojnar | | | | |
| 2020 | Self-sufficient and highly efficient gold sandwich upconversion nanocomposite lasers for stretchable and bio-applications | M. Kataria; K. Yadav; A. Nain; H.-I Lin; H.-W. Hu; C. R. P. Inbaraj; T.-J. Chang; Y.-M. Liao; H.-Y. Cheng; K.-H. Lin ; H.-T. Chang; F.-G. Tseng; W.-H. Wang ; Y.-F. Chen | ACS APPLIED MATERIALS & INTERFACES 12(17), 19840-19854 | | | |
| 2010 | Simulation Subsumption in Ramsey-based Buchi Automata Universality and Inclusion Testing | P.A. Abdulla; Y.-F. Chen; L.o Clemente; L. Holik; C.-D. Hong; R. Mayr; T. Vojnar | | | | |
| 2019 | Sn-Doping Enhanced Ultrahigh Mobility In1–xSnxSe Phototransistor | C. R. P. Inbaraj; V. K. Gudelli; R. J. Mathew; R. K. Ulaganathan; R. Sankar; H. Y. Lin; H.-I Lin; Y.-M. Liao; H.-Y. Cheng; K.-H. Lin ; F. C. Chou; Y.-T. Chen ; C.-H. Lee; G.-Y. Guo; Y.-F. Chen | ACS APPLIED MATERIALS & INTERFACES 11(27), 24269-24278 | | | |
| 2009 | Tool support for learning Büchi automata and linear temporal logic | Y.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan; C.-J. Luo; J.-S. Chang | Formal Aspects of Computing 21(3), 259-275 | | | |
| 2018 | Trau: SMT Solver for String Constraints | P. A. Abdulla; M. F. Atig; Y.-F. Chen; B. P. Diep; L. Holík; A. Rezine; P. Rümmer | | | | |
| 2018 | Ultra-high performance flexible piezopotential gated In1−xSnxSe phototransistor | C. R. P. Inbaraj; R. J. Mathew; G. Haider; T.-P. Chen; R. K. Ulaganathan; R. Sankar; K. P. Bera; Y.-M. Liao; M. Kataria; H.-I Lin; F. C. Chou; Y.-T. Chen; C.-H. Lee; Y.-F. Chen | Nanoscale 10(39), 18642-18650 | | | |
| 2016 | Ultra‐Thin Layered Ternary Single Crystals [Sn(SxSe1−x)2] with Bandgap Engineering for High Performance Phototransistors on Versatile Substrates | P. Perumal; R. K. Ulaganathan; R. Sankar; Y.-M Liao; T.-M. Sun; M.-W. Chu; F. C. Chou; Y.-T. Chen; M.-H. Shih; Y.-F. Chen | ADVANCED FUNCTIONAL MATERIALS 26(21), 3630-3638 | | | |
| 2014 | Verifying Recursive Programs using Intraprocedural Analyzers | Y.-F. Chen; C. Hsieh; M.-H. Tsai; B.-Y. Wang; F. Wang | | | | |
| 2010 | When Simulation Meets Antichain (on Language Inclusion Checking of NFA/TA) (Best Paper Award) | P.A. Abdulla; Y.-F. Chen; L. Holik; R. Mayr; T. Vojnar | | | | |
