RANZATO, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 5.740
EU - Europa 921
AS - Asia 601
OC - Oceania 4
SA - Sud America 1
Totale 7.267
Nazione #
US - Stati Uniti d'America 5.735
IT - Italia 359
SG - Singapore 212
CN - Cina 205
FI - Finlandia 153
DE - Germania 109
VN - Vietnam 101
UA - Ucraina 92
FR - Francia 69
IN - India 55
GB - Regno Unito 48
SE - Svezia 26
HR - Croazia 16
HK - Hong Kong 10
IE - Irlanda 9
NL - Olanda 8
BE - Belgio 6
CA - Canada 5
NO - Norvegia 5
PH - Filippine 5
CZ - Repubblica Ceca 4
JP - Giappone 4
RU - Federazione Russa 4
ES - Italia 3
MY - Malesia 3
NZ - Nuova Zelanda 3
PK - Pakistan 3
AT - Austria 2
EE - Estonia 2
IR - Iran 2
PT - Portogallo 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
BG - Bulgaria 1
CL - Cile 1
PL - Polonia 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 7.267
Città #
Fairfield 905
Woodbridge 802
Houston 505
Ann Arbor 467
Santa Clara 404
Ashburn 381
Jacksonville 363
Seattle 322
Wilmington 315
Cambridge 296
Singapore 178
Chandler 129
Princeton 121
Boardman 114
Dong Ket 101
Helsinki 90
San Diego 78
Medford 66
Padova 63
Pune 50
Nanjing 45
Milan 38
Des Moines 25
Falkenstein 21
New York 20
Shenyang 16
Nanchang 15
Roxbury 15
Hebei 14
London 12
Tianjin 12
Brendola 10
Indiana 10
Palermo 10
Dublin 9
Jinan 9
Norwalk 9
Guangzhou 8
Karlsruhe 8
Jiaxing 7
Vicenza 7
Amsterdam 6
Changsha 6
Chioggia 6
Leuven 6
Ningbo 6
Rome 6
Taizhou 6
Treviso 6
Venice 6
Verona 6
Zhengzhou 6
Albignasego 5
Bologna 5
Kharkiv 5
Porto Tolle 5
Brescia 4
Dallas 4
Florence 4
North Bergen 4
Ogden 4
Phoenix 4
Rockville 4
San Francisco 4
Tokyo 4
Yellow Springs 4
Bagnoli Di Sopra 3
Bend 3
Casale Monferrato 3
Falls Church 3
Fiesso d'Artico 3
Hounslow 3
Islington 3
Madrid 3
Montpellier 3
Olongapo City 3
Paris 3
Rodgau 3
Rubano 3
Sant'Elia Fiumerapido 3
Taiedo 3
Trondheim 3
Ahmedabad 2
Altavilla Silentina 2
Atlanta 2
Auckland 2
Beijing 2
Biassono 2
Bonn 2
Borås 2
Catania 2
Chiswick 2
Croydon 2
Genoa 2
Gessate 2
Hong Kong 2
Keila 2
Kilburn 2
Kuala Lumpur 2
Lille 2
Totale 6.280
Nome #
Appunti di Programmazione ad Oggetti 260
Abstracting Nash equilibria of supermodular games 137
Complementing logic program semantics 133
Some properties of complete congruence lattices 126
A new efficient simulation equivalence algorithm 125
A unifying view of abstract domain design 122
Weak relative pseudo-complements of closure operators 122
Making abstract model checking strongly preserving 120
An abstract interpretation-based model of tracing just-in-time compilation 120
Building complete abstract interpretations in a linear logic-based setting 117
Closures on CPOs form complete lattices 116
Saving space in a time efficient simulation algorithm 114
A forward-backward abstraction refinement algorithm 112
Refining and compressing abstract domains 110
An abstract interpretation perspective on linear vs. branching time 110
Analyzing program analyses 109
Strong preservation as completeness in abstract interpretation 109
Pseudocomplements of closure operators on posets 108
Static analysis, abstract interpretation and verification in (constraint logic) programming 107
Making abstract domains condensing 105
States vs. traces in model checking by abstract interpretation 103
Complete abstract interpretations made constructive 103
An abstract interpretation-based refinement algorithm for strong preservation 102
The reduced relative power operation on abstract domains 102
On constructivity of galois connections 102
Complementation in abstract interpretation 100
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions 100
Program analysis is harder than verification: A computability perspective 100
Incompleteness of states w.r.t. traces in model checking 99
Tracing compilation by abstract interpretation 99
On the least complete extension of complete subsemilattices 96
Compositional optimization of disjunctive abstract interpretations 95
Example-guided abstraction simplification 95
Probabilistic bisimulation and simulation algorithms by abstract interpretation 95
Computing stuttering simulations 95
Generalized strong preservation by abstract interpretation. 95
Saving space in a time efficient simulation algorithm 94
A more efficient simulation algorithm on Kripke structures 93
Optimal domains for disjunctive abstract interpretation 92
Making abstract interpretations complete 91
Completeness in abstract interpretation: a domain perspective 89
Robustness Verification of Support Vector Machines 89
Generalizing the Paige-Tarjan algorithm by abstract interpretation 88
Abstract interpretation of supermodular games 88
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 87
Uniform closures: order-theoretically reconstructing logic program semantics and abstract domain refinements 87
An efficient simulation algorithm on Kripke structures 86
Invertible Linear Transforms of Numerical Abstract Domains 84
The powerset operator on abstract interpretations 83
Complementation in abstract interpretation 83
Abstract interpretation of decision tree ensemble classifiers 82
On the completeness of model checking 81
A Rice’s Theorem for Abstract Semantics 80
Language Inclusion Algorithms as Complete Abstract Interpretations 79
Correction to "Some properties of complete congruence lattices" 78
Correctness kernels of abstract interpretations 78
A²I: abstract² interpretation 77
A spectrum of behavioral relations over LTSs on probability distributions 76
Foreword to the special issue on the 2017 Static Analysis Symposium 73
Building Complete Abstract Interpretations in a Linear Logic-based Setting 72
Functional dependencies and Moore-set completions of abstract interpretations and semantics 71
Complete Abstractions Everywhere 71
Strong preservation of temporal fixpoint-based operators by abstract interpretation 70
An efficient simulation algorithm based on abstract interpretation 69
The Subgraph Similarity Problem 68
A time and space efficient simulation algorithm 67
Improving abstract interpretations by systematic lifting to the powerset 55
Complementation of abstract domains made easy 54
A new characterization of complete Heyting and co-Heyting algebras 45
CPOs as Concrete Domains: Lattices of Abstract Domains and Complements 43
Improving Abstract Interpretations by Systematic Lifting to the Powerset 42
A Logic for Locally Complete Abstract Interpretations 42
History of Abstract Interpretation 37
A counterexample to a result concerning closure operators 36
Inclusion Testing of Büchi Automata Based on Well-Quasiorders 35
Genetic adversarial training of decision trees 35
Abstract Interpretation-based Feature Importance for Support Vector Machines - Artifact 34
Complete Abstractions for Checking Language Inclusion 33
Fairness-Aware Training of Decision Trees by Abstract Interpretation 33
Optimization of Disjunctive Abstract Interpretations 32
A Constructive Framework for Galois Connections 32
Robustness Verification of Decision Tree Ensembles 30
Tracing compilation by abstract interpretation 27
Abstract interpretation repair 24
Preface SAS 2017 24
A Correctness and Incorrectness Program Logic 22
Static Analysis: 24th International Symposium, SAS 2017 New York, NY, USA, august 30 - september 1, 2017 Proceedings 21
Local Completeness Logic on Kleene Algebra with Tests 20
Decidability and Synthesis of Abstract Inductive Invariants 18
Abstract Interpretation-Based Feature Importance for Support Vector Machines 17
Intensional Kleene and Rice theorems for abstract program semantics 15
Local Completeness in Abstract Interpretation 13
Analyzing program analyses 13
Robustness Certification of k-Nearest Neighbors 12
Robustness verification of k-nearest neighbors by abstract interpretation 12
Computing Reachable Simulations on Transition Systems 7
Totale 7.352
Categoria #
all - tutte 26.738
article - articoli 10.086
book - libri 408
conference - conferenze 0
curatela - curatele 202
other - altro 346
patent - brevetti 0
selected - selezionate 0
volume - volumi 695
Totale 38.475


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020842 0 0 0 0 0 144 144 177 157 108 42 70
2020/2021899 40 73 32 89 34 65 14 92 172 62 92 134
2021/20221.149 28 112 225 63 47 66 46 165 59 24 129 185
2022/2023496 154 2 3 31 79 59 3 30 57 15 46 17
2023/2024511 19 40 47 81 27 94 25 26 14 24 57 57
2024/20251.016 11 145 109 112 543 96 0 0 0 0 0 0
Totale 7.352