Searching for authors named "Roberto Giacobazzi" – sorted by Relevance.
-
"Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics
- "Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics Roberto
- Cited by 22 (11 self) – Add To MetaCart
-
Abductive Analysis of Modular Logic Programs
- Abductive Analysis of Modular Logic Programs Roberto Giacobazzi LIX, Laboratoire d
- Cited by 7 (0 self) – Add To MetaCart
-
Hiding Information in Completeness Holes New perspectives in code obfuscation and watermarking
- Roberto Giacobazzi Dipartimento di Informatica Università degli Studi di Verona Strada Le Grazie 15, 37134
- Add To MetaCart
-
Completeness in abstract interpretation: a domain perspective
- Completeness in Abstract Interpretation: A Domain Perspective Roberto Giacobazzi ? Francesco
- Cited by 11 (2 self) – Add To MetaCart
-
Non-Standard Semantics for Program Slicing
- Non-standard semantics for program slicing Roberto Giacobazzi and Isabella Mastroeni Dipartimento
- Cited by 5 (1 self) – Add To MetaCart
-
Detecting Determinate Computations by Bottom-up Abstract Interpretation
- Detecting Determinate Computations by Bottom-up Abstract Interpretation \Lambda Roberto
- Cited by 10 (1 self) – Add To MetaCart
-
Functional Dependencies and Moore-Set Completions of Abstract . . .
- Roberto Giacobazzi Dipartimento di Informatica Universit`a di Pisa Corso Italia 40, 56125 Pisa, Italy
- Cited by 16 (8 self) – Add To MetaCart
-
Intuitionistic Implication in Abstract interpretation
- Intuitionistic Implication in Abstract Interpretation Roberto Giacobazzi Francesca Scozzari
- Cited by 9 (3 self) – Add To MetaCart
-
Compositionality in the Puzzle of Semantics
- ABSTRACT Compositionality in the puzzle of semantics Roberto Giacobazzi Dipartimento di
- Cited by 3 (1 self) – Add To MetaCart
-
Compositional Optimization of Disjunctive Abstract Interpretations
- Compositional Optimization of Disjunctive Abstract Interpretations Roberto Giacobazzi ? Francesco
- Cited by 10 (2 self) – Add To MetaCart

