科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
R
Rick Salay
university of toronto
25
H指数
107
论文数
2.3K
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Property Satisfiability Analysis for Product Lines of Modelling Languages
建模语言产品线的属性可满足性分析
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2022-02-01
10
OA
AI
Guerra, Esther; de Lara, Juan; Chechik, Marsha; Salay, Rick
分享
收藏
A Framework for Temporal Verification Support in Domain-Specific Modelling
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2020-04-01
7
OA
AI
Meyers, Bart; Vangheluwe, Hans; Denil, Joachim; Salay, Rick
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
M
Marsha Chećhik
H 指数: 42 · 论文数: 345
J
Juan de Lara
H 指数: 37 · 论文数: 392
H
Hans Vangheluwe
H 指数: 33 · 论文数: 372
E
Esther Guerra
H 指数: 32 · 论文数: 238
J
Joachim Denil
H 指数: 17 · 论文数: 140
查看更多