Institute of Biological Chemistry, Academia Sinica

most citedGW250114: testing Hawking's area law and the Kerr nature of black holes

100 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

Bow-Yaw Wang1 · h 18
Chiao-En Hsieh1 · h 7
Farn Wang1 · h 19
M. Tsai1 · h 14
Ondřej Lengál1 · h 16
Tsung-Ju Lii1 · h 1
Yu-Fang Chen1 · h 25

collaborating institutions

Academia SinicaTW1 paper
Aix-Marseille UniversitéFR1 paper
Aoyama Gakuin UniversityJP1 paper
Ariel UniversityIL1 paper
Aristotle University of ThessalonikiGR1 paper
Australian National UniversityAU1 paper
Bar-Ilan UniversityIL1 paper
Beijing Normal UniversityCN1 paper
Brera Astronomical ObservatoryIT1 paper
California Institute of TechnologyUS1 paper
California State University SystemUS1 paper
Canadian Institute for Theoretical AstrophysicsCA1 paper

Showing cs.SEShow all

1 paper · 1 filter

cs.SE2015★ 1 cited

PAC Learning-Based Verification and Model Synthesis

Yu-Fang Chen, Chiao Hsieh, Ondřej Lengál +4

We introduce a novel technique for verification and model synthesis of sequential programs. Our technique is based on learning a regular model of the set of feasible paths in a pro…