IRIS
DI GIANANTONIO, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.533
AS - Asia 1.067
EU - Europa 741
SA - Sud America 205
AF - Africa 25
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 4.575
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.490
SG - Singapore 495
CN - Cina 202
UA - Ucraina 166
BR - Brasile 159
IT - Italia 148
HK - Hong Kong 100
VN - Vietnam 100
DE - Germania 88
RU - Federazione Russa 74
SE - Svezia 60
FI - Finlandia 58
FR - Francia 44
IN - India 36
TR - Turchia 34
IE - Irlanda 33
GB - Regno Unito 30
KR - Corea 26
CA - Canada 25
AR - Argentina 19
BD - Bangladesh 18
MX - Messico 10
CO - Colombia 7
AT - Austria 6
CM - Camerun 6
IQ - Iraq 6
IR - Iran 6
JP - Giappone 6
NL - Olanda 6
ZA - Sudafrica 6
BE - Belgio 5
EC - Ecuador 5
ES - Italia 5
ID - Indonesia 5
PK - Pakistan 5
KZ - Kazakistan 4
PL - Polonia 4
PY - Paraguay 4
SA - Arabia Saudita 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
CL - Cile 3
LT - Lituania 3
MA - Marocco 3
RO - Romania 3
TG - Togo 3
TH - Thailandia 3
VE - Venezuela 3
BO - Bolivia 2
BZ - Belize 2
CR - Costa Rica 2
NP - Nepal 2
OM - Oman 2
PT - Portogallo 2
SN - Senegal 2
SR - Suriname 2
TN - Tunisia 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
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
EU - Europa 1
GT - Guatemala 1
HU - Ungheria 1
IL - Israele 1
KE - Kenya 1
LK - Sri Lanka 1
LV - Lettonia 1
MD - Moldavia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
PR - Porto Rico 1
SY - Repubblica araba siriana 1
Totale 4.575
Salva come PNG Salva come JPEG
Città #
Woodbridge 330
Fairfield 241
Singapore 224
Houston 201
Ann Arbor 183
Chandler 176
Ashburn 170
Jacksonville 119
Seattle 116
Wilmington 105
Hong Kong 99
Dearborn 91
Beijing 89
Cambridge 79
Udine 67
San Jose 49
Boardman 36
Dublin 33
Ho Chi Minh City 33
Lauterbourg 31
Princeton 31
Izmir 27
Los Angeles 26
Seoul 26
Dallas 23
The Dalles 22
Hefei 20
Ottawa 15
São Paulo 15
Buffalo 14
Frankfurt am Main 14
Trieste 14
Dong Ket 12
Hanoi 12
San Diego 12
Mumbai 11
Reggio Nell'emilia 11
Ogden 10
Redondo Beach 10
New York 9
Orem 9
Atlanta 8
Norwalk 8
Chennai 7
Jinan 6
Montreal 6
Tokyo 6
Amsterdam 5
Ankara 5
Belo Horizonte 5
Chicago 5
Da Nang 5
Des Moines 5
Helsinki 5
Johannesburg 5
Munich 5
Nanjing 5
Santa Clara 5
Ardabil 4
Biên Hòa 4
Brussels 4
Council Bluffs 4
Curitiba 4
Medellín 4
Milan 4
Phoenix 4
Redmond 4
Rio de Janeiro 4
Rome 4
San Mateo 4
San Michele al Tagliamento 4
Asunción 3
Bologna 3
Buenos Aires 3
Chandigarh 3
Denver 3
Dhaka 3
Fuzhou 3
Guarulhos 3
Kunming 3
Lomé 3
Salvador 3
Simi Valley 3
São Vicente 3
Vicenza 3
Vienna 3
Warsaw 3
Washington 3
Annapolis 2
Bangkok 2
Basra 2
Brasília 2
Brooklyn 2
Bắc Ninh 2
Camacan 2
Caxias do Sul 2
Chengdu 2
Chongqing 2
Concord 2
Dammam 2
Totale 3.038
Salva come PNG Salva come JPEG
Nome #
An Abstract Data Type for Real Numbers 190
RPO, second-order contexts, and λ-calculus 189
Countable Non-Determinism and Uncountable Limits 185
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 181
A type assignment system for game semantics 179
An abstract data type for real numbers 178
A language for differentiable functions 177
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 173
A lambda calculus of objects with self-inflicted extension 168
Games characterizing Levy-Longo trees. 163
An Abstract Notion of Application 158
A Unifying Approach to Recursive and Co-recursive Definitions 157
Games characterizing Levy-Longo trees 152
RPO, Second-Order Contexts, and λ-Calculus 147
A Tour with Constructive Real Numbers 146
A certified, corecursive implementation of exact real numbers 143
Real Number Computability and Domain Theory 142
Game semantics for the pure lazy lamba calculus 138
Real Number Computability and Domain Theory 137
A Co-inductive Approach to Real Numbers 133
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 126
The fine structure of game lambda-models. 115
Countable Non-Determinism and the Lambda-Calculus 114
LF+ in Coq for fast-and-loose reasoning 112
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 109
Λ!-calculus, intersection types, and involutions 108
Game Semantics for Untyped Lambda-beta-eta-calculus 102
Composable partial multiparty session types for open systems 89
Innocent game semantics via intersection type assignment systems 88
Composable Partial Multiparty Session Types 87
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 83
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation 71
Principal Types as Lambda Nets 69
A Cartesian Closed Category for Random Variables 66
Lazy algorithms for exact real arithmetic 59
Totale 4.634
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.826
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 15.826
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202194 0 0 0 0 0 0 0 0 0 0 60 34
2021/2022296 14 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.129 69 156 109 158 203 88 113 35 83 113 2 0
Totale 4.634