IRIS
DI GIANANTONIO, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.901
AS - Asia 1.096
EU - Europa 850
SA - Sud America 213
Continente sconosciuto - Info sul continente non disponibili 64
AF - Africa 25
OC - Oceania 2
Totale 5.151
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.830
SG - Singapore 502
IT - Italia 241
CN - Cina 202
UA - Ucraina 166
BR - Brasile 162
HK - Hong Kong 102
VN - Vietnam 100
DE - Germania 89
RU - Federazione Russa 74
SE - Svezia 60
FI - Finlandia 58
FR - Francia 46
CA - Canada 38
IN - India 37
BD - Bangladesh 34
GB - Regno Unito 34
IE - Irlanda 34
TR - Turchia 34
KR - Corea 26
AR - Argentina 19
MX - Messico 11
CO - Colombia 9
AT - Austria 6
CM - Camerun 6
ID - Indonesia 6
IQ - Iraq 6
IR - Iran 6
JP - Giappone 6
NL - Olanda 6
PK - Pakistan 6
VE - Venezuela 6
ZA - Sudafrica 6
BE - Belgio 5
DK - Danimarca 5
EC - Ecuador 5
ES - Italia 5
KZ - Kazakistan 4
LT - Lituania 4
PL - Polonia 4
PY - Paraguay 4
SA - Arabia Saudita 4
TH - Thailandia 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
BZ - Belize 3
CL - Cile 3
CZ - Repubblica Ceca 3
MA - Marocco 3
PR - Porto Rico 3
RO - Romania 3
TG - Togo 3
TT - Trinidad e Tobago 3
BB - Barbados 2
BO - Bolivia 2
CR - Costa Rica 2
HN - Honduras 2
JM - Giamaica 2
NI - Nicaragua 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
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
GP - Guadalupe 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
SY - Repubblica araba siriana 1
Totale 5.089
Salva come PNG Salva come JPEG
Città #
Woodbridge 331
Fairfield 241
Singapore 226
Houston 203
Ashburn 198
Ann Arbor 183
Chandler 176
San Jose 129
Jacksonville 119
Seattle 117
Wilmington 107
Hong Kong 101
Dearborn 91
Beijing 89
Cambridge 79
Council Bluffs 67
Udine 67
Boardman 38
Staranzano 34
Dublin 33
Ho Chi Minh City 33
Los Angeles 32
Lauterbourg 31
Princeton 31
Izmir 27
Dallas 26
Seoul 26
The Dalles 22
Hefei 20
Buffalo 17
Santa Clara 16
São Paulo 16
Ottawa 15
Frankfurt am Main 14
Milan 14
Trieste 14
Dong Ket 12
Hanoi 12
Mumbai 12
San Diego 12
Reggio Nell'emilia 11
Atlanta 10
Elk Grove Village 10
New York 10
Ogden 10
Redondo Beach 10
Chicago 9
Orem 9
Montreal 8
Norwalk 8
Chennai 7
Bologna 6
Jinan 6
Phoenix 6
Rome 6
Tokyo 6
Amsterdam 5
Ankara 5
Belo Horizonte 5
Da Nang 5
Des Moines 5
Helsinki 5
Johannesburg 5
Munich 5
Nanjing 5
Ardabil 4
Biên Hòa 4
Brussels 4
Copenhagen 4
Curitiba 4
Medellín 4
Miano 4
Queens 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
Mexico City 3
Reana del Rojale 3
Salvador 3
Simi Valley 3
Springfield 3
São Vicente 3
Vicenza 3
Vienna 3
Warsaw 3
Washington 3
Annapolis 2
Bandung 2
Bangkok 2
Totale 3.322
Salva come PNG Salva come JPEG
Nome #
An Abstract Data Type for Real Numbers 204
RPO, second-order contexts, and λ-calculus 202
Countable Non-Determinism and Uncountable Limits 201
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 199
A language for differentiable functions 193
A type assignment system for game semantics 189
An abstract data type for real numbers 185
A lambda calculus of objects with self-inflicted extension 183
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 180
A Unifying Approach to Recursive and Co-recursive Definitions 177
Games characterizing Levy-Longo trees. 171
An Abstract Notion of Application 167
Games characterizing Levy-Longo trees 165
RPO, Second-Order Contexts, and λ-Calculus 160
A certified, corecursive implementation of exact real numbers 156
Real Number Computability and Domain Theory 154
A Tour with Constructive Real Numbers 153
Game semantics for the pure lazy lamba calculus 148
Real Number Computability and Domain Theory 146
A Co-inductive Approach to Real Numbers 142
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 137
Composable partial multiparty session types for open systems 134
LF+ in Coq for fast-and-loose reasoning 131
Countable Non-Determinism and the Lambda-Calculus 128
Λ!-calculus, intersection types, and involutions 126
The fine structure of game lambda-models. 123
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 122
Game Semantics for Untyped Lambda-beta-eta-calculus 117
A Cartesian Closed Category for Random Variables 109
Composable Partial Multiparty Session Types 104
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 97
Principal Types as Lambda Nets 94
Innocent game semantics via intersection type assignment systems 94
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation 83
Lazy algorithms for exact real arithmetic 66
Strobilus: Enriching Cedar with Stateful Policies 11
Totale 5.151
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.162
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 18.162
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022246 0 0 0 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/2027376 72 95 159 50 0 0 0 0 0 0 0 0
Totale 5.151