IRIS
DI GIANANTONIO, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.638
AS - Asia 1.076
EU - Europa 760
SA - Sud America 205
AF - Africa 25
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 4.708
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.593
SG - Singapore 497
CN - Cina 202
UA - Ucraina 166
IT - Italia 162
BR - Brasile 159
HK - Hong Kong 101
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
CA - Canada 26
KR - Corea 26
BD - Bangladesh 23
AR - Argentina 19
MX - Messico 10
CO - Colombia 7
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
PL - Polonia 4
PY - Paraguay 4
SA - Arabia Saudita 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
BZ - Belize 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
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.708
Salva come PNG Salva come JPEG
Città #
Woodbridge 330
Fairfield 241
Singapore 224
Houston 203
Ann Arbor 183
Chandler 176
Ashburn 171
Jacksonville 119
Seattle 116
Wilmington 105
Hong Kong 100
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
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
Santa Clara 10
New York 9
Orem 9
Atlanta 8
Norwalk 8
Chennai 7
Montreal 7
Chicago 6
Jinan 6
Tokyo 6
Amsterdam 5
Ankara 5
Belo Horizonte 5
Bologna 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
Milan 4
Phoenix 4
Redmond 4
Rio de Janeiro 4
Rome 4
San Mateo 4
San Michele al Tagliamento 4
Asunción 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
Belize City 2
Brasília 2
Brooklyn 2
Bắc Ninh 2
Camacan 2
Caxias do Sul 2
Chengdu 2
Cheyenne 2
Totale 3.128
Salva come PNG Salva come JPEG
Nome #
Countable Non-Determinism and Uncountable Limits 193
An Abstract Data Type for Real Numbers 191
RPO, second-order contexts, and λ-calculus 191
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 191
A type assignment system for game semantics 183
A language for differentiable functions 182
An abstract data type for real numbers 179
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 174
A lambda calculus of objects with self-inflicted extension 171
Games characterizing Levy-Longo trees. 165
A Unifying Approach to Recursive and Co-recursive Definitions 161
An Abstract Notion of Application 160
Games characterizing Levy-Longo trees 154
RPO, Second-Order Contexts, and λ-Calculus 149
A Tour with Constructive Real Numbers 147
A certified, corecursive implementation of exact real numbers 146
Real Number Computability and Domain Theory 143
Game semantics for the pure lazy lamba calculus 142
Real Number Computability and Domain Theory 141
A Co-inductive Approach to Real Numbers 137
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 128
The fine structure of game lambda-models. 118
Countable Non-Determinism and the Lambda-Calculus 118
LF+ in Coq for fast-and-loose reasoning 117
Λ!-calculus, intersection types, and involutions 116
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 111
Game Semantics for Untyped Lambda-beta-eta-calculus 107
Composable partial multiparty session types for open systems 102
Composable Partial Multiparty Session Types 95
Innocent game semantics via intersection type assignment systems 89
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 88
Principal Types as Lambda Nets 74
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation 72
A Cartesian Closed Category for Random Variables 70
Lazy algorithms for exact real arithmetic 62
Totale 4.767
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.581
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 16.581
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202134 0 0 0 0 0 0 0 0 0 0 0 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.262 69 156 109 158 203 88 113 35 83 113 88 47
Totale 4.767