The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto Giacobazzi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Maurizio Gabbrielli, Roberto Giacobazzi, Danilo Montesi
    Modular Logic Programs on Finite Domains. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:663-678 [Conf]
  3. Roberto Giacobazzi
    Characterizing Abstract Program Properties by Abduction. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:77-91 [Conf]
  4. 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]
  5. Roberto Giacobazzi
    Systematic design of abstract interpretations. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:1-4 [Conf]
  6. Roberto Giacobazzi, Francesco Ranzato
    Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:53-66 [Conf]
  7. 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]
  8. Roberto Giacobazzi, Francesca Scozzari
    Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:33-44 [Conf]
  9. Roberto Giacobazzi, Francesco Ranzato
    Complementing Logic Program Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:238-253 [Conf]
  10. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Michael J. Maher
    Oracle Semantics for Prolog. [Citation Graph (0, 0)][DBLP]
    ALP, 1992, pp:100-114 [Conf]
  11. 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]
  12. Roberto Giacobazzi, Francesco Ranzato
    Completeness in Abstract Interpretation: A Domain Perspective. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:231-245 [Conf]
  13. 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]
  14. Roberto Giacobazzi, Isabella Mastroeni
    Proving Abstract Non-interference. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:280-294 [Conf]
  15. Roberto Giacobazzi, Isabella Mastroeni
    Adjoining Declassification and Attack Models by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:295-310 [Conf]
  16. Roberto Giacobazzi, Laura Ricci
    Detecting Determinate Computations by Bottom-up Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:167-181 [Conf]
  17. Roberto Giacobazzi, Francesco Ranzato
    Compositional Optimization of Disjunctive Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:141-155 [Conf]
  18. 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]
  19. Roberto Giacobazzi, Isabella Mastroeni
    Timed Abstract Non-interference. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:289-303 [Conf]
  20. Roberto Giacobazzi, Francesco Ranzato
    Refining and Compressing Abstract Domains. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:771-781 [Conf]
  21. Mila Dalla Preda, Roberto Giacobazzi
    Semantic-Based Code Obfuscation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1325-1336 [Conf]
  22. Roberto Giacobazzi, Laura Ricci
    Pipeline Optimizations in AND-Parallel Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:291-305 [Conf]
  23. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Complete Abstract Interpretations Made Constructive. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:366-377 [Conf]
  24. 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]
  25. Roberto Giacobazzi, Isabella Mastroeni
    Compositionality in the puzzle of semantics. [Citation Graph (0, 0)][DBLP]
    PEPM, 2002, pp:87-97 [Conf]
  26. Roberto Giacobazzi, Francesca Scozzari
    Intuitionistic Implication in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:175-189 [Conf]
  27. Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi
    Abstracting Synchronization in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:57-72 [Conf]
  28. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
    Modeling Prolog Control. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:95-104 [Conf]
  29. Michael Codish, Saumya K. Debray, Roberto Giacobazzi
    Compositional Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:451-464 [Conf]
  30. Roberto Giacobazzi, Isabella Mastroeni
    Abstract non-interference: parameterizing non-interference by abstract interpretation. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:186-197 [Conf]
  31. Roberto Giacobazzi, Isabella Mastroeni
    A characterization of symmetric semantics by domain complementation. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:115-126 [Conf]
  32. 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]
  33. 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]
  34. 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]
  35. Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi
    Modelling Prolog Control. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:117-124 [Conf]
  36. 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]
  37. Roberto Giacobazzi
    A Tutorial on Domain Theory in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1998, pp:349-350 [Conf]
  38. Roberto Giacobazzi, Elisa Quintarelli
    Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:356-373 [Conf]
  39. Roberto Giacobazzi, Francesco Ranzato
    States vs. Traces in Model Checking by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:461-476 [Conf]
  40. 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]
  41. Mila Dalla Preda, Roberto Giacobazzi
    Control Code Obfuscation by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:301-310 [Conf]
  42. Roberto Giacobazzi
    Abductive Analysis of Modular Logic Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:377-391 [Conf]
  43. 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]
  44. 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]
  45. Roberto Giacobazzi, Isabella Mastroeni
    Domain Compression for Complete Abstractions. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2003, pp:146-160 [Conf]
  46. 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]
  47. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
    Making Abstract Domains Condensing [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. Roberto Giacobazzi
    Foreword. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:1, pp:1-2 [Journal]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]

  71. Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. [Citation Graph (, )][DBLP]


  72. Example-Guided Abstraction Simplification. [Citation Graph (, )][DBLP]


  73. Transforming Abstract Interpretations by Abstract Interpretation. [Citation Graph (, )][DBLP]


  74. Hiding Software Watermarks in Loop Structures. [Citation Graph (, )][DBLP]


  75. Modelling Metamorphism by Abstract Interpretation. [Citation Graph (, )][DBLP]


  76. Abstract Interpretation in Code Security. [Citation Graph (, )][DBLP]


  77. Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. [Citation Graph (, )][DBLP]


  78. Abstract Interpretation-Based Protection. [Citation Graph (, )][DBLP]


  79. Abstraction-Guided Abstraction Simplification [Citation Graph (, )][DBLP]


Search in 0.051secs, Finished in 0.054secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002