Guojun Xie
955  Ergebnisse:
?
2

A framework for formal verification of robot kinematics:

Xie, Guojun ; Yang, Huanhuan ; Chen, Gang
Journal of Logical and Algebraic Methods in Programming.  139 (2024)  - p. 100972 , 2024
 
?
6

Sequential recovery of protein and ammonium from waste slud..:

Gu, Jiayu ; Zhou, Huihui ; Wang, Jing...
Resources, Conservation and Recycling.  203 (2024)  - p. 107444 , 2024
 
?
11

Nitrite-driven anaerobic ethane oxidation:

Dang, Cheng-Cheng ; Jin, Yin-Zhu ; Tan, Xin...
Environmental Science and Ecotechnology.  21 (2024)  - p. 100438 , 2024
 
1-15