Fei He Associate Professor School of Software Tsinghua University Beijing 100084, China Office: Room 11-307, East Main Building, Tsinghua University Email: hefei at tsinghua dot edu dot cn Phone: +86-10-62773278

- Fei He, Qianshan Yu and Liming Cai, Efficient Summary Reuse for Software Regression Verification, IEEE Transactions on Software Engineering, Early Access. - Jianhui Chen, Fei He, Leveraging...

Fei He. I am an Associate Professor in the Centre for Computational Science and Mathematical Modelling, Coventry University, UK. My current research interests lie at the interface of control systems engineering, signal processing and neuroscience/biology.

2010 4th IEEE International Symposium on Theoretical Aspects of Software …

A Pilot Study Investigating a Novel Non-Linear Measure of Eyes Open versus Eyes Closed EEG Synchronization in People with Alzheimer's Disease and Healthy Controls. DJ Blackburn, PG Sarrigiannis, MM...

Fei He is a professor in the Economics department at University of Florida - see what their students are saying about them or leave a rating yourself.

Over the years, I have been developing nonlinear system identification and frequency-domain techniques to study complex nonlinear interactions in human brain network, and use such nonlinear features to improve the diagnosis of neurological disorders, such as Alzheimer’s disease and seizures, from neurophysiological signals like electroencephalog...

My research has focused on developing nonlinear systems identification, signal processing and deep learning approaches to study the complex nonlinear interactions in human brain network and...

Eng 16 (6), 6231-6241. 2017 IEEE international conference on bioinformatics and biomedicine (BIBM …

F He, W Wang, WB Rutter, KW Jordan, J Ren, E Taagen, N DeWitt, ... Can simple codon pair usage predict protein–protein interaction?

2017年6月21日 · Fei He, Wenjie Dong, Jianhua Wang*, Jianxing Zhou, Longsheng Tang. Transient model and its application to investigate the injection mode and periodical operation of transpiration...

Fei He, Professor, Shanghai Institute of Optics and Fine Mechanics, Chinese Academy of Sciences. Address: No. 390 Qinghe Rd., Jiading, Shanghai, P.R.China 201800. Email: [email protected]

Fei He, Zhihang Sun and Hongyu Fan, Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution), TACAS 2022.

Prof. Fei He obtained his Ph.D. in Bioinformatics in 2011 from the China Agricultural University. He did postdoc Memorial Sloan Kettering Cancer Center, Brookhaven National Lab and Kansas State University from 2011 to 2021. Then he joined Institute of Genetics and Developmental Biology as a Group Leader.

Fei He, Tiger H. Tao, Xiaoling Wei, Ultraflexible Neural Electrodes Enabled Synchronized Long-Term Dopamine Detection and Wideband Chronic Recording Deep in Brain, ACS Nano, 18, 50, (34272-34287), (2024). https://doi.org/10.1021/acsnano.4c12429

In this paper, we propose a novel ordering consistency theory for multi-threaded program verification under sequential consistency, and we elaborate its theory solver, which realizes incremental consistency checking, min-imal conflict clause generation, and specialized theory prop-agation to improve the eficiency of SMT solving.

International Conference on Offshore Mechanics and Arctic Engineering 87820 …

Prof. Dr. Fei He is currently an associate professor at the School of Software of Tsinghua University. He received the PhD. degree from Tsinghua University in 2008. His research interests include model checking, program analysis and verification and automated logic reasoning.

2022年11月14日 · Users who add a description significantly increase their chances for discovers and collaboration. Showcase your career and increase your impact by adding your brief bio now. This researcher does not have an active role on a Frontiers editorial board. You may recommend their participation here.