RANZATO, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.366
AS - Asia 4.235
EU - Europa 2.553
AF - Africa 810
SA - Sud America 684
OC - Oceania 74
Continente sconosciuto - Info sul continente non disponibili 41
Totale 16.763
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.938
SG - Singapore 1.312
IT - Italia 754
CN - Cina 749
VN - Vietnam 452
HK - Hong Kong 397
BR - Brasile 359
FI - Finlandia 203
DE - Germania 192
FR - Francia 190
IN - India 184
PL - Polonia 176
BD - Bangladesh 131
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
BJ - Benin 48
SE - Svezia 48
PH - Filippine 45
CO - Colombia 44
EC - Ecuador 44
AT - Austria 42
ES - Italia 42
JP - Giappone 42
ID - Indonesia 40
UZ - Uzbekistan 39
CA - Canada 36
MA - Marocco 35
MX - Messico 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
KH - Cambogia 28
AO - Angola 27
BE - Belgio 27
DO - Repubblica Dominicana 27
NO - Norvegia 27
PS - Palestinian Territory 27
AL - Albania 26
BF - Burkina Faso 26
GN - Guinea 26
IE - Irlanda 26
JM - Giamaica 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
NZ - Nuova Zelanda 24
RS - Serbia 24
SN - Senegal 24
TJ - Tagikistan 24
BA - Bosnia-Erzegovina 23
EE - Estonia 23
GF - Guiana Francese 23
GT - Guatemala 23
KE - Kenya 23
MN - Mongolia 23
NP - Nepal 23
PT - Portogallo 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
TT - Trinidad e Tobago 22
AZ - Azerbaigian 21
CR - Costa Rica 21
ME - Montenegro 21
NE - Niger 21
TW - Taiwan 21
AD - Andorra 20
CH - Svizzera 20
CI - Costa d'Avorio 20
CZ - Repubblica Ceca 20
GE - Georgia 20
IL - Israele 20
MZ - Mozambico 20
DK - Danimarca 19
LY - Libia 19
Totale 15.857
Salva come PNG Salva come JPEG
Città #
Ashburn 930
Fairfield 905
Woodbridge 803
San Jose 774
Singapore 770
Houston 512
Ann Arbor 467
Santa Clara 415
Hong Kong 368
Jacksonville 367
Seattle 327
Wilmington 318
Cambridge 296
Bytom 138
Chandler 129
Boardman 125
Princeton 122
Helsinki 119
Ho Chi Minh City 110
Dong Ket 101
Los Angeles 96
Hanoi 87
San Diego 81
Lauterbourg 79
Medford 66
Padova 66
Milan 64
New York 62
Chicago 59
Pune 54
Beijing 51
Cotonou 47
Nanjing 45
Munich 41
Padua 39
Buffalo 34
Baghdad 31
Des Moines 31
Amman 30
Amsterdam 30
São Paulo 30
Tashkent 29
The Dalles 28
Riyadh 27
Conakry 26
Phnom Penh 25
Bridgetown 24
Dakar 24
Orem 24
Vienna 24
Bishkek 23
Dushanbe 23
Praia 23
Quito 23
Rome 23
Ulan Bator 23
Falkenstein 22
Chennai 21
Dublin 21
Guangzhou 21
Nairobi 21
Andorra la Vella 20
Niamey 20
Ouagadougou 20
Salt Lake City 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
Fiesso d'Artico 18
Kuala Lumpur 18
London 18
Managua 18
Shenyang 18
Tallinn 18
Tokyo 18
Venice 18
Frankfurt am Main 17
Havana 17
Jeddah 17
Lusaka 17
Willemstad 17
Athens 16
Chisinau 16
Dallas 16
Dili 16
Istanbul 16
Kampala 16
Libreville 16
Montevideo 16
Palermo 16
Totale 10.393
Salva come PNG Salva come JPEG
Nome #
Appunti di Programmazione ad Oggetti 457
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 257
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions 238
An abstract interpretation-based model of tracing just-in-time compilation 232
An abstract interpretation perspective on linear vs. branching time 229
Compositional optimization of disjunctive abstract interpretations 227
A Rice’s Theorem for Abstract Semantics 227
A new efficient simulation equivalence algorithm 223
Refining and compressing abstract domains 221
Static analysis, abstract interpretation and verification in (constraint logic) programming 219
Tracing compilation by abstract interpretation 215
Saving space in a time efficient simulation algorithm 214
A forward-backward abstraction refinement algorithm 213
Abstracting Nash equilibria of supermodular games 213
Strong preservation as completeness in abstract interpretation 210
Abstract Interpretation-based Feature Importance for Support Vector Machines - Artifact 207
Generalized strong preservation by abstract interpretation. 205
Making abstract domains condensing 204
Some properties of complete congruence lattices 203
Complementing logic program semantics 200
Complete abstract interpretations made constructive 199
Building complete abstract interpretations in a linear logic-based setting 198
Pseudocomplements of closure operators on posets 197
Incompleteness of states w.r.t. traces in model checking 197
Probabilistic bisimulation and simulation algorithms by abstract interpretation 196
Strong preservation of temporal fixpoint-based operators by abstract interpretation 195
A unifying view of abstract domain design 194
Robustness Verification of Support Vector Machines 194
Saving space in a time efficient simulation algorithm 193
Closures on CPOs form complete lattices 192
Abstract interpretation of decision tree ensemble classifiers 191
Analyzing program analyses 190
Making abstract model checking strongly preserving 189
States vs. traces in model checking by abstract interpretation 187
Complementation in abstract interpretation 184
Making abstract interpretations complete 183
On constructivity of galois connections 183
Computing stuttering simulations 182
A²I: abstract² interpretation 181
The reduced relative power operation on abstract domains 181
Invertible Linear Transforms of Numerical Abstract Domains 180
Correctness kernels of abstract interpretations 179
Language Inclusion Algorithms as Complete Abstract Interpretations 179
Weak relative pseudo-complements of closure operators 178
The Subgraph Similarity Problem 174
Generalizing the Paige-Tarjan algorithm by abstract interpretation 174
Program analysis is harder than verification: A computability perspective 173
Example-guided abstraction simplification 172
An abstract interpretation-based refinement algorithm for strong preservation 170
A Correctness and Incorrectness Program Logic 169
The powerset operator on abstract interpretations 168
A more efficient simulation algorithm on Kripke structures 167
A Logic for Locally Complete Abstract Interpretations 165
Local Completeness Logic on Kleene Algebra with Tests 163
Genetic adversarial training of decision trees 163
Abstract interpretation of supermodular games 162
A time and space efficient simulation algorithm 160
Uniform closures: order-theoretically reconstructing logic program semantics and abstract domain refinements 159
Completeness in abstract interpretation: a domain perspective 158
A spectrum of behavioral relations over LTSs on probability distributions 158
History of Abstract Interpretation 156
On the completeness of model checking 155
Intensional Kleene and Rice theorems for abstract program semantics 154
Optimal domains for disjunctive abstract interpretation 152
Foreword to the special issue on the 2017 Static Analysis Symposium 150
Fairness-Aware Training of Decision Trees by Abstract Interpretation 148
Complete Abstractions Everywhere 147
Complete Abstractions for Checking Language Inclusion 147
On the least complete extension of complete subsemilattices 146
An efficient simulation algorithm on Kripke structures 143
Building Complete Abstract Interpretations in a Linear Logic-based Setting 141
Complementation in abstract interpretation 139
A new characterization of complete Heyting and co-Heyting algebras 137
Computing Reachable Simulations on Transition Systems 136
An efficient simulation algorithm based on abstract interpretation 136
Abstract interpretation repair 133
Correction to "Some properties of complete congruence lattices" 133
Functional dependencies and Moore-set completions of abstract interpretations and semantics 129
Abstract Interpretation-Based Feature Importance for Support Vector Machines 128
Complementation of abstract domains made easy 127
Improving abstract interpretations by systematic lifting to the powerset 126
Robustness Certification of k-Nearest Neighbors 125
A Constructive Framework for Galois Connections 125
Inclusion Testing of Büchi Automata Based on Well-Quasiorders 124
Analyzing program analyses 122
Robustness Verification of Decision Tree Ensembles 122
Local Completeness in Abstract Interpretation 121
The Reachable Simulation Problem 121
Tracing compilation by abstract interpretation 120
The Best of Abstract Interpretations 117
Robustness verification of k-nearest neighbors by abstract interpretation 116
Model Checking as Program Verification by Abstract Interpretation 109
CPOs as Concrete Domains: Lattices of Abstract Domains and Complements 105
Improving Abstract Interpretations by Systematic Lifting to the Powerset 102
Static Analysis: 24th International Symposium, SAS 2017 New York, NY, USA, august 30 - september 1, 2017 Proceedings 99
A counterexample to a result concerning closure operators 97
Optimization of Disjunctive Abstract Interpretations 86
Preface SAS 2017 84
Decidability and Synthesis of Abstract Inductive Invariants 79
Exact Robustness Certification of k-Nearest Neighbors 65
Totale 16.793
Salva come PNG Salva come JPEG
Categoria #
all - tutte 47.325
article - articoli 17.465
book - libri 717
conference - conferenze 0
curatela - curatele 364
other - altro 1.015
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.279
Totale 68.165
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021134 0 0 0 0 0 0 0 0 0 0 0 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/20252.358 11 145 109 112 543 103 72 109 168 72 407 507
2025/20268.173 233 630 1.306 1.358 652 344 968 755 796 661 272 198
Totale 16.867