DI GIANANTONIO, Pietro
 Distribuzione geografica
Continente #
NA - Nord America 2.145
EU - Europa 558
AS - Asia 223
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 1
SA - Sud America 1
Totale 2.937
Nazione #
US - Stati Uniti d'America 2.133
UA - Ucraina 164
IT - Italia 129
SG - Singapore 103
CN - Cina 69
DE - Germania 67
SE - Svezia 58
FI - Finlandia 53
IE - Irlanda 32
TR - Turchia 27
RU - Federazione Russa 23
GB - Regno Unito 17
CA - Canada 12
VN - Vietnam 12
CM - Camerun 6
IR - Iran 6
IN - India 4
BE - Belgio 3
FR - Francia 3
RO - Romania 3
TG - Togo 3
AT - Austria 2
AE - Emirati Arabi Uniti 1
CL - Cile 1
CZ - Repubblica Ceca 1
ES - Italia 1
EU - Europa 1
JP - Giappone 1
LV - Lettonia 1
NL - Olanda 1
Totale 2.937
Città #
Woodbridge 330
Fairfield 241
Houston 198
Ann Arbor 183
Chandler 176
Ashburn 132
Jacksonville 119
Seattle 114
Wilmington 104
Singapore 92
Dearborn 91
Cambridge 79
Udine 64
Boardman 36
Dublin 32
Princeton 31
Izmir 27
Beijing 22
Trieste 14
Dong Ket 12
Ottawa 12
San Diego 12
Reggio Nell'emilia 11
Ogden 10
Norwalk 8
Jinan 6
Des Moines 5
Nanjing 5
Ardabil 4
Hefei 4
Redmond 4
San Mateo 4
Bologna 3
Dallas 3
Fuzhou 3
Kunming 3
Lomé 3
Los Angeles 3
Simi Valley 3
Vicenza 3
Brussels 2
Chengdu 2
Chongqing 2
Milan 2
Monmouth Junction 2
Munich 2
Ningbo 2
Pune 2
Rome 2
Vienna 2
Washington 2
Acquaviva Delle Fonti 1
Amsterdam 1
Augusta 1
Brescia 1
Fleury-Merogis 1
Florence 1
Grafing 1
Guangzhou 1
Hamburg 1
Horia 1
Indiana 1
Leawood 1
Madrid 1
Mestre 1
Moscow 1
Mumbai 1
Nanchang 1
New Orleans 1
New York 1
Prague 1
Redwood City 1
Reston 1
Riga 1
Saint Petersburg 1
San Francisco 1
Shaoxing 1
Shenyang 1
Spinea 1
Tokyo 1
Tver 1
Xian 1
Zanjan 1
Zhengzhou 1
Totale 2.261
Nome #
RPO, second-order contexts, and λ-calculus 144
An abstract data type for real numbers 138
An Abstract Data Type for Real Numbers 133
Countable Non-Determinism and Uncountable Limits 133
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 129
Games characterizing Levy-Longo trees. 122
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 118
An Abstract Notion of Application 114
Games characterizing Levy-Longo trees 113
A type assignment system for game semantics 113
A language for differentiable functions 109
Real Number Computability and Domain Theory 108
A lambda calculus of objects with self-inflicted extension 108
A Unifying Approach to Recursive and Co-recursive Definitions 105
RPO, Second-Order Contexts, and λ-Calculus 104
Real Number Computability and Domain Theory 99
A Tour with Constructive Real Numbers 99
A certified, corecursive implementation of exact real numbers 94
Game semantics for the pure lazy lamba calculus 89
Unifying Recursive and Co-recursive Definitions in Sheaf Categories 87
A Co-inductive Approach to Real Numbers 85
Countable Non-Determinism and the Lambda-Calculus 79
The fine structure of game lambda-models. 75
Game Semantics for Untyped Lambda-beta-eta-calculus 75
Λ!-calculus, intersection types, and involutions 66
LF+ in Coq for fast-and-loose reasoning 62
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 50
Innocent game semantics via intersection type assignment systems 50
Composable Partial Multiparty Session Types 42
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 41
Composable partial multiparty session types for open systems 38
Lazy algorithms for exact real arithmetic 23
Principal Types as Lambda Nets 14
A Cartesian Closed Category for Random Variables 8
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation 6
Totale 2.973
Categoria #
all - tutte 9.801
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 9.801


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020483 0 0 0 0 0 126 97 87 59 55 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/2025176 9 42 43 31 17 34 0 0 0 0 0 0
Totale 2.973