科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
C
Carlos G. López Pombo
University of Buenos Aires
10
H指数
47
论文数
455
被引数
0
相关解读
订阅
收录论文
4
发表时间
发表时间
IF
被引数
Dynamite: A Tool for the Verification of Alloy Models Based on PVS
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF
6.2
2014-04-04
4
OA
AI
Moscato, Mariano M.; Lopez Pombo, Carlos G.; Frias, Marcelo F.
分享
收藏
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF
5.6
2013-09-01
40
OA
AI
Galeotti, Juan P.; Rosner, Nicolas; Lopez Pombo, Carlos G.; Frias, Marcelo F.
分享
收藏
Efficient analysis of DynAlloy specifications
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF
6.2
2007-12-12
14
PRE
AI
Frias, Marcelo F.; Pombo, Carlos G. Lopez; Galeotti, Juan P.; Aguirre, Nazareno M.
分享
收藏
Reasoning about static and dynamic properties in Alloy: A purely relational approach
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF
6.2
2005-10-01
13
PRE
AI
Frias, MF; Pombo, CGL; Baum, GA; Aguirre, NM; Maibaum, TSE
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
T
T. S. E. Maibaum
H 指数: 24 · 论文数: 146
M
Marcelo F. Frias
H 指数: 19 · 论文数: 123
N
Nazareno Aguirre
H 指数: 18 · 论文数: 155
J
Juan Pablo Galeotti
H 指数: 18 · 论文数: 65
N
Nicolás Rosner
H 指数: 11 · 论文数: 28
查看更多