Durica Nikolic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2010–2015
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ITiCSE | An Incremental Hint System For Automated Programming Assignments. | Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer |
| 2012 | CADE | Reachability Analysis of Program Variables. | Durica Nikolic, Fausto Spoto |
| 2012 | ICTAC | Definite Expression Aliasing Analysis for Java Bytecode. | Durica Nikolic, Fausto Spoto |
| 2012 | LATA | Automaton-Based Array Initialization Analysis. | Durica Nikolic, Fausto Spoto |
| 2012 | SEFM | A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. | Durica Nikolic, Corrado Priami, Roberto Zunino |
| 2012 | TASE | Strong Preservation by Model Deformation. | Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic |
| 2010 | ICFEM | Abstract Program Slicing: From Theory towards an Implementation. | Isabella Mastroeni, Durica Nikolic |