Roberto Giacobazzi

Cited by

	All	Since 2018
Citations	3842	870
h-index	33	16
i10-index	79	25

200

100

150

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202326 37 98 75 67 111 97 83 96 88 91 80 86 166 88 148 141 142 154 91 128 196 143 108 113 160 145 115 133 167 134 172

Public access

View all

10 articles

1 article

available

not available

Based on funding mandates

Co-authors

Francesco RanzatoProfessor of Computer Science, University of Padova, ItalyVerified email at math.unipd.it
Isabella MastroeniComputer Science Dept. - University of VeronaVerified email at univr.it
Mila Dalla PredaUniversity of Verona, ItalyVerified email at univr.it
Francesca ScozzariAssociate Professor of Computer Science, Università di Chieti-PescaraVerified email at unich.it
Saumya DebrayProfessor of Computer Science, University of ArizonaVerified email at cs.arizona.edu
Roberta GoriUniversita' di PisaVerified email at di.unipi.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevVerified email at cs.bgu.ac.il
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Arun LakhotiaUniversity of Louisiana at LafayetteVerified email at louisiana.edu
Elisa QuintarelliPolitecnico di MilanoVerified email at elet.polimi.it
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Laura RicciFull Professor, Department of Computer Science, University of PisaVerified email at unipi.it
Niccolò MarastoniResearch Fellow in Computer Science, University of VeronaVerified email at univr.it
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
Agostino Cortesiprofessor of Computer Science, Ca' Foscari UniversityVerified email at unive.it
Michael MaherReasoning Research InstituteVerified email at reasoning.org.au
Marco CampionINRIA & École Normale Supérieure | Université PSL, Paris, FranceVerified email at inria.fr
Koen De BosschereUniversiteit GentVerified email at elis.ugent.be
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu

Roberto Giacobazzi

Professor of Computer Science, University of Verona

Verified email at univr.it - Homepage

Abstract interpretation static program analysis code protection security lattice theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Making abstract interpretations complete R Giacobazzi, F Ranzato, F Scozzari Journal of the ACM (JACM) 47 (2), 361-416, 2000	290	2000
Abstract non-interference: Parameterizing non-interference by abstract interpretation R Giacobazzi, I Mastroeni ACM SIGPLAN Notices 39 (1), 186-197, 2004	235	2004
A general framework for semantics-based bottom-up abstract interpretation of logic programs R Barbuti, R Giacobazzi, G Levi ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (1), 133-181, 1993	166	1993
Generalized semantics and abstract interpretation for constraint logic programs R Giacobazzi, SK Debray, G Levi The Journal of Logic Programming 25 (3), 191-247, 1995	152	1995
Incompleteness, counterexamples, and refinements in abstract model-checking R Giacobazzi, E Quintarelli Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001	147	2001
Fast location of similar code fragments using semantic'juice' A Lakhotia, MD Preda, R Giacobazzi Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse …, 2013	111	2013
Compositional analysis of modular logic programs M Codish, SK Debray, R Giacobazzi Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	99	1993
Opaque predicates detection by abstract interpretation M Dalla Preda, M Madou, K De Bosschere, R Giacobazzi Algebraic Methodology and Software Technology: 11th International Conference …, 2006	97	2006
A unifying view of abstract domain design G Filé, R Giacobazzi, F Ranzato ACM Computing Surveys (CSUR) 28 (2), 333-336, 1996	97	1996
Semantic-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005	93	2005
Optimal domains for disjunctive abstract interpretation R Giacobazzi, F Ranzato Science of Computer Programming 32 (1-3), 177-210, 1998	93	1998
Complementation in abstract interpretation A Cortesi, G File, F Ranzato, R Giacobazzi, C Palamidessi ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (1), 7-47, 1997	91	1997
Refining and compressing abstract domains R Giacobazzi, F Ranzato International Colloquium on Automata, Languages, and Programming, 771-781, 1997	89	1997
A logical model for relational abstract domains R Giacobazzi, F Scozzari ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (5), 1067-1109, 1998	71	1998
Semantics-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Journal of Computer Security 17 (6), 855-908, 2009	69	2009
Completeness in abstract interpretation: A domain perspective R Giacobazzi, F Ranzato International Conference on Algebraic Methodology and Software Technology …, 1997	63	1997
Goal independency and call patterns in the analysis of logic programs M Gabbrielli, R Giacobazzi, G Levi Symposium on Applied Computing: Proceedings of the 1994 ACM symposium on …, 1994	62	1994
Control code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Third IEEE International Conference on Software Engineering and Formal …, 2005	60	2005
A bottom-up polymorphic type inference in logic programming R Barbuti, R Giacobazzi Science of computer programming 19 (3), 281-313, 1992	57	1992
Toward digital asset protection C Collberg, J Davidson, R Giacobazzi, YX Gu, A Herzberg, FY Wang IEEE Intelligent Systems 26 (6), 8-13, 2011	56	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors