logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Meng Sun

peking university

17H指数
132论文数
1.1K被引数
收录论文 14
发表时间
logo
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs晶态操作语义：一种用于并行EVM的智能合约语言
errTHEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2025
IF0
err2026-01-01
err0
PREAI
errXu, Ziyun; Wang, Hao; Sun, Meng
err分享
err收藏
Automata-Based Steering of Large Language Models for Diverse Structured Generation基于自动机的多样化结构化生成的大语言模型控制
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errLuan, Xiaokun; Wei, Zemin; Zhang, Yihao; Sun, Meng
err分享
err收藏
Personalized treatment decision-making using a machine learning-derived lactylation signature for breast cancer prognosis基于机器学习衍生的乳酰化特征进行乳腺癌预后个性化治疗决策
errFRONTIERS IN IMMUNOLOGY
IF5.9
err2025-05-08
err0
errOAAI
errMin, Simin; Zhang, Xiaonan; Liu, Yuling; Wang, Weiqiang; Guan, Jingwen; Chen, Yuyan; Sun, Meng; Wang, Ziheng; Wang, Tao
err分享
err收藏
A pH-responsive production of hydroxyl radical in Fenton process芬顿过程中pH响应性的羟基自由基产生
errENVIRONMENTAL SCIENCE AND ECOTECHNOLOGY
IF14.3
err2025-05-01
err0
errOAAI
errWang, Pengyi; Kang, Fan; Huang, Xiangbin; Luo, Zhipeng; Zou, Jing; Yang, Min; Sun, Meng; Yu, Xin; Zeng, Huabin
err分享
err收藏
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation用于有效统计模型检查估计的Clopper-Pearson算法
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-07-01
err0
PREAI
errBu, Hao; Sun, Meng
err分享
err收藏
Hetero- and Homointerlocked Metal-Organic Cages
errJOURNAL OF THE AMERICAN CHEMICAL SOCIETY
IF15.6
err2024-01-27
err13
PREAI
errLi, Yingguo; Jiang, Hong; Zhang, Wenqiang; Zhao, Xiangxiang; Sun, Meng; Cui, Yong; Liu, Yan
err分享
err收藏
Mutation testing of unsupervised learning systems无监督学习系统的突变测试
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2024-01-01
err1
PREAI
errLu, Yuteng; Shao, Kaicheng; Zhao, Jia; Sun, Weidi; Sun, Meng
err分享
err收藏
Towards mutation testing of Reinforcement Learning systems
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2022-10-01
err6
PREAI
errLu, Yuteng; Sun, Weidi; Sun, Meng
err分享
err收藏
DeepGlobal: A framework for global robustness verification of feedforward neural networksDeepGlobal: 前馈神经网络的全局鲁棒性验证框架
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2022-07-01
err5
PREAI
errSun, Weidi; Lu, Yuteng; Zhang, Xiyue; Sun, Meng
err分享
err收藏
An evolutionary/heuristic-based proof searching framework for interactive theorem prover
errAPPLIED SOFT COMPUTING
IF6.6
err2021-06-01
err5
PREAI
errNawaz, M. Saqib; Nawaz, M. Zohaib; Hasan, Osman; Fournier-Viger, Philippe; Sun, Meng
err分享
err收藏
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques
errAPPLIED INTELLIGENCE
IF3.5
err2020-09-30
err4
PREAI
errNawaz, M. Saqib; Nawaz, M. Zohaib; Hasan, Osman; Fournier-Viger, Philippe; Sun, Meng
err分享
err收藏
SYNCRIP, a new player in pri-let-7a processing
errRNA
IF5
err2020-01-06
err20
errOAAI
errChen, Ying; Chan, Jingru; Chen, Wei; Li, Jianwei; Sun, Meng; Kannan, Gayathiri Sathyamoorthy; Mok, Yu-Keung; Yuan, Yuren Adam; Jobichen, Chacko
err分享
err收藏
A Formal Specification and Verification Framework for Timed Security Protocols
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2018-08-01
err13
errOAAI
errLi, Li; Sun, Jun; Liu, Yang; Sun, Meng; Dong, Jin-Song
err分享
err收藏
Static validation of WS-CDL documents
errSIMULATION MODELLING PRACTICE AND THEORY
IF4.6
err2009-09-01
err1
PREAI
errPu, Geguang; Wang, Zheng; Zhou, Lei; Zhang, Hanyi; Wang, Tao; Yang, Chuchao; Peng, Liyang; Sun, Meng
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
杨
杨敏 (Min Yang)
H 指数: 121 · 论文数: 3.6K
刘
刘洋 (Yang Liu)
H 指数: 106 · 论文数: 3.5K
崔
崔勇 (Yong Cui)
H 指数: 80 · 论文数: 405
刘
刘燕 (Yan Liu)
H 指数: 70 · 论文数: 484
P
Philippe Fournier‐Viger
H 指数: 56 · 论文数: 497
查看更多