Travelled to:
1 × Greece
1 × Lithuania
1 × Spain
1 × United Kingdom
Collaborated with:
F.Spoto C.Priami R.Zunino P.Antonucci H.Estler M.Piccioni B.Meyer
Talks about:
program (2) analysi (2) base (2) increment (1) automaton (1) reachabl (1) variabl (1) languag (1) biochem (1) system (1)
Person: Durica Nikolic
DBLP: Nikolic:Durica
Contributed to:
Wrote 4 papers:
- ITiCSE-2015-AntonucciENPM #automation #incremental #programming
- An Incremental Hint System For Automated Programming Assignments (PA, HCE, DN, MP, BM), pp. 320–325.
- IJCAR-2012-NikolicS #analysis #reachability
- Reachability Analysis of Program Variables (DN, FS), pp. 423–438.
- LATA-2012-NikolicS #analysis #array
- Automaton-Based Array Initialization Analysis (DN, FS), pp. 420–432.
- SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation
- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.