DI GIANANTONIO, Pietro
 Distribuzione geografica
Continente #
NA - Nord America 2.200
EU - Europa 640
AS - Asia 355
SA - Sud America 53
AF - Africa 12
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.261
Nazione #
US - Stati Uniti d'America 2.177
SG - Singapore 198
UA - Ucraina 166
IT - Italia 138
CN - Cina 75
DE - Germania 73
RU - Federazione Russa 71
SE - Svezia 60
FI - Finlandia 54
BR - Brasile 45
IE - Irlanda 33
TR - Turchia 27
CA - Canada 22
GB - Regno Unito 21
KR - Corea 21
VN - Vietnam 12
CM - Camerun 6
IN - India 6
IR - Iran 6
AR - Argentina 5
BE - Belgio 5
AT - Austria 3
FR - Francia 3
LT - Lituania 3
RO - Romania 3
TG - Togo 3
AE - Emirati Arabi Uniti 2
BD - Bangladesh 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
JP - Giappone 1
KZ - Kazakistan 1
LV - Lettonia 1
MA - Marocco 1
MD - Moldavia 1
NL - Olanda 1
NP - Nepal 1
PE - Perù 1
PK - Pakistan 1
PL - Polonia 1
TH - Thailandia 1
TN - Tunisia 1
ZA - Sudafrica 1
Totale 3.261
Città #
Woodbridge 330
Fairfield 241
Houston 198
Ann Arbor 183
Chandler 176
Singapore 149
Ashburn 133
Jacksonville 119
Seattle 114
Wilmington 104
Dearborn 91
Cambridge 79
Udine 67
Boardman 36
Dublin 33
Princeton 31
Beijing 28
Izmir 27
Seoul 21
Ottawa 15
Trieste 14
Dong Ket 12
San Diego 12
Reggio Nell'emilia 11
Ogden 10
Los Angeles 8
Norwalk 8
Jinan 6
Des Moines 5
Munich 5
Nanjing 5
Ardabil 4
Brussels 4
Hefei 4
Montreal 4
Redmond 4
San Mateo 4
San Michele al Tagliamento 4
São Paulo 4
Belo Horizonte 3
Bologna 3
Dallas 3
Fuzhou 3
Kunming 3
Lomé 3
Milan 3
Phoenix 3
Simi Valley 3
Vicenza 3
Buenos Aires 2
Chengdu 2
Chongqing 2
Frankfurt am Main 2
London 2
Monmouth Junction 2
Mumbai 2
New York 2
Ningbo 2
Pune 2
Rome 2
Santa Clara 2
Stockholm 2
São José dos Campos 2
Vienna 2
Washington 2
Acquaviva Delle Fonti 1
Agadir 1
Amsterdam 1
Angra dos Reis 1
Arzamas 1
Atlanta 1
Augusta 1
Basra 1
Brasília 1
Brescia 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
Chicago 1
Chisinau 1
Concórdia 1
Curitiba 1
Dhaka 1
Duque de Caxias 1
Durandé 1
Fleury-Merogis 1
Florence 1
Fort Wayne 1
Grafing 1
Greensboro 1
Guangzhou 1
Guayaquil 1
Hamburg 1
Totale 2.400
Nome #
RPO, second-order contexts, and λ-calculus 152
An abstract data type for real numbers 147
An Abstract Data Type for Real Numbers 143
Countable Non-Determinism and Uncountable Limits 142
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 137
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 135
Games characterizing Levy-Longo trees. 133
An Abstract Notion of Application 125
A type assignment system for game semantics 125
A lambda calculus of objects with self-inflicted extension 124
Games characterizing Levy-Longo trees 120
A language for differentiable functions 117
A Unifying Approach to Recursive and Co-recursive Definitions 116
Real Number Computability and Domain Theory 114
A Tour with Constructive Real Numbers 114
RPO, Second-Order Contexts, and λ-Calculus 107
Real Number Computability and Domain Theory 106
A certified, corecursive implementation of exact real numbers 103
Game semantics for the pure lazy lamba calculus 99
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 97
A Co-inductive Approach to Real Numbers 94
Countable Non-Determinism and the Lambda-Calculus 91
The fine structure of game lambda-models. 83
Λ!-calculus, intersection types, and involutions 77
Game Semantics for Untyped Lambda-beta-eta-calculus 77
LF+ in Coq for fast-and-loose reasoning 74
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 58
Innocent game semantics via intersection type assignment systems 55
Composable Partial Multiparty Session Types 55
Composable partial multiparty session types for open systems 51
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 50
Lazy algorithms for exact real arithmetic 29
A Cartesian Closed Category for Random Variables 27
Principal Types as Lambda Nets 24
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation 19
Totale 3.320
Categoria #
all - tutte 11.593
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 11.593


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202059 0 0 0 0 0 0 0 0 0 0 7 52
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/2025523 9 42 43 31 17 49 77 19 77 19 140 0
Totale 3.320