Concepedia

Đurica Nikolić

ĐN

Statistics

Publications

2

Citations

42

H-Index

2

Active since

2013

Affiliations

Innopolis University(Current)

Đurica Nikolić is an author at Innopolis University specializing in formal methods, program analysis, and formal verification.

Top concepts

Publications per year

2013–2015

2

Publications

2

An Incremental Hint System For Automated Programming Assignments

Paolo Antonucci, Christian Estler, Đurica Nikolić et al. · 2015 · 26 citations

, , +19

Reachability analysis of program variables

Đurica Nikolić, Fausto Spoto · ACM Transactions on Programming Languages and Systems · 2013 · 16 citations · Full text

, , +25

1–2 of 2