Search the dblp DataBase
Roberto Giacobazzi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Roberto Barbuti , E. Bellugi , Mauro Gaspari , Roberto Giacobazzi La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. [Citation Graph (0, 0)][DBLP ] GULP, 1993, pp:341-358 [Conf ] Maurizio Gabbrielli , Roberto Giacobazzi , Danilo Montesi Modular Logic Programs on Finite Domains. [Citation Graph (0, 0)][DBLP ] GULP, 1993, pp:663-678 [Conf ] Roberto Giacobazzi Characterizing Abstract Program Properties by Abduction. [Citation Graph (0, 0)][DBLP ] GULP-PRODE (1), 1994, pp:77-91 [Conf ] Roberto Giacobazzi Optimal Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. [Citation Graph (0, 0)][DBLP ] GULP-PRODE, 1995, pp:619-630 [Conf ] Roberto Giacobazzi Systematic design of abstract interpretations. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:1-4 [Conf ] Roberto Giacobazzi , Francesco Ranzato Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1996, pp:53-66 [Conf ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1998, pp:241-254 [Conf ] Roberto Giacobazzi , Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1997, pp:33-44 [Conf ] Roberto Giacobazzi , Francesco Ranzato Complementing Logic Program Semantics. [Citation Graph (0, 0)][DBLP ] ALP, 1996, pp:238-253 [Conf ] Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Michael J. Maher Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP ] ALP, 1992, pp:100-114 [Conf ] Roberto Giacobazzi , Giorgio Levi , Saumya K. Debray Joining Abstract and Concrete Computations in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] AMAST, 1993, pp:109-126 [Conf ] Roberto Giacobazzi , Francesco Ranzato Completeness in Abstract Interpretation: A Domain Perspective. [Citation Graph (0, 0)][DBLP ] AMAST, 1997, pp:231-245 [Conf ] Mila Dalla Preda , Matias Madou , Koen De Bosschere , Roberto Giacobazzi Opaque Predicates Detection by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] AMAST, 2006, pp:81-95 [Conf ] Roberto Giacobazzi , Isabella Mastroeni Proving Abstract Non-interference. [Citation Graph (0, 0)][DBLP ] CSL, 2004, pp:280-294 [Conf ] Roberto Giacobazzi , Isabella Mastroeni Adjoining Declassification and Attack Models by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] ESOP, 2005, pp:295-310 [Conf ] Roberto Giacobazzi , Laura Ricci Detecting Determinate Computations by Bottom-up Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] ESOP, 1992, pp:167-181 [Conf ] Roberto Giacobazzi , Francesco Ranzato Compositional Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP ] ESOP, 1996, pp:141-155 [Conf ] Roberto Giacobazzi , Saumya K. Debray , Giorgio Levi A Generalized Semantics for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:581-591 [Conf ] Roberto Giacobazzi , Isabella Mastroeni Timed Abstract Non-interference. [Citation Graph (0, 0)][DBLP ] FORMATS, 2005, pp:289-303 [Conf ] Roberto Giacobazzi , Francesco Ranzato Refining and Compressing Abstract Domains. [Citation Graph (0, 0)][DBLP ] ICALP, 1997, pp:771-781 [Conf ] Mila Dalla Preda , Roberto Giacobazzi Semantic-Based Code Obfuscation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] ICALP, 2005, pp:1325-1336 [Conf ] Roberto Giacobazzi , Laura Ricci Pipeline Optimizations in AND-Parallel Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP, 1990, pp:291-305 [Conf ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Complete Abstract Interpretations Made Constructive. [Citation Graph (0, 0)][DBLP ] MFCS, 1998, pp:366-377 [Conf ] Roberto Giacobazzi , Isabella Mastroeni Generalized Abstract Non-interference: Abstract Secure Information-Flow Analysis for Automata. [Citation Graph (0, 0)][DBLP ] MMM-ACNS, 2005, pp:221-234 [Conf ] Roberto Giacobazzi , Isabella Mastroeni Compositionality in the puzzle of semantics. [Citation Graph (0, 0)][DBLP ] PEPM, 2002, pp:87-97 [Conf ] Roberto Giacobazzi , Francesca Scozzari Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] PLILP, 1997, pp:175-189 [Conf ] Enea Zaffanella , Roberto Giacobazzi , Giorgio Levi Abstracting Synchronization in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:57-72 [Conf ] Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Giorgio Levi Modeling Prolog Control. [Citation Graph (0, 0)][DBLP ] POPL, 1992, pp:95-104 [Conf ] Michael Codish , Saumya K. Debray , Roberto Giacobazzi Compositional Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:451-464 [Conf ] Roberto Giacobazzi , Isabella Mastroeni Abstract non-interference: parameterizing non-interference by abstract interpretation. [Citation Graph (0, 0)][DBLP ] POPL, 2004, pp:186-197 [Conf ] Roberto Giacobazzi , Isabella Mastroeni A characterization of symmetric semantics by domain complementation. [Citation Graph (0, 0)][DBLP ] PPDP, 2000, pp:115-126 [Conf ] Byeong-Mo Chang , Kwang-Moo Choe , Roberto Giacobazzi Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. [Citation Graph (0, 0)][DBLP ] SAC, 1994, pp:388-393 [Conf ] Maurizio Gabbrielli , Roberto Giacobazzi Goal independency and call patterns in the analysis of logic programs. [Citation Graph (0, 0)][DBLP ] SAC, 1994, pp:394-399 [Conf ] Roberto Bagnara , Roberto Giacobazzi , Giorgio Levi Static Analysis of CLP Programs over Numeric Domains. [Citation Graph (0, 0)][DBLP ] WSA, 1992, pp:43-50 [Conf ] Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Giorgio Levi Modelling Prolog Control. [Citation Graph (0, 0)][DBLP ] JTASPEFT/WSA, 1991, pp:117-124 [Conf ] Agostino Cortesi , Gilberto Filé , Roberto Giacobazzi , Catuscia Palamidessi , Francesco Ranzato Complementation in Abstract Interpretation [Citation Graph (0, 0)][DBLP ] SAS, 1995, pp:100-117 [Conf ] Roberto Giacobazzi A Tutorial on Domain Theory in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:349-350 [Conf ] Roberto Giacobazzi , Elisa Quintarelli Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. [Citation Graph (0, 0)][DBLP ] SAS, 2001, pp:356-373 [Conf ] Roberto Giacobazzi , Francesco Ranzato States vs. Traces in Model Checking by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] SAS, 2002, pp:461-476 [Conf ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. [Citation Graph (0, 0)][DBLP ] SAS, 1998, pp:215-229 [Conf ] Mila Dalla Preda , Roberto Giacobazzi Control Code Obfuscation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] SEFM, 2005, pp:301-310 [Conf ] Roberto Giacobazzi Abductive Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP ] SLP, 1994, pp:377-391 [Conf ] Roberto Giacobazzi , Francesco Ranzato Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:321-335 [Conf ] Roberto Giacobazzi "Optimal" Collecting Semantics for Analysis in a Hierarchy of Logic Program Semantics. [Citation Graph (0, 0)][DBLP ] STACS, 1996, pp:503-514 [Conf ] Roberto Giacobazzi , Isabella Mastroeni Domain Compression for Complete Abstractions. [Citation Graph (0, 0)][DBLP ] VMCAI, 2003, pp:146-160 [Conf ] Roberto Giacobazzi , Francesco Ranzato Incompleteness of States w.r.t. Traces in Model Checking [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Making Abstract Domains Condensing [Citation Graph (0, 0)][DBLP ] CoRR, 2002, v:0, n:, pp:- [Journal ] Gilberto Filé , Roberto Giacobazzi , Francesco Ranzato A Unifying View of Abstract Domain Design. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:2, pp:333-336 [Journal ] Agostino Dovier , Roberto Giacobazzi , Elisa Quintarelli Refining and Compressing Abstract Model Checking. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal ] Anindya Banerjee , Roberto Giacobazzi , Isabella Mastroeni What You Lose is What You Leak: Information Leakage in Declassification Policies. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:47-66 [Journal ] Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Michael J. Maher Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:122, n:2, pp:178-200 [Journal ] Roberto Giacobazzi , Francesco Ranzato Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1998, v:145, n:2, pp:153-190 [Journal ] Roberto Giacobazzi , Francesco Ranzato Incompleteness of states w.r.t. traces in model checking. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2006, v:204, n:3, pp:376-407 [Journal ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Making abstract interpretations complete. [Citation Graph (0, 0)][DBLP ] J. ACM, 2000, v:47, n:2, pp:361-416 [Journal ] Enea Zaffanella , Roberto Giacobazzi , Giorgio Levi Abstracting Synchronization in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Journal of Functional and Logic Programming, 1997, v:1997, n:6, pp:- [Journal ] Roberto Giacobazzi , Saumya K. Debray , Giorgio Levi Generalized Semantics and Abstract Interpretation for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1995, v:25, n:3, pp:191-247 [Journal ] Roberto Giacobazzi , Isabella Mastroeni Non-Standard Semantics for Program Slicing. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2003, v:16, n:4, pp:297-339 [Journal ] Roberto Barbuti , Michael Codish , Roberto Giacobazzi , Giorgio Levi Modelling Prolog Control. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1993, v:3, n:6, pp:579-603 [Journal ] Roberto Giacobazzi Abductive Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1998, v:8, n:4, pp:457-483 [Journal ] Roberto Barbuti , Roberto Giacobazzi A Bottom-Up Polymorphic Type Inference in Logic Programming. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1992, v:19, n:3, pp:281-313 [Journal ] Roberto Giacobazzi , Francesco Ranzato Optimal Domains for Disjunctive Abstract Intepretation. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1998, v:32, n:1-3, pp:177-210 [Journal ] Roberto Giacobazzi Foreword. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:64, n:1, pp:1-2 [Journal ] Roberto Giacobazzi , Isabella Mastroeni Transforming semantics by abstract interpretation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2005, v:337, n:1-3, pp:1-50 [Journal ] Roberto Giacobazzi , Francesco Ranzato The Reduced Relative Power Operation on Abstract Domains. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:159-211 [Journal ] Roberto Giacobazzi , Francesco Ranzato , Francesca Scozzari Making abstract domains condensing. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Log., 2005, v:6, n:1, pp:33-60 [Journal ] Roberto Barbuti , Roberto Giacobazzi , Giorgio Levi A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1993, v:15, n:1, pp:133-181 [Journal ] Agostino Cortesi , Gilberto Filé , Roberto Giacobazzi , Catuscia Palamidessi , Francesco Ranzato Complementation in Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1997, v:19, n:1, pp:7-47 [Journal ] Roberto Giacobazzi , Francesca Scozzari A Logical Model for Relational Abstract Domains. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1998, v:20, n:5, pp:1067-1109 [Journal ] Francesco Banterle , Roberto Giacobazzi A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. [Citation Graph (0, 0)][DBLP ] SAS, 2007, pp:315-332 [Conf ] David Clark , Sebastian Danicic , Roberto Giacobazzi Special issue on Programming Language Interference and Dependence. [Citation Graph (0, 0)][DBLP ] J. Log. Algebr. Program., 2007, v:72, n:2, pp:123- [Journal ] Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. [Citation Graph (, )][DBLP ] Example-Guided Abstraction Simplification. [Citation Graph (, )][DBLP ] Transforming Abstract Interpretations by Abstract Interpretation. [Citation Graph (, )][DBLP ] Hiding Software Watermarks in Loop Structures. [Citation Graph (, )][DBLP ] Modelling Metamorphism by Abstract Interpretation. [Citation Graph (, )][DBLP ] Abstract Interpretation in Code Security. [Citation Graph (, )][DBLP ] Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. [Citation Graph (, )][DBLP ] Abstract Interpretation-Based Protection. [Citation Graph (, )][DBLP ] Abstraction-Guided Abstraction Simplification [Citation Graph (, )][DBLP ] Search in 0.054secs, Finished in 0.056secs