100 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- 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
2 papers
gr-qc2025★ 100 cited
GW250114: testing Hawking's area law and the Kerr nature of black holes
The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration +1785
The gravitational-wave signal GW250114 was observed by the two LIGO detectors with a network matched-filter signal-to-noise ratio of 80. The signal was emitted by the coalescence o…
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…