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

Nicolás Rosner

University of Buenos Aires

11H指数
28论文数
397被引数
收录论文 2
发表时间
logo
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT SupportBLISS: 通过具有SAT支持的有界延迟初始化改进了符号执行
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2015-01-01
err27
PREAI
errRosner, Nicolas; Geldenhuys, Jaco; Aguirre, Nazareno M.; Visser, Willem; Frias, Marcelo F.
err分享
err收藏
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-09-01
err40
errOAAI
errGaleotti, Juan P.; Rosner, Nicolas; Lopez Pombo, Carlos G.; Frias, Marcelo F.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
W
Willem Visser
H 指数: 44 · 论文数: 207
M
Marcelo F. Frias
H 指数: 19 · 论文数: 123
N
Nazareno Aguirre
H 指数: 18 · 论文数: 155
J
Juan Pablo Galeotti
H 指数: 18 · 论文数: 65
J
Jaco Geldenhuys
H 指数: 17 · 论文数: 55
查看更多