RANZATO, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.749
AS - Asia 4.285
EU - Europa 2.626
AF - Africa 815
SA - Sud America 687
Continente sconosciuto - Info sul continente non disponibili 146
OC - Oceania 74
Totale 17.382
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.296
SG - Singapore 1.326
IT - Italia 818
CN - Cina 754
VN - Vietnam 452
HK - Hong Kong 409
BR - Brasile 360
FI - Finlandia 203
FR - Francia 193
DE - Germania 192
IN - India 186
PL - Polonia 176
BD - Bangladesh 146
UA - Ucraina 124
GB - Regno Unito 89
IQ - Iraq 82
TR - Turchia 80
AR - Argentina 68
RU - Federazione Russa 68
PK - Pakistan 60
NL - Olanda 55
SA - Arabia Saudita 55
CA - Canada 52
SE - Svezia 49
BJ - Benin 48
CO - Colombia 45
EC - Ecuador 45
PH - Filippine 45
AT - Austria 42
ES - Italia 42
JP - Giappone 42
ID - Indonesia 41
UZ - Uzbekistan 39
MX - Messico 37
MA - Marocco 35
MY - Malesia 35
VE - Venezuela 35
AE - Emirati Arabi Uniti 33
HR - Croazia 33
TH - Thailandia 32
JO - Giordania 31
IS - Islanda 30
PE - Perù 30
ZA - Sudafrica 30
SK - Slovacchia (Repubblica Slovacca) 29
JM - Giamaica 28
KH - Cambogia 28
NO - Norvegia 28
AO - Angola 27
BE - Belgio 27
DO - Repubblica Dominicana 27
PS - Palestinian Territory 27
AL - Albania 26
BF - Burkina Faso 26
GN - Guinea 26
IE - Irlanda 26
TN - Tunisia 26
BB - Barbados 25
CV - Capo Verde 25
CY - Cipro 25
SO - Somalia 25
BW - Botswana 24
CL - Cile 24
EG - Egitto 24
HN - Honduras 24
KG - Kirghizistan 24
MD - Moldavia 24
NP - Nepal 24
NZ - Nuova Zelanda 24
RS - Serbia 24
SN - Senegal 24
TJ - Tagikistan 24
BA - Bosnia-Erzegovina 23
CR - Costa Rica 23
CZ - Repubblica Ceca 23
EE - Estonia 23
GF - Guiana Francese 23
GT - Guatemala 23
KE - Kenya 23
MN - Mongolia 23
PT - Portogallo 23
TT - Trinidad e Tobago 23
XK - ???statistics.table.value.countryCode.XK??? 23
BO - Bolivia 22
GR - Grecia 22
IR - Iran 22
KR - Corea 22
LA - Repubblica Popolare Democratica del Laos 22
AZ - Azerbaigian 21
ME - Montenegro 21
NE - Niger 21
TW - Taiwan 21
AD - Andorra 20
CH - Svizzera 20
CI - Costa d'Avorio 20
GE - Georgia 20
IL - Israele 20
MZ - Mozambico 20
CW - ???statistics.table.value.countryCode.CW??? 19
DK - Danimarca 19
Totale 16.363
Salva come PNG Salva come JPEG
Città #
Ashburn 972
Fairfield 905
Woodbridge 803
San Jose 787
Singapore 783
Houston 512
Santa Clara 486
Ann Arbor 467
Hong Kong 372
Jacksonville 367
Seattle 329
Wilmington 318
Cambridge 296
Bytom 138
Los Angeles 137
Chandler 129
Boardman 125
Princeton 122
Helsinki 119
Ho Chi Minh City 110
Dong Ket 101
Hanoi 87
San Diego 81
Lauterbourg 79
Milan 74
Medford 66
Padova 66
New York 64
Council Bluffs 62
Chicago 59
Pune 54
Beijing 52
Cotonou 47
Nanjing 45
Padua 42
Munich 41
Buffalo 34
Des Moines 32
Rome 32
Baghdad 31
Amman 30
Amsterdam 30
São Paulo 30
Tashkent 29
The Dalles 28
Riyadh 27
Conakry 26
Orem 25
Phnom Penh 25
Bridgetown 24
Dakar 24
Quito 24
Vienna 24
Bishkek 23
Dushanbe 23
Praia 23
Salt Lake City 23
Ulan Bator 23
Falkenstein 22
Chennai 21
Dublin 21
Guangzhou 21
Nairobi 21
Andorra la Vella 20
Niamey 20
Ouagadougou 20
Venice 20
Vientiane 20
Bangkok 19
Gaborone 19
Lahore 19
Lima 19
Luanda 19
Podgorica 19
Reykjavik 19
Tianjin 19
Turku 19
Warsaw 19
Abidjan 18
Baku 18
Dallas 18
Fiesso d'Artico 18
Kuala Lumpur 18
London 18
Managua 18
Shenyang 18
Tallinn 18
Tokyo 18
Willemstad 18
Frankfurt am Main 17
Havana 17
Jeddah 17
Lusaka 17
Palermo 17
Athens 16
Bologna 16
Chisinau 16
Dili 16
Istanbul 16
Kampala 16
Totale 10.662
Salva come PNG Salva come JPEG
Nome #
Appunti di Programmazione ad Oggetti 472
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 265
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions 251
An abstract interpretation perspective on linear vs. branching time 241
A new efficient simulation equivalence algorithm 233
Compositional optimization of disjunctive abstract interpretations 232
Refining and compressing abstract domains 232
An abstract interpretation-based model of tracing just-in-time compilation 232
A Rice’s Theorem for Abstract Semantics 232
Static analysis, abstract interpretation and verification in (constraint logic) programming 228
A forward-backward abstraction refinement algorithm 221
Tracing compilation by abstract interpretation 220
Saving space in a time efficient simulation algorithm 218
Strong preservation as completeness in abstract interpretation 216
Generalized strong preservation by abstract interpretation. 215
Abstracting Nash equilibria of supermodular games 215
Abstract Interpretation-based Feature Importance for Support Vector Machines - Artifact 211
Making abstract domains condensing 210
Probabilistic bisimulation and simulation algorithms by abstract interpretation 209
Complete abstract interpretations made constructive 207
Some properties of complete congruence lattices 205
Building complete abstract interpretations in a linear logic-based setting 204
Complementing logic program semantics 204
Incompleteness of states w.r.t. traces in model checking 204
Making abstract interpretations complete 200
Pseudocomplements of closure operators on posets 200
Strong preservation of temporal fixpoint-based operators by abstract interpretation 197
Saving space in a time efficient simulation algorithm 197
Robustness Verification of Support Vector Machines 197
Closures on CPOs form complete lattices 196
A unifying view of abstract domain design 196
Making abstract model checking strongly preserving 195
Abstract interpretation of decision tree ensemble classifiers 192
States vs. traces in model checking by abstract interpretation 191
Analyzing program analyses 191
Complementation in abstract interpretation 190
On constructivity of galois connections 188
Invertible Linear Transforms of Numerical Abstract Domains 187
A²I: abstract² interpretation 186
The reduced relative power operation on abstract domains 185
Computing stuttering simulations 183
Generalizing the Paige-Tarjan algorithm by abstract interpretation 182
Correctness kernels of abstract interpretations 181
Weak relative pseudo-complements of closure operators 181
Language Inclusion Algorithms as Complete Abstract Interpretations 180
The Subgraph Similarity Problem 179
Example-guided abstraction simplification 177
A more efficient simulation algorithm on Kripke structures 177
Program analysis is harder than verification: A computability perspective 177
An abstract interpretation-based refinement algorithm for strong preservation 174
Local Completeness Logic on Kleene Algebra with Tests 173
The powerset operator on abstract interpretations 173
A Correctness and Incorrectness Program Logic 173
A Logic for Locally Complete Abstract Interpretations 172
Genetic adversarial training of decision trees 167
A time and space efficient simulation algorithm 166
A spectrum of behavioral relations over LTSs on probability distributions 164
Abstract interpretation of supermodular games 164
Completeness in abstract interpretation: a domain perspective 161
Uniform closures: order-theoretically reconstructing logic program semantics and abstract domain refinements 161
History of Abstract Interpretation 161
Intensional Kleene and Rice theorems for abstract program semantics 160
On the completeness of model checking 159
Optimal domains for disjunctive abstract interpretation 153
Complete Abstractions for Checking Language Inclusion 153
Foreword to the special issue on the 2017 Static Analysis Symposium 152
Fairness-Aware Training of Decision Trees by Abstract Interpretation 152
Complete Abstractions Everywhere 147
On the least complete extension of complete subsemilattices 146
Computing Reachable Simulations on Transition Systems 145
An efficient simulation algorithm on Kripke structures 145
Complementation in abstract interpretation 145
Building Complete Abstract Interpretations in a Linear Logic-based Setting 142
An efficient simulation algorithm based on abstract interpretation 140
A new characterization of complete Heyting and co-Heyting algebras 140
Abstract interpretation repair 137
Abstract Interpretation-Based Feature Importance for Support Vector Machines 135
Robustness Certification of k-Nearest Neighbors 135
Correction to "Some properties of complete congruence lattices" 133
Functional dependencies and Moore-set completions of abstract interpretations and semantics 132
Improving abstract interpretations by systematic lifting to the powerset 131
The Reachable Simulation Problem 130
Analyzing program analyses 128
Robustness Verification of Decision Tree Ensembles 128
Complementation of abstract domains made easy 127
A Constructive Framework for Galois Connections 126
Tracing compilation by abstract interpretation 125
Inclusion Testing of Büchi Automata Based on Well-Quasiorders 125
Local Completeness in Abstract Interpretation 124
The Best of Abstract Interpretations 124
Robustness verification of k-nearest neighbors by abstract interpretation 121
Model Checking as Program Verification by Abstract Interpretation 118
CPOs as Concrete Domains: Lattices of Abstract Domains and Complements 105
Improving Abstract Interpretations by Systematic Lifting to the Powerset 103
Static Analysis: 24th International Symposium, SAS 2017 New York, NY, USA, august 30 - september 1, 2017 Proceedings 101
A counterexample to a result concerning closure operators 97
Optimization of Disjunctive Abstract Interpretations 87
Preface SAS 2017 85
Exact Robustness Certification of k-Nearest Neighbors 81
Decidability and Synthesis of Abstract Inductive Invariants 80
Totale 17.288
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.859
article - articoli 18.384
book - libri 750
conference - conferenze 0
curatela - curatele 379
other - altro 1.101
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.338
Totale 71.811
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.121 0 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/20252.358 11 145 109 112 543 103 72 109 168 72 407 507
2025/20268.294 233 630 1.306 1.358 652 344 968 755 796 661 272 319
2026/2027394 222 172 0 0 0 0 0 0 0 0 0 0
Totale 17.382