NIKOLIC, Durica

NIKOLIC, Durica  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.013 secondi).
Titolo Data di pubblicazione Autore(i) File
A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs 1-gen-2013 Nikolic, Durica
A Rule-based and Imperative Language for Biochemical Modeling and Simulation 1-gen-2012 Nikolic, Durica; Zunino, R.; Priami, C.
Abstract Program Slicing: From theory towards an implementation 1-gen-2010 Mastroeni, Isabella; Nikolic, Durica
Automaton-Based Array Initialization Analysis 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
Definite Expression Aliasing Analysis for Java Bytecode 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
Inferring Complete Initialization of Arrays 1-gen-2013 Nikolic, Durica; Spoto, Nicola Fausto
Reachability Analysis of Program Variables 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
Reachability Analysis of Program Variables 1-gen-2013 Nikolic, Durica; Spoto, Nicola Fausto
Strong Preservation by Model Deformation 1-gen-2012 Giacobazzi, Roberto; Mastroeni, Isabella; Nikolic, Durica