Nguyen The, Luan
2030  results:
Search for persons X
?
5

Model Checking Time Window Temporal Logic for Hyperproperti..:

, In: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design,
 
?
8

Motion Planning Using Hyperproperties for Time Window Tempo..:

Bonnah, Ernest ; Nguyen, Luan ; Anuarul Hoque, Khaza
IEEE Robotics and Automation Letters.  8 (2023)  8 - p. 4386-4393 , 2023
 
?
9

A New Approach in Daylighting Design for Buildings:

Phuong, Nguyen H. ; Nguyen, Luan D. L. ; Nguyen, Vu H. M....
Engineering, Technology & Applied Science Research.  13 (2023)  4 - p. 11344-11354 , 2023
 
?
10

Active power losses and the maximum penetration of PV in th..:

, In: 2023 International Conference on System Science and Engineering (ICSSE),
 
?
11

In situ and operando study of catalysts during high-tempera..:

Tang, Yu ; Nguyen, Luan ; Li, Yuting.
Review of Scientific Instruments.  94 (2023)  5 - p. , 2023
 
1-15