DI GIANANTONIO, Pietro
 Distribuzione geografica
Continente #
NA - Nord America 2.229
EU - Europa 643
AS - Asia 529
SA - Sud America 67
AF - Africa 13
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.482
Nazione #
US - Stati Uniti d'America 2.203
SG - Singapore 233
UA - Ucraina 166
IT - Italia 139
CN - Cina 112
HK - Hong Kong 93
DE - Germania 73
RU - Federazione Russa 71
SE - Svezia 60
BR - Brasile 54
FI - Finlandia 54
IE - Irlanda 33
TR - Turchia 29
CA - Canada 23
GB - Regno Unito 21
KR - Corea 21
VN - Vietnam 14
AR - Argentina 6
CM - Camerun 6
IN - India 6
IR - Iran 6
BD - Bangladesh 5
BE - Belgio 5
AT - Austria 4
FR - Francia 3
LT - Lituania 3
RO - Romania 3
TG - Togo 3
AE - Emirati Arabi Uniti 2
CO - Colombia 2
JP - Giappone 2
MX - Messico 2
AL - Albania 1
CL - Cile 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EC - Ecuador 1
ES - Italia 1
EU - Europa 1
IQ - Iraq 1
KE - Kenya 1
KZ - Kazakistan 1
LV - Lettonia 1
MA - Marocco 1
MD - Moldavia 1
NL - Olanda 1
NP - Nepal 1
OM - Oman 1
PE - Perù 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
SR - Suriname 1
TH - Thailandia 1
TN - Tunisia 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 3.482
Città #
Woodbridge 330
Fairfield 241
Houston 198
Ann Arbor 183
Chandler 176
Singapore 150
Ashburn 135
Jacksonville 119
Seattle 115
Wilmington 104
Hong Kong 93
Dearborn 91
Cambridge 79
Udine 67
Beijing 49
Boardman 36
Dublin 33
Princeton 31
Izmir 27
Seoul 21
Hefei 20
Ottawa 15
Trieste 14
Dong Ket 12
San Diego 12
Reggio Nell'emilia 11
Ogden 10
Los Angeles 9
Norwalk 8
Jinan 6
São Paulo 6
Belo Horizonte 5
Des Moines 5
Munich 5
Nanjing 5
Ardabil 4
Brussels 4
Montreal 4
Redmond 4
San Mateo 4
San Michele al Tagliamento 4
Bologna 3
Dallas 3
Fuzhou 3
Kunming 3
Lomé 3
Milan 3
Phoenix 3
Simi Valley 3
Vicenza 3
Ankara 2
Atlanta 2
Buenos Aires 2
Chengdu 2
Chicago 2
Chongqing 2
Dhaka 2
Frankfurt am Main 2
Ho Chi Minh City 2
London 2
Miami 2
Monmouth Junction 2
Mumbai 2
New York 2
Ningbo 2
Pittsburgh 2
Pune 2
Rome 2
Santa Clara 2
Stockholm 2
São José dos Campos 2
Tokyo 2
Vienna 2
Washington 2
Acquaviva Delle Fonti 1
Agadir 1
Albuquerque 1
Amsterdam 1
Angra dos Reis 1
Arzamas 1
Augusta 1
Basra 1
Boca del Rio 1
Brasília 1
Brescia 1
Brooklyn 1
Bálsamo 1
Caldas Novas 1
Calgary 1
Camacan 1
Camden 1
Campo Bom 1
Campos dos Goytacazes 1
Cape Town 1
Caxias 1
Chennai 1
Chisinau 1
Columbus 1
Concórdia 1
Curitiba 1
Totale 2.546
Nome #
RPO, second-order contexts, and λ-calculus 155
An abstract data type for real numbers 152
An Abstract Data Type for Real Numbers 150
Countable Non-Determinism and Uncountable Limits 149
A type assignment system for game semantics 144
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 140
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 138
Games characterizing Levy-Longo trees. 136
A language for differentiable functions 134
A lambda calculus of objects with self-inflicted extension 130
An Abstract Notion of Application 129
Games characterizing Levy-Longo trees 126
A Unifying Approach to Recursive and Co-recursive Definitions 124
Real Number Computability and Domain Theory 121
A Tour with Constructive Real Numbers 120
RPO, Second-Order Contexts, and λ-Calculus 112
Real Number Computability and Domain Theory 111
A certified, corecursive implementation of exact real numbers 110
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 105
Game semantics for the pure lazy lamba calculus 102
A Co-inductive Approach to Real Numbers 99
Countable Non-Determinism and the Lambda-Calculus 94
The fine structure of game lambda-models. 87
Game Semantics for Untyped Lambda-beta-eta-calculus 87
Λ!-calculus, intersection types, and involutions 81
LF+ in Coq for fast-and-loose reasoning 80
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 63
Composable Partial Multiparty Session Types 60
Innocent game semantics via intersection type assignment systems 59
Composable partial multiparty session types for open systems 57
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 52
Principal Types as Lambda Nets 37
Lazy algorithms for exact real arithmetic 37
A Cartesian Closed Category for Random Variables 33
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation 27
Totale 3.541
Categoria #
all - tutte 12.166
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 12.166


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021438 10 42 11 50 9 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/202636 36 0 0 0 0 0 0 0 0 0 0 0
Totale 3.541