Roberto Giacobazzi

Citado por

	Total	Desde 2019
Citas	4087	951
Índice h	35	17
Índice i10	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 123

Acceso público

Ver todo

13 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Francesco RanzatoProfessor of Computer Science, University of Padova, ItalyDirección de correo verificada de math.unipd.it
Isabella MastroeniComputer Science Dept. - University of VeronaDirección de correo verificada de univr.it
Mila Dalla PredaUniversity of Verona, ItalyDirección de correo verificada de univr.it
Francesca ScozzariAssociate Professor of Computer Science, Università di Chieti-PescaraDirección de correo verificada de unich.it
Saumya DebrayProfessor of Computer Science, University of ArizonaDirección de correo verificada de cs.arizona.edu
Roberta GoriUniversita' di PisaDirección de correo verificada de di.unipi.it
Roberto BruniUniversity of PisaDirección de correo verificada de di.unipi.it
Michael CodishDepartment of Computer Science, Ben-Gurion University of the NegevDirección de correo verificada de cs.bgu.ac.il
Catuscia PalamidessiInriaDirección de correo verificada de lix.polytechnique.fr
Arun LakhotiaUniversity of Louisiana at LafayetteDirección de correo verificada de louisiana.edu
Marco CampionINRIA & ENS | Université PSL, Paris, FranceDirección de correo verificada de inria.fr
Elisa QuintarelliPolitecnico di MilanoDirección de correo verificada de elet.polimi.it
Niccolò MarastoniResearch Fellow in Computer Science, University of VeronaDirección de correo verificada de univr.it
Maurizio GabbrielliProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityDirección de correo verificada de cims.nyu.edu
Laura RicciFull Professor, Department of Computer Science, University of PisaDirección de correo verificada de unipi.it
Agostino Cortesiprofessor of Computer Science, Ca' Foscari UniversityDirección de correo verificada de unive.it
Michael MaherReasoning Research InstituteDirección de correo verificada de reasoning.org.au
Koen De BosschereUniversiteit GentDirección de correo verificada de elis.ugent.be
dusko pavlovicProfessor at University of HawaiiDirección de correo verificada de hawaii.edu

Seguir

Roberto Giacobazzi

Professor of Computer Science, University of Arizona

Dirección de correo verificada de cs.arizona.edu - Página principal

Abstract interpretation static program analysis code protection security lattice theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	115	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
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
Toward digital asset protection C Collberg, J Davidson, R Giacobazzi, YX Gu, A Herzberg, FY Wang IEEE Intelligent Systems 26 (6), 8-13, 2011	62	2011
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores