Lin, Hou-Yu
1386  results:
Search for persons X
?
1

Fully Abstract Normal Form Bisimulation for Call-by-Value P..:

Koutavas, Vasileios ; Lin Hou, Yu
Vasileios Koutavas; Yu-Yang Lin; Nikos Tzevelekos, Fully Abstract Normal Form Bisimulation for Call-by-Value PCF, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Boston, MA, USA, 26-29 June 2023, IEEE, 2023, 1 - 13.  , 2023
 
?
 
?
 
?
7

JUNO sensitivity to low energy atmospheric neutrino spectra:

JUNO Collaboration ; Abusleme, Angel ; Andronico, Giuseppe...
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2021-11211.  , 2021
 
?
 
?
9

The Importance of Clinical Pharmacists in Improving Blood G..:

Shi, Fang-Hong ; Yu, Bin-Bin ; Shen, Long...
info:eu-repo/semantics/altIdentifier/doi/10.2147/DMSO.S425960.  , 2023
 
?
10

Atrial Fibrillation in Adult Congenital Heart Increase Isch..:

Yu-Sheng Lin ; Yi-Chun Huang ; Chia-Pin Lin...
https://www.imrpress.com/journal/RCM/24/8/10.31083/j.rcm2408225.  , 2023
 
?
12

Learning Tennis through Video-based Reflective Learning by ..:

Chih-Hung Yu ; Cheng-Chih Wu ; Jye-Shyan Wang..
https://www.j-ets.net/collection/published-issues/23_1#h.1q1dyu69giv6.  , 2020
 
1-15