Roberto Giacobazzi

Cited by

	All	Since 2019
Citations	4092	956
h-index	35	17
i10-index	86	29

280

140

210

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 25 38 99 71 72 117 97 79 95 87 94 80 81 172 85 149 141 148 162 90 132 195 144 109 114 160 143 116 133 166 140 272 128

Public access

View all

13 articles

0 articles

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
Marco CampionINRIA & ENS | Université PSL, Paris, FranceVerified email at inria.fr
Elisa QuintarelliPolitecnico di MilanoVerified email at elet.polimi.it
Niccolò MarastoniResearch Fellow in Computer Science, University of VeronaVerified email at univr.it
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerified email at cims.nyu.edu
Laura RicciFull Professor, Department of Computer Science, University of PisaVerified email at unipi.it
Agostino Cortesiprofessor of Computer Science, Ca' Foscari UniversityVerified email at unive.it
Michael MaherReasoning Research InstituteVerified email at reasoning.org.au
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 Arizona

Verified email at cs.arizona.edu - 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	307	2000
Abstract non-interference: Parameterizing non-interference by abstract interpretation R Giacobazzi, I Mastroeni ACM SIGPLAN Notices 39 (1), 186-197, 2004	248	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	167	1993
Incompleteness, counterexamples, and refinements in abstract model-checking R Giacobazzi, E Quintarelli Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001	154	2001
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
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	116	2013
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	104	2006
Compositional analysis of modular logic programs M Codish, SK Debray, R Giacobazzi Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	101	1993
A unifying view of abstract domain design G Filé, R Giacobazzi, F Ranzato ACM Computing Surveys (CSUR) 28 (2), 333-336, 1996	98	1996
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	93	1997
Semantic-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005	92	2005
Optimal domains for disjunctive abstract interpretation R Giacobazzi, F Ranzato Science of Computer Programming 32 (1-3), 177-210, 1998	89	1998
Refining and compressing abstract domains R Giacobazzi, F Ranzato International Colloquium on Automata, Languages, and Programming, 771-781, 1997	89	1997
Semantics-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Journal of Computer Security 17 (6), 855-908, 2009	71	2009
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
Toward digital asset protection C Collberg, J Davidson, R Giacobazzi, YX Gu, A Herzberg, FY Wang IEEE Intelligent Systems 26 (6), 8-13, 2011	63	2011
Control code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Third IEEE International Conference on Software Engineering and Formal …, 2005	63	2005
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	63	1994
Completeness in abstract interpretation: A domain perspective R Giacobazzi, F Ranzato International Conference on Algebraic Methodology and Software Technology …, 1997	62	1997
A bottom-up polymorphic type inference in logic programming R Barbuti, R Giacobazzi Science of computer programming 19 (3), 281-313, 1992	58	1992

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