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

Viktor Kunčak

swiss federal institutes of technology domain

36H指数
258论文数
4.4K被引数
收录论文 3
发表时间
logo
Software verification and graph similarity for automated evaluation of students' assignments用于自动评估学生作业的软件验证和图形相似性
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2013-06-01
err60
errOAAI
errVujosevic-Janicic, Milena; Nikolic, Mladen; Tosic, Dugan; Kuncak, Viktor
err分享
err收藏
Software Synthesis Procedures
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-02-01
err23
errOAAI
errKuncak, Viktor; Mayer, Mikael; Piskac, Ruzica; Suter, Philippe
err分享
err收藏
Modular pluggable analyses for data structure consistency
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2006-12-01
err32
errOAAI
errKuncak, Viktor; Lam, Patrick; Zee, Karen; Rinard, Martin C.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Martin Rinard
H 指数: 66 · 论文数: 482
R
Ružica Piskač
H 指数: 23 · 论文数: 130
P
Patrick Lam
H 指数: 22 · 论文数: 123
P
Philippe Suter
H 指数: 21 · 论文数: 49
M
Mladen Nikolić
H 指数: 12 · 论文数: 62
查看更多