Lin, Yu-Ao
4575  results:
Search for persons X
?
2

Seismic Performance of a Resilient Controlled Multiple-Rock..:

, In: Lecture Notes in Civil Engineering; Proceedings of the 11th International Conference on Behaviour of Steel Structures in Seismic Areas,
Jia, Liang-Jiu ; Zhang, Hong-Tai ; Lin, Yu-Ao... - p. 323-332 , 2024
 
?
5

AutoQ: An Automata-Based Quantum Circuit Verifier:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Chen, Yu-Fang ; Chung, Kai-Min ; Lengál, Ondřej.. - p. 139-153 , 2023
 
?
 
?
 
1-15