Skip navigation
  • 中文
  • English

DSpace CRIS

  • DSpace logo
  • Home
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
  • Explore by
    • Organizations
    • Researchers
    • Research Outputs
    • Projects
  • Academic & Publications
  • Sign in
  • 中文
  • English
  1. Scholars Hub of the Academia Sinica
  2. Research Outputs

Browsing by Author Y.-F. Chen


Jump to:
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 18 of 18
Issue DateTitleAuthor(s)RelationscopusWOSFulltext/Archive link
2023Chiral Metal-Organic Framework Based Spin-Polarized Flexible Photodetector with Ultrahigh SensitivityM. 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. ChenMATERIALS TODAY NANO 21, 100303
2010Comparing learning algorithms in automated assume-guarantee reasoningY.-F. Chen; E.M. Clarke; A. Farzan; F. He; M.-H. Tsai; Y.-K. Tsay; B.-Y. Wang; L. Zhu
2022Comparison of Hydrogen Peroxide Secretion from Living Cells Cultured in Different Formats Using Hydrogel-Based LSPR SubstratesY.-J. Siao; C.-C. Peng; Y.-C. Tung ; Y.-F. ChenFRONTIERS IN BIOENGINEERING AND BIOTECHNOLOGY 10, 869184
2008Extending Automated Compositional Verification to the Full Class of Omega-Regular LanguagesA. Farzan; Y.-F. Chen; E.M. Clarke; Y.-K. Tsay; B.-Y. Wang
2008GOAL Extended: Towards a Research Tool for Omega Automata and Temporal LogicY.-K. Tsay; Y.-F. Chen; M.-H. Tsai; W.-C. Chan; C.-J. Luo
2007GOAL: A Graphical Tool for Manipulating Buechi Automata and Temporal FormulaeY.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan
2007GOAL: A graphical tool for manipulating Büchi automata and temporal formulaeY.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan
2018Highly Sensitive, Visible Blind, Wearable, and Omnidirectional Near-Infrared PhotodetectorsM. 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. ChenACS Nano 12(9), 9596-9607
2009Mediating for Reduction (on Minimizing Alternating Buchi Automata)P.A. Abdulla; Y.-F. Chen; L. Holik; T. Vojnar
2020Self-sufficient and highly efficient gold sandwich upconversion nanocomposite lasers for stretchable and bio-applicationsM. 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. ChenACS APPLIED MATERIALS & INTERFACES 12(17), 19840-19854
2010Simulation Subsumption in Ramsey-based Buchi Automata Universality and Inclusion TestingP.A. Abdulla; Y.-F. Chen; L.o Clemente; L. Holik; C.-D. Hong; R. Mayr; T. Vojnar
2019Sn-Doping Enhanced Ultrahigh Mobility In1–xSnxSe PhototransistorC. 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. ChenACS APPLIED MATERIALS & INTERFACES 11(27), 24269-24278
2009Tool support for learning Büchi automata and linear temporal logicY.-K. Tsay; Y.-F. Chen; M.-H. Tsai; K.-N. Wu; W.-C. Chan; C.-J. Luo; J.-S. ChangFormal Aspects of Computing 21(3), 259-275
2018Trau: SMT Solver for String ConstraintsP. A. Abdulla; M. F. Atig; Y.-F. Chen; B. P. Diep; L. Holík; A. Rezine; P. Rümmer
2018Ultra-high performance flexible piezopotential gated In1−xSnxSe phototransistorC. 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. ChenNanoscale 10(39), 18642-18650
2016Ultra‐Thin Layered Ternary Single Crystals [Sn(SxSe1−x)2] with Bandgap Engineering for High Performance Phototransistors on Versatile SubstratesP. 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. ChenADVANCED FUNCTIONAL MATERIALS 26(21), 3630-3638
2014Verifying Recursive Programs using Intraprocedural AnalyzersY.-F. Chen; C. Hsieh; M.-H. Tsai; B.-Y. Wang; F. Wang
2010When 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
Showing results 1 to 18 of 18
Explore by
  • Academic & Publications
  • Organizations
  • Researchers
  • Research Outputs
  • Projects
Build with DSpace-CRIS - Extension maintained and optimized by Logo 4SCIENCE Feedback