RANZATO, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 519
AS - Asia 85
EU - Europa 83
SA - Sud America 3
AF - Africa 2
Totale 692
Nazione #
US - Stati Uniti d'America 517
JP - Giappone 71
IT - Italia 42
RU - Federazione Russa 17
CN - Cina 9
GB - Regno Unito 8
DE - Germania 5
IE - Irlanda 5
CL - Cile 3
IN - India 3
CA - Canada 2
FI - Finlandia 2
DK - Danimarca 1
DZ - Algeria 1
HK - Hong Kong 1
NL - Olanda 1
SE - Svezia 1
TW - Taiwan 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 692
Città #
Fairfield 70
Houston 62
Saitama 59
Buffalo 39
Santa Cruz 34
Ashburn 33
Ann Arbor 28
Seattle 28
Woodbridge 27
Padova 25
Cambridge 17
Des Moines 13
Takasago 11
Wilmington 11
Saint Petersburg 10
Chicago 8
Las Vegas 7
San Diego 7
Clearwater 6
San Francisco 6
Dublin 5
Fleming Island 4
Bengaluru 3
Boardman 3
Florence 3
Wuhan 3
Beijing 2
Boulder 2
Dallas 2
Hangzhou 2
Helsinki 2
Henderson 2
New York 2
Phoenix 2
Providence 2
Shanghai 2
Toronto 2
University Park 2
Algiers 1
Arcore 1
Bollebygd 1
Büdelsdorf 1
Civitavecchia 1
Davis 1
Denver 1
Frankfurt Am Main 1
Irving 1
Kirkland 1
London 1
Los Angeles 1
Lyngby 1
Milpitas 1
Moscow 1
Muizenberg 1
Napoli 1
Oak Lawn 1
Pasadena 1
Polverara 1
Portland 1
Reston 1
Rochester 1
Rockville 1
Rome 1
Saint Louis 1
Salem 1
San Pablo 1
Santiago 1
Scottsdale 1
Scranton 1
Tokyo 1
Ural 1
Utrecht 1
Vellezzo Bellini 1
Vicenza 1
Totale 582
Nome #
On constructivity of galois connections, file e14fb26a-740e-3de1-e053-1705fe0ac030 177
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions, file e14fb267-b3d7-3de1-e053-1705fe0ac030 165
A²I: abstract² interpretation, file e14fb26b-232c-3de1-e053-1705fe0ac030 109
Abstracting Nash equilibria of supermodular games, file e14fb26e-7eff-3de1-e053-1705fe0ac030 73
Invertible Linear Transforms of Numerical Abstract Domains, file e14fb26b-0c87-3de1-e053-1705fe0ac030 71
Analyzing program analyses, file e14fb26e-84dd-3de1-e053-1705fe0ac030 47
Program analysis is harder than verification: A computability perspective, file e14fb26f-0bc3-3de1-e053-1705fe0ac030 39
A Logic for Locally Complete Abstract Interpretations, file e14fb26f-1aa0-3de1-e053-1705fe0ac030 8
Abstract interpretation of decision tree ensemble classifiers, file e14fb26d-22bf-3de1-e053-1705fe0ac030 5
A Rice’s Theorem for Abstract Semantics, file e14fb26f-1082-3de1-e053-1705fe0ac030 5
An abstract interpretation-based model of tracing just-in-time compilation, file e14fb26e-b3e9-3de1-e053-1705fe0ac030 4
Abstract interpretation repair, file 0c0d0103-2520-48e3-926d-f5b40ee37d87 3
Decidability and Synthesis of Abstract Inductive Invariants, file e14fb26c-f6a9-3de1-e053-1705fe0ac030 3
Robustness Verification of Support Vector Machines, file e14fb26e-6082-3de1-e053-1705fe0ac030 3
Complete Abstractions for Checking Language Inclusion, file e14fb26e-e292-3de1-e053-1705fe0ac030 3
A more efficient simulation algorithm on Kripke structures, file e14fb267-a572-3de1-e053-1705fe0ac030 2
Static Analysis: 24th International Symposium, SAS 2017 New York, NY, USA, august 30 - september 1, 2017 Proceedings, file e14fb269-f031-3de1-e053-1705fe0ac030 2
Language Inclusion Algorithms as Complete Abstract Interpretations, file e14fb26e-6167-3de1-e053-1705fe0ac030 2
Abstract interpretation of supermodular games, file e14fb26e-6421-3de1-e053-1705fe0ac030 2
Inclusion Testing of Büchi Automata Based on Well-Quasiorders, file e14fb26e-c8e8-3de1-e053-1705fe0ac030 2
Analyzing program analyses, file 5d3bbe91-21ab-4407-829c-92da3d096f20 1
Probabilistic bisimulation and simulation algorithms by abstract interpretation, file e14fb267-6678-3de1-e053-1705fe0ac030 1
Compositional optimization of disjunctive abstract interpretations, file e14fb267-6762-3de1-e053-1705fe0ac030 1
States vs. traces in model checking by abstract interpretation, file e14fb267-6a10-3de1-e053-1705fe0ac030 1
Saving space in a time efficient simulation algorithm, file e14fb267-83f0-3de1-e053-1705fe0ac030 1
A spectrum of behavioral relations over LTSs on probability distributions, file e14fb267-9be1-3de1-e053-1705fe0ac030 1
Program analysis is harder than verification: A computability perspective, file e14fb26a-e20f-3de1-e053-1705fe0ac030 1
Totale 732
Categoria #
all - tutte 1300
article - articoli 563
book - libri 0
conference - conferenze 0
curatela - curatele 2
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1865


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/20182 0000 00 00 0011
2018/201940 0100 00 02 4101310
2019/2020114 10556 96 1617 171085
2020/2021103 116110 79 1015 121282
2021/2022257 12112748 3511 1318 1065115
2022/2023208 2203951 5226 162 0000
Totale 732