IRIS
DI GIANANTONIO, Pietro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.379
AS - Asia 911
EU - Europa 683
SA - Sud America 177
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.172
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.341
SG - Singapore 433
CN - Cina 182
UA - Ucraina 166
BR - Brasile 148
IT - Italia 143
HK - Hong Kong 96
DE - Germania 80
VN - Vietnam 77
RU - Federazione Russa 74
SE - Svezia 60
FI - Finlandia 54
IE - Irlanda 33
TR - Turchia 31
GB - Regno Unito 27
KR - Corea 26
CA - Canada 25
IN - India 20
AR - Argentina 15
FR - Francia 12
BD - Bangladesh 8
MX - Messico 7
CM - Camerun 6
IR - Iran 6
BE - Belgio 5
JP - Giappone 5
ZA - Sudafrica 5
AT - Austria 4
ES - Italia 4
PL - Polonia 4
UZ - Uzbekistan 4
AE - Emirati Arabi Uniti 3
ID - Indonesia 3
IQ - Iraq 3
LT - Lituania 3
MA - Marocco 3
NL - Olanda 3
PK - Pakistan 3
PY - Paraguay 3
RO - Romania 3
TG - Togo 3
TH - Thailandia 3
CL - Cile 2
CO - Colombia 2
EC - Ecuador 2
KZ - Kazakistan 2
NP - Nepal 2
PT - Portogallo 2
VE - Venezuela 2
AF - Afghanistan, Repubblica islamica di 1
AL - Albania 1
BB - Barbados 1
BH - Bahrain 1
BO - Bolivia 1
BZ - Belize 1
CH - Svizzera 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
EU - Europa 1
GT - Guatemala 1
HU - Ungheria 1
KE - Kenya 1
LV - Lettonia 1
MD - Moldavia 1
OM - Oman 1
PE - Perù 1
PR - Porto Rico 1
SA - Arabia Saudita 1
SN - Senegal 1
SR - Suriname 1
TN - Tunisia 1
Totale 4.172
Salva come PNG Salva come JPEG
Città #
Woodbridge 330
Fairfield 241
Houston 200
Singapore 197
Ann Arbor 183
Chandler 176
Ashburn 160
Jacksonville 119
Seattle 116
Wilmington 105
Hong Kong 96
Dearborn 91
Beijing 88
Cambridge 79
Udine 67
Boardman 36
Dublin 33
Princeton 31
Ho Chi Minh City 27
Izmir 27
Seoul 26
Los Angeles 25
Dallas 22
Hefei 20
Ottawa 15
Buffalo 14
São Paulo 14
Trieste 14
Dong Ket 12
San Diego 12
Reggio Nell'emilia 11
Ogden 10
Redondo Beach 10
Frankfurt am Main 9
Mumbai 9
Hanoi 8
New York 8
Norwalk 8
Atlanta 6
Jinan 6
Montreal 6
Belo Horizonte 5
Chennai 5
Des Moines 5
Munich 5
Nanjing 5
Tokyo 5
Ankara 4
Ardabil 4
Brussels 4
Johannesburg 4
Milan 4
Orem 4
Phoenix 4
Redmond 4
San Mateo 4
San Michele al Tagliamento 4
Amsterdam 3
Asunción 3
Biên Hòa 3
Bologna 3
Buenos Aires 3
Chicago 3
Curitiba 3
Da Nang 3
Denver 3
Fuzhou 3
Guarulhos 3
Kunming 3
Lomé 3
Rio de Janeiro 3
Salvador 3
Santa Clara 3
Simi Valley 3
São Vicente 3
Vicenza 3
Warsaw 3
Washington 3
Annapolis 2
Bangkok 2
Basra 2
Brasília 2
Bắc Ninh 2
Camacan 2
Caxias do Sul 2
Chengdu 2
Chongqing 2
Concord 2
Dhaka 2
Haiphong 2
Jundiaí 2
Lomas de Zamora 2
London 2
Maceió 2
Manchester 2
Mexico City 2
Miami 2
Monmouth Junction 2
Ningbo 2
Nova Friburgo 2
Totale 2.844
Salva come PNG Salva come JPEG
Nome #
Countable Non-Determinism and Uncountable Limits 176
An Abstract Data Type for Real Numbers 173
An abstract data type for real numbers 170
RPO, second-order contexts, and λ-calculus 169
A language for differentiable functions 166
A type assignment system for game semantics 163
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 163
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 162
Games characterizing Levy-Longo trees. 154
A lambda calculus of objects with self-inflicted extension 151
An Abstract Notion of Application 147
Games characterizing Levy-Longo trees 143
A Unifying Approach to Recursive and Co-recursive Definitions 141
A Tour with Constructive Real Numbers 136
Real Number Computability and Domain Theory 134
RPO, Second-Order Contexts, and λ-Calculus 129
Real Number Computability and Domain Theory 128
A certified, corecursive implementation of exact real numbers 128
A Co-inductive Approach to Real Numbers 124
Game semantics for the pure lazy lamba calculus 124
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 116
Countable Non-Determinism and the Lambda-Calculus 107
The fine structure of game lambda-models. 105
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 100
LF+ in Coq for fast-and-loose reasoning 99
Λ!-calculus, intersection types, and involutions 97
Game Semantics for Untyped Lambda-beta-eta-calculus 96
Innocent game semantics via intersection type assignment systems 79
Composable Partial Multiparty Session Types 77
Composable partial multiparty session types for open systems 74
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 70
Principal Types as Lambda Nets 59
A Cartesian Closed Category for Random Variables 59
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation 59
Lazy algorithms for exact real arithmetic 53
Totale 4.231
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.816
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 14.816
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021316 0 0 0 0 0 50 10 47 73 42 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/2026726 69 156 109 158 203 31 0 0 0 0 0 0
Totale 4.231