NIKOLIC, Durica
NIKOLIC, Durica
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.015 secondi).
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
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 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 | |
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 |