IRIS
DI GIANANTONIO, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.702
AS - Asia 1.093
EU - Europa 790
SA - Sud America 206
Continente sconosciuto - Info sul continente non disponibili 61
AF - Africa 25
OC - Oceania 2
Totale 4.879
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.647
SG - Singapore 501
CN - Cina 202
IT - Italia 188
UA - Ucraina 166
BR - Brasile 159
HK - Hong Kong 102
VN - Vietnam 100
DE - Germania 88
RU - Federazione Russa 74
SE - Svezia 60
FI - Finlandia 58
FR - Francia 45
IN - India 37
BD - Bangladesh 34
TR - Turchia 34
IE - Irlanda 33
CA - Canada 32
GB - Regno Unito 30
KR - Corea 26
AR - Argentina 19
MX - Messico 10
CO - Colombia 8
AT - Austria 6
CM - Camerun 6
IQ - Iraq 6
IR - Iran 6
JP - Giappone 6
NL - Olanda 6
PK - Pakistan 6
ZA - Sudafrica 6
BE - Belgio 5
DK - Danimarca 5
EC - Ecuador 5
ES - Italia 5
ID - Indonesia 5
KZ - Kazakistan 4
LT - Lituania 4
PL - Polonia 4
PY - Paraguay 4
SA - Arabia Saudita 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
BZ - Belize 3
CL - Cile 3
CZ - Repubblica Ceca 3
MA - Marocco 3
RO - Romania 3
TG - Togo 3
TH - Thailandia 3
VE - Venezuela 3
BO - Bolivia 2
CR - Costa Rica 2
NP - Nepal 2
OM - Oman 2
PT - Portogallo 2
SN - Senegal 2
SR - Suriname 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
AU - Australia 1
BB - Barbados 1
BH - Bahrain 1
CH - Svizzera 1
CW - ???statistics.table.value.countryCode.CW??? 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
EU - Europa 1
GT - Guatemala 1
HN - Honduras 1
HU - Ungheria 1
IL - Israele 1
KE - Kenya 1
LK - Sri Lanka 1
LV - Lettonia 1
MD - Moldavia 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
PR - Porto Rico 1
SY - Repubblica araba siriana 1
Totale 4.820
Salva come PNG Salva come JPEG
Città #
Woodbridge 330
Fairfield 241
Singapore 225
Houston 203
Ashburn 189
Ann Arbor 183
Chandler 176
Jacksonville 119
Seattle 116
Wilmington 106
Hong Kong 101
Dearborn 91
Beijing 89
San Jose 88
Cambridge 79
Udine 67
Boardman 38
Council Bluffs 38
Dublin 33
Ho Chi Minh City 33
Lauterbourg 31
Princeton 31
Los Angeles 28
Izmir 27
Seoul 26
Dallas 24
The Dalles 22
Hefei 20
Buffalo 17
Ottawa 15
São Paulo 15
Frankfurt am Main 14
Santa Clara 14
Trieste 14
Dong Ket 12
Hanoi 12
Mumbai 12
San Diego 12
Reggio Nell'emilia 11
New York 10
Ogden 10
Redondo Beach 10
Milan 9
Orem 9
Atlanta 8
Norwalk 8
Chennai 7
Montreal 7
Bologna 6
Chicago 6
Jinan 6
Tokyo 6
Amsterdam 5
Ankara 5
Belo Horizonte 5
Da Nang 5
Des Moines 5
Helsinki 5
Johannesburg 5
Munich 5
Nanjing 5
Rome 5
Ardabil 4
Biên Hòa 4
Brussels 4
Copenhagen 4
Curitiba 4
Medellín 4
Miano 4
Phoenix 4
Redmond 4
Rio de Janeiro 4
San Mateo 4
San Michele al Tagliamento 4
Asunción 3
Brooklyn 3
Buenos Aires 3
Chandigarh 3
Denver 3
Dhaka 3
Fuzhou 3
Guarulhos 3
Kunming 3
Lomé 3
Queens 3
Salvador 3
Simi Valley 3
São Vicente 3
Vicenza 3
Vienna 3
Warsaw 3
Washington 3
Annapolis 2
Bangkok 2
Basra 2
Belize City 2
Bogotá 2
Brasília 2
Brescia 2
Bắc Ninh 2
Totale 3.172
Salva come PNG Salva come JPEG
Nome #
Countable Non-Determinism and Uncountable Limits 195
An Abstract Data Type for Real Numbers 193
RPO, second-order contexts, and λ-calculus 193
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 192
A type assignment system for game semantics 185
A language for differentiable functions 184
An abstract data type for real numbers 179
A lambda calculus of objects with self-inflicted extension 177
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 177
Games characterizing Levy-Longo trees. 166
A Unifying Approach to Recursive and Co-recursive Definitions 165
An Abstract Notion of Application 162
Games characterizing Levy-Longo trees 159
RPO, Second-Order Contexts, and λ-Calculus 154
A certified, corecursive implementation of exact real numbers 149
A Tour with Constructive Real Numbers 148
Real Number Computability and Domain Theory 143
Game semantics for the pure lazy lamba calculus 143
Real Number Computability and Domain Theory 141
A Co-inductive Approach to Real Numbers 137
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 133
LF+ in Coq for fast-and-loose reasoning 122
Λ!-calculus, intersection types, and involutions 120
Countable Non-Determinism and the Lambda-Calculus 119
The fine structure of game lambda-models. 118
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 117
Game Semantics for Untyped Lambda-beta-eta-calculus 107
Composable partial multiparty session types for open systems 104
A Cartesian Closed Category for Random Variables 102
Composable Partial Multiparty Session Types 98
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 92
Innocent game semantics via intersection type assignment systems 90
Principal Types as Lambda Nets 78
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation 74
Lazy algorithms for exact real arithmetic 63
Totale 4.879
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.196
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 17.196
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022282 0 23 13 27 6 16 19 9 4 47 80 38
2022/2023344 39 46 2 51 45 76 2 20 44 4 10 5
2023/2024114 16 11 1 3 20 26 2 0 11 10 0 14
2024/2025708 9 42 43 31 17 49 77 19 77 19 143 182
2025/20261.270 69 156 109 158 203 88 113 35 83 113 88 55
2026/2027104 72 32 0 0 0 0 0 0 0 0 0 0
Totale 4.879