Shengchao Qin

McGovern Institute for Brain Research — United States

Computer Science · Physical Sciences

27h-index2.4kcitations204works3.42yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(83), Logic, programming, and type systems(56), Software Testing and Debugging Techniques(42), Software Engineering Research(33), Security and Verification in Computing(24)

Publications204 total

Dynamic brain states during encoding and their post-encoding reinstatement predicts episodic memory in children
2026Open Access
Dynamic brain states during encoding and their post-encoding reinstatement predicts episodic memory in children
2026Open Access
Stress Inhibits Myogenic Differentiation via Transcriptome Remodeling and GR-Mediated Suppression of the ITGA11-FAK/Paxillin-Akt-GSK3β Cascade
Journal of Agricultural and Food Chemistry·2026
The Self-Interest of Adolescents Overrules Cooperation in Social Dilemmas
2026Open Access
Phase-Separation Engineered Nanomotors Enable Spleen-Tumor Dual Targeting to Reverse T-Cell Exhaustion
ACS Nano·2026
Impact-induced submicroscopic metallic iron particles identified in “dusty olivine” from brecciated lunar meteorite Bechar 012
Geochimica et Cosmochimica Acta·2026
Adversarial rain attack and defensive deraining for DNN perception
Neural Networks·2025
[Underlying Mechanism of the circ_0011462/miRNA-1200/SP1 Axis in Regulating Inflammatory Response, Apoptosis, and Neural Regeneration in a Spinal Cord Injury Model].
PubMed·2025Open Access
CtxFuzz: Discovering heap-based memory vulnerabilities through context heap operation sequence guided fuzzing
Science of Computer Programming·2025
Preguss: It Analyzes, It Specifies, It Verifies
2025Open Access
KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation
arXiv (Cornell University)·2025Open Access
ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
Proceedings of the AAAI Conference on Artificial Intelligence·2025· 1 citedOpen Access
MFH: A Multi-faceted Heuristic Algorithm Selection Approach for Software Verification
arXiv (Cornell University)·2025Open Access
From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
arXiv (Cornell University)·2025Open Access
KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation
2025Open Access
From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
2025· 5 citedOpen Access
ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
arXiv (Cornell University)·2024Open Access
Enhancing deep learning for demand forecasting to address large data gaps
Expert Systems with Applications·2024· 9 citedOpen Access
Parf: Adaptive Parameter Refining for Abstract Interpretation
2024· 1 cited
Parf: Adaptive Parameter Refining for Abstract Interpretation
arXiv (Cornell University)·2024· 1 citedOpen Access
page 1 of 11Next →

Frequent Co-authors

Wei-Ngan Chin(18), Huu Hai Nguyen(9), Cristina David(7), Yang Liu(7), Jun Sun(7), Cheng Wen(5), Zhiwu Xu(5), Xiaofei Xie(5), Huibiao Zhu(5), Yuekang Li(3), Yifeng Zeng(3), Yanping Xiang(3), Jin Song Dong(3), Quang Loc Le(3), Cristian Gherghina(3), Guanhua He(3), Chenguang Luo(3), Hongxu Chen(2), Ting Liu(2), Haijun Wang(2)