AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Roberto Giacobazzi

Roberto Giacobazzi

Università degli Studi di Verona - Verona / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1856538
University of Verona
person_outline Roberto Giacobazzi's MOST POPULAR ARTICLES
1-) Making abstract interpretations complete Journal of the ACM (JACM) 47 (2), 361-416, 2000
2-) Abstract non-interference: Parameterizing non-interference by abstract interpretation ACM SIGPLAN Notices 39 (1), 186-197, 2004
3-) A general framework for semantics-based bottom-up abstract interpretation of logic programs ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (1), 133-181, 1993
4-) Incompleteness, counterexamples, and refinements in abstract model-checking International Static Analysis Symposium, 356-373, 2001
5-) Generalized semantics and abstract interpretation for constraint logic programs The Journal of Logic Programming 25 (3), 191-247, 1995