Beihang University — China
Computer Science · Physical Sciences
5h-index495citations17works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Engineering Research(3), Software System Performance and Reliability(3), Software Reliability and Analysis Research(3), Data Mining Algorithms and Applications(2), Advanced Decision-Making Techniques(2)
Publications17 total
Electronics·2024Open Access
arXiv (Cornell University)·2023· 389 citedOpen Access
Journal of Systems and Software·2023· 41 cited
2022 9th International Conference on Dependable Systems and Their Applications (DSA)·2022· 1 cited
Highlights in Science Engineering and Technology·2022· 3 citedOpen Access
IEEE Transactions on Reliability·2022· 37 cited
Journal of Mechanical Engineering·2021· 5 citedOpen Access
Formal Verification for Ethereum Smart Contract Using Coq
World Academy of Science, Engineering and Technology, International Journal of Electrical, Computer, Energetic, Electronic and Communication Engineering·2018· 5 cited
Cluster Computing·2018· 14 cited
基于密度约束和间隙约束的对比模式挖掘 (Distinguishing Sequence Patterns Mining Based on Density and Gap Constraints).
计算机科学·2018
International Journal of Control and Automation·2016
照明快適性と昼光を考慮したスマートLED照明システムにおける省エネルギーのためのファジィ論理コントローラ【Powered by NICT】
Energy and Buildings·2016
焼結廃熱回収のための垂直タンク内の気‐固熱伝達プロセスの数値的研究【Powered by NICT】
Applied Thermal Engineering·2016
Advanced science and technology letters·2015
International Journal of u- and e- Service Science and Technology·2015Open Access
Teaching Analysis of Principles of Chemical Industry in Environmental Engineering
Guangzhou Chemical Industry·2011
Frequent Co-authors
Jun Ai(2), Haoxiang Shi(2), Youxi Wu(2), Weidong Zhu(2), Yibo Sun(2), Yong Wu(2), Baptiste Rozière(1), Jonas Gehring(1), Fabian Gloeckle(1), Sten Sootla(1), Itai Gat(1), Xiaoqing Ellen Tan(1), Yossi Adi(1), Tal Remez(1), Jérémy Rapin(1), Artyom Kozhevnikov(1), Ivan Evtimov(1), Joanna Bitton(1), Manish Bhatt(1), Cristian Canton Ferrer(1)