Skip navigation
中文
English
DSpace
CRIS
Home
Organizations
Researchers
Research Outputs
Projects
Explore by
Organizations
Researchers
Research Outputs
Projects
Academic & Publications
Help
Sign in
中文
English
Scholars Hub of the Academia Sinica
Academia Sinica
/
Division of Mathematics and Physical Sciences
/
Institute of Information Science
Institute of Information Science
View Statistics
Email Alert
RSS Feed
About
SubUnits
Researchers
78
Research Outputs
755
OrgUnit's Publications
469
Project
Researchers
(By Person)
Close filters
Refined By:
People:
chen, yu-fang
Results 1-1 of 1 (Search time: 0.001 seconds).
English Name
Chinese Name
Department
Research Field
Chen, Yu-Fang
陳郁方
Institute of Information Science
Software Verification; Model Checking; Formal Methods; Algorithmic Learning; Automata Theory