Abstract Program Slicing: From Theory towards an Implementation. - Isabella Mastroeni; Durica Nikolic (ICFEM, 2010)

Definite Expression Aliasing Analysis for Java Bytecode. - Durica Nikolic; Fausto Spoto (ICTAC, 2012)

Automaton-Based Array Initialization Analysis. - Durica Nikolic; Fausto Spoto (LATA, 2012)

A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. - Durica Nikolic; Corrado Priami; Roberto Zunino (SEFM, 2012)

Strong Preservation by Model Deformation. - Roberto Giacobazzi; Isabella Mastroeni; Durica Nikolic (TASE, 2012)

Inferring complete initialization of arrays. - Durica Nikolic; Fausto Spoto (Theor. Comput. Sci., 2013)

Reachability analysis of program variables. - Durica Nikolic; Fausto Spoto (ACM Trans. Program. Lang. Syst., 2013)

ℓ: An Imperative DSL to Stochastically Simulate Biological Systems. - Roberto Zunino; Durica Nikolic; Corrado Priami; Ozan Kahramanogullari; Tommaso Schiavinotto (Programming Languages with Applications to Biology and Security, 2015)

An Incremental Hint System For Automated Programming Assignments. - Paolo Antonucci; H.-Christian Estler; Durica Nikolic; Marco Piccioni; Bertrand Meyer 001 (ITiCSE, 2015)