科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
W
Wei-Ngan Chin
National University of Singapore
24
H指数
165
论文数
2.2K
被引数
0
相关解读
订阅
收录论文
5
发表时间
发表时间
IF
被引数
Special Issue on the 18th International symposium on theoretical aspects of software engineering
第18届软件工程理论方面国际研讨会的专题会议
Science of Computer Programming
IF
1.4
2026-07-01
0
PRE
AI
Chin, Wei-Ngan; Xu, Zhiwu
分享
收藏
Specifying and Verifying Future Conditions
指定和验证未来条件
STATIC ANALYSIS, SAS 2025
IF
0
2026-01-01
0
PRE
AI
Song, Yahui; Foo, Darius; Chin, Wei-Ngan
分享
收藏
Optimizing the parallel computation of linear recurrences using compact matrix representations
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF
4
2009-04-01
2
PRE
AI
Nistor, Adrian; Chin, Wei-Ngan; Tan, Tiow-Seng; Tapus, Nicolae
分享
收藏
Automatic debugging of real-time systems based on incremental satisfiability counting
IEEE TRANSACTIONS ON COMPUTERS
IF
3.8
2006-07-01
7
PRE
AI
Andrei, Stefan; Chin, Wei Ngan; Cheng, Albert Mo Kim; Lupu, Mihai
分享
收藏
An efficient distributed deadlock avoidance algorithm for the AND model
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2002-01-01
15
PRE
AI
Wu, H; Chin, WN; Jaffar, J
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
J
Joxan Jaffar
H 指数: 29 · 论文数: 148
H
Hui Wu
H 指数: 23 · 论文数: 235
N
Nicolae Ţãpuş
H 指数: 21 · 论文数: 312
A
Albert M. K. Cheng
H 指数: 21 · 论文数: 260
M
Mihai Lupu
H 指数: 19 · 论文数: 163
查看更多