Get started
Author

Đurica Nikolić

An Incremental Hint System For Automated Programming Assignments
2015 · Paolo Antonucci, Christian Estler, et al. · ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE) · 33
Definite Expression Aliasing Analysis for Java Bytecode
2012 · Đurica Nikolić, Fausto Spoto · Lecture notes in computer science · 17
Abstract Program Slicing: From Theory towards an Implementation
2010 · Isabella Mastroeni, Đurica Nikolić · Lecture notes in computer science · 17
Reachability analysis of program variables
2013 · Đurica Nikolić, Fausto Spoto · ACM Transactions on Programming Languages and Systems · 15
PDF
Inferring complete initialization of arrays
2013 · Đurica Nikolić, Fausto Spoto · Theoretical Computer Science · 5
PDF
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation
2012 · Đurica Nikolić, Corrado Priami, et al. · Lecture notes in computer science · 5
Reachability Analysis of Program Variables
2012 · Đurica Nikolić, Fausto Spoto · Lecture notes in computer science · 5
$$\ell $$ : An Imperative DSL to Stochastically Simulate Biological Systems
2015 · Roberto Zunino, Ɖurica Nikolić, et al. · Lecture notes in computer science · 3
Automaton-Based Array Initialization Analysis
2012 · Đurica Nikolić, Fausto Spoto · Lecture notes in computer science · 2
A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs
2013 · Đurica Nikolić · 1
Strong Preservation by Model Deformation
2012 · Roberto Giacobazzi, Isabella Mastroeni, et al. · International Symposium on Theoretical Aspects of Software Engineering (TASE)
Works count: 11
Citation count: 103
H-index: 5
I10-index: 4
Year
Topic
Type