NIKOLIC, Durica
NIKOLIC, Durica
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.018 secondi).
A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs
2013-01-01 Nikolic, Durica
A Rule-based and Imperative Language for Biochemical Modeling and Simulation
2012-01-01 Nikolic, Durica; Zunino, R.; Priami, C.
Abstract Program Slicing: From theory towards an implementation
2010-01-01 Mastroeni, Isabella; Nikolic, Durica
Automaton-Based Array Initialization Analysis
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Definite Expression Aliasing Analysis for Java Bytecode
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Inferring Complete Initialization of Arrays
2013-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Reachability Analysis of Program Variables
2013-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Reachability Analysis of Program Variables
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Strong Preservation by Model Deformation
2012-01-01 Giacobazzi, Roberto; Mastroeni, Isabella; Nikolic, Durica
| 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-2013 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Reachability Analysis of Program Variables | 1-gen-2012 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Strong Preservation by Model Deformation | 1-gen-2012 | Giacobazzi, Roberto; Mastroeni, Isabella; Nikolic, Durica |