Francesco Ranzato 个人学术档案

引用次数

	总计	2019 年至今
引用	2047	570
h 指数	26	13
i10 指数	50	19

200

100

150

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 25 64 56 55 68 58 62 32 51 63 50 68 74 66 76 60 67 94 77 57 46 62 86 48 60 94 109 187 71

开放获取的出版物数量

查看全部

13 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Roberto GiacobazziProfessor of Computer Science, University of Arizona在 cs.arizona.edu 的电子邮件经过验证
Francesca ScozzariAssociate Professor of Computer Science, Università di Chieti-Pescara在 unich.it 的电子邮件经过验证
Catuscia PalamidessiInria在 lix.polytechnique.fr 的电子邮件经过验证
Pierre GantyAssociate Research Professor, IMDEA Software Institute在 imdea.org 的电子邮件经过验证
Roberta GoriUniversita' di Pisa在 di.unipi.it 的电子邮件经过验证
Roberto BruniUniversity of Pisa在 di.unipi.it 的电子邮件经过验证
Caterina UrbanInria & École Normale Supérieure | Université PSL, Paris, France在 inria.fr 的电子邮件经过验证
Agostino Cortesiprofessor of Computer Science, Ca' Foscari University在 unive.it 的电子邮件经过验证
Marco ZanellaUniversità degli Studi di Padova在 math.unipd.it 的电子邮件经过验证
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York University在 cims.nyu.edu 的电子邮件经过验证
Pedro ValeroMeta Platforms, Inc.在 fb.com 的电子邮件经过验证
Francesco ParoliniSorbonne Université在 lip6.fr 的电子邮件经过验证
Paolo BaldanProfessor of Computer Science, University of Padova在 math.unipd.it 的电子邮件经过验证
Linpeng ZhangPhD Student, UCL在 ucl.ac.uk 的电子邮件经过验证
Giorgio DelzannoAssociate Professor, Università di Genova在 unige.it 的电子邮件经过验证
Marco MilaneseSorbonne University / LIP6在 lip6.fr 的电子邮件经过验证
Abhinandan PalUniversity of Birmingham在 bham.ac.uk 的电子邮件经过验证
Nicolas ManiniIMDEA Software Institute在 imdea.org 的电子邮件经过验证

关注

Francesco Ranzato

Professor of Computer Science, University of Padova, Italy

在 math.unipd.it 的电子邮件经过验证 - 首页

Computer Science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Making abstract interpretations complete R Giacobazzi, F Ranzato, F Scozzari Journal of the ACM (JACM) 47 (2), 361-416, 2000	306	2000
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
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
Completeness in abstract interpretation: A domain perspective R Giacobazzi, F Ranzato International Conference on Algebraic Methodology and Software Technology …, 1997	62	1997
Strong preservation as completeness in abstract interpretation F Ranzato, F Tapparo Programming Languages and Systems: 13th European Symposium on Programming …, 2004	59	2004
A new efficient simulation equivalence algorithm F Ranzato, F Tapparo 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 171-180, 2007	54	2007
Analyzing program analyses R Giacobazzi, F Logozzo, F Ranzato ACM SIGPLAN Notices 50 (1), 261-273, 2015	51	2015
Abstract interpretation of decision tree ensemble classifiers F Ranzato, M Zanella Proceedings of the AAAI Conference on Artificial Intelligence 34 (04), 5478-5486, 2020	49	2020
The powerset operator on abstract interpretations G Filé, F Ranzato Theoretical Computer Science 222 (1-2), 77-111, 1999	49	1999
Improving Abstract Interpretations by Systematic Lifting to the Powerset. G Filé, F Ranzato GULP-PRODE (1), 357-371, 1994	49	1994
The reduced relative power operation on abstract domains R Giacobazzi, F Ranzato Theoretical Computer Science 216 (1-2), 159-211, 1999	44	1999
Weak relative pseudo-complements of closure operators R Giacobazzi, C Palamidessi, F Ranzato Algebra Universalis 36, 405-412, 1996	42	1996
Functional Dependencies and Moore-Set Completions of Abstract Interpretations and Semantics. R Giacobazzi, F Ranzato ILPS, 321-335, 1995	40	1995
Generalizing the Paige–Tarjan algorithm by abstract interpretation F Ranzato, F Tapparo Information and Computation 206 (5), 620-651, 2008	39	2008
Generalized strong preservation by abstract interpretation F Ranzato, F Tapparo Journal of Logic and Computation 17 (1), 157-197, 2007	37	2007
An efficient simulation algorithm based on abstract interpretation F Ranzato, F Tapparo Information and Computation 208 (1), 1-22, 2010	35	2010
A logic for locally complete abstract interpretations R Bruni, R Giacobazzi, R Gori, F Ranzato 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021	34	2021
The subgraph similarity problem L De Nardo, F Ranzato, F Tapparo IEEE Transactions on Knowledge and Data Engineering 21 (5), 748-749, 2008	33	2008

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用