Roberto Giacobazzi 个人学术档案

引用次数

	总计	2019 年至今
引用	4053	919
h 指数	34	17
i10 指数	86	29

280

140

210

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 25 38 97 72 72 117 97 79 95 87 94 80 81 172 85 150 141 147 161 90 132 195 145 109 114 160 143 116 133 165 138 270 96

开放获取的出版物数量

查看全部

12 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Francesco RanzatoProfessor of Computer Science, University of Padova, Italy在 math.unipd.it 的电子邮件经过验证
Isabella MastroeniComputer Science Dept. - University of Verona在 univr.it 的电子邮件经过验证
Mila Dalla PredaUniversity of Verona, Italy在 univr.it 的电子邮件经过验证
Francesca ScozzariAssociate Professor of Computer Science, Università di Chieti-Pescara在 unich.it 的电子邮件经过验证
Saumya DebrayProfessor of Computer Science, University of Arizona在 cs.arizona.edu 的电子邮件经过验证
Roberta GoriUniversita' di Pisa在 di.unipi.it 的电子邮件经过验证
Roberto BruniUniversity of Pisa在 di.unipi.it 的电子邮件经过验证
Michael CodishDepartment of Computer Science, Ben-Gurion University of the Negev在 cs.bgu.ac.il 的电子邮件经过验证
Catuscia PalamidessiInria在 lix.polytechnique.fr 的电子邮件经过验证
Arun LakhotiaUniversity of Louisiana at Lafayette在 louisiana.edu 的电子邮件经过验证
Marco CampionINRIA & École Normale Supérieure | Université PSL, Paris, France在 inria.fr 的电子邮件经过验证
Elisa QuintarelliPolitecnico di Milano在 elet.polimi.it 的电子邮件经过验证
Maurizio GabbrielliProfessor of Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
Niccolò MarastoniResearch Fellow in Computer Science, University of Verona在 univr.it 的电子邮件经过验证
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York University在 cims.nyu.edu 的电子邮件经过验证
Laura RicciFull Professor, Department of Computer Science, University of Pisa在 unipi.it 的电子邮件经过验证
Agostino Cortesiprofessor of Computer Science, Ca' Foscari University在 unive.it 的电子邮件经过验证
Michael MaherReasoning Research Institute在 reasoning.org.au 的电子邮件经过验证
Koen De BosschereUniversiteit Gent在 elis.ugent.be 的电子邮件经过验证
dusko pavlovicProfessor at University of Hawaii在 hawaii.edu 的电子邮件经过验证

关注

Roberto Giacobazzi

Professor of Computer Science, University of Arizona

在 cs.arizona.edu 的电子邮件经过验证 - 首页

Abstract interpretation static program analysis code protection security lattice theory


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Making abstract interpretations complete R Giacobazzi, F Ranzato, F Scozzari Journal of the ACM (JACM) 47 (2), 361-416, 2000	306	2000
Abstract non-interference: Parameterizing non-interference by abstract interpretation R Giacobazzi, I Mastroeni ACM SIGPLAN Notices 39 (1), 186-197, 2004	245	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	114	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	103	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
Semantic-based code obfuscation by abstract interpretation M Dalla Preda, R Giacobazzi Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005	92	2005
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	92	1997
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
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	70	2009
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	61	2011
Completeness in abstract interpretation: A domain perspective R Giacobazzi, F Ranzato International Conference on Algebraic Methodology and Software Technology …, 1997	61	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用