logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
V

Viktor Kunčak

swiss federal institutes of technology domain

36H-index
258Paper Count
4.4KCitation Count
Published Papers 3
Publication Date
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
errShare
errSave
Software Synthesis Procedures
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-02-01
err23
errOAAI
errKuncak, Viktor; Mayer, Mikael; Piskac, Ruzica; Suter, Philippe
errShare
errSave
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.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Martin Rinard
H-index: 66 · Papers: 482
R
Ružica Piskač
H-index: 23 · Papers: 130
P
Patrick Lam
H-index: 22 · Papers: 123
P
Philippe Suter
H-index: 21 · Papers: 49
M
Mladen Nikolić
H-index: 12 · Papers: 62
View more