CINECA IRIS Institutional Research Information System

BERARDUCCI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.812
AS - Asia 2.361
EU - Europa 2.241
SA - Sud America 314
Continente sconosciuto - Info sul continente non disponibili 131
AF - Africa 63
OC - Oceania 4
Totale 10.926
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.659
IT - Italia 971
SG - Singapore 759
CN - Cina 686
HK - Hong Kong 353
SE - Svezia 289
BR - Brasile 269
VN - Vietnam 173
BG - Bulgaria 150
UA - Ucraina 125
DE - Germania 121
KR - Corea 121
CA - Canada 119
FI - Finlandia 116
FR - Francia 110
GB - Regno Unito 110
RU - Federazione Russa 76
TR - Turchia 75
CH - Svizzera 69
JP - Giappone 36
IN - India 26
AT - Austria 24
CI - Costa d'Avorio 24
BD - Bangladesh 20
NL - Olanda 18
IQ - Iraq 17
AR - Argentina 16
BE - Belgio 16
ES - Italia 14
ZA - Sudafrica 13
MX - Messico 12
PK - Pakistan 12
SA - Arabia Saudita 12
MY - Malesia 10
MA - Marocco 8
PH - Filippine 8
CR - Costa Rica 7
EC - Ecuador 7
ID - Indonesia 7
PT - Portogallo 6
PY - Paraguay 6
UZ - Uzbekistan 6
AL - Albania 5
CL - Cile 5
CZ - Repubblica Ceca 5
JM - Giamaica 5
PL - Polonia 5
TW - Taiwan 5
VE - Venezuela 5
JO - Giordania 4
KH - Cambogia 4
RS - Serbia 4
CO - Colombia 3
GT - Guatemala 3
HN - Honduras 3
IL - Israele 3
NP - Nepal 3
NZ - Nuova Zelanda 3
TN - Tunisia 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
DZ - Algeria 2
EG - Egitto 2
IR - Iran 2
KE - Kenya 2
KZ - Kazakistan 2
LY - Libia 2
NI - Nicaragua 2
OM - Oman 2
QA - Qatar 2
RO - Romania 2
SN - Senegal 2
SY - Repubblica araba siriana 2
UY - Uruguay 2
AG - Antigua e Barbuda 1
AO - Angola 1
AU - Australia 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
IE - Irlanda 1
KG - Kirghizistan 1
KW - Kuwait 1
LT - Lituania 1
MU - Mauritius 1
NG - Nigeria 1
NO - Norvegia 1
PS - Palestinian Territory 1
SI - Slovenia 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
Totale 10.795
Salva come PNG Salva come JPEG
Città #
Ann Arbor 649
Woodbridge 618
Ashburn 483
Fairfield 447
Singapore 410
Houston 394
Hong Kong 342
Santa Clara 341
San Jose 326
Milan 223
Chandler 197
Jacksonville 173
Wilmington 170
Seattle 169
Hefei 156
Sofia 150
Serra 144
Cambridge 142
Shanghai 138
Dallas 137
Seoul 119
New York 114
Council Bluffs 97
Ottawa 97
Beijing 95
Florence 76
Boardman 74
Princeton 63
Lawrence 60
Bern 57
Los Angeles 56
Nanjing 53
Lauterbourg 51
Dearborn 50
Medford 47
Jüchen 38
Des Moines 36
Pisa 34
Ho Chi Minh City 33
Buffalo 31
Hanoi 31
Munich 31
Helsinki 30
Columbus 29
Istanbul 29
Tokyo 29
Izmir 27
Nanchang 27
Rome 27
São Paulo 25
Abidjan 24
San Diego 23
Turku 23
Vicopisano 23
The Dalles 21
Dong Ket 20
Ogden 20
Vienna 20
Marseille 19
Bologna 15
Brussels 15
Kunming 14
Redondo Beach 13
Boulder 12
Bracknell 12
London 12
Naples 12
Hebei 11
Sesto Fiorentino 11
Washington 11
Changsha 10
Montespertoli 10
Shenyang 10
Baltimore 9
Da Nang 9
Frankfurt am Main 9
Zurich 9
Kuala Lumpur 8
Paris 8
Phoenix 8
Rio de Janeiro 8
Turin 8
Auburn Hills 7
Falkenstein 7
Jeddah 7
Lappeenranta 7
Salvador 7
Amsterdam 6
Brooklyn 6
Chicago 6
Denver 6
Genoa 6
Johannesburg 6
Kocaeli 6
Memphis 6
Padua 6
San José 6
Santa Cruz 6
Tashkent 6
Tianjin 6
Totale 7.925
Salva come PNG Salva come JPEG
Nome #
Automatic Synthesis of Typed Lambda-Programs on Term Algebras 257
Discrete subgroups of locally definable groups 250
A recursive nonstandard model of Normal Open Induction 226
On the cop number of a graph 208
Combinatorial principles in elementary number theory 207
Corrigendum to ``Transfer methods for o-minimal topology'' 198
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup 197
Groups definable in two orthogonal sorts 197
A self-interpreter of lambda calculus having a normal form 193
Church-Rosser lambda-theories, infinite lambda-terms and consistency problems 190
Infinite paths and cliques in random graphs 190
On the provability logic of bounded arithmetic 189
Zero Groups and Maximal Tori 189
Factorization in generalized power series 188
Una Generalizzazione dei Funzionali Ricorsivi di Godel 187
A note on coding techniques in bounded arithmetic 187
Groups definable in two orthogonal sorts 187
Some new results on easy lambda-terms 186
Local connectedness and extension of uniformly continuous functions 186
Transseries as germs of surreal functions 185
o-Minimal Fundamental Group, Homology and Manifolds 183
An additive measure in o-minimal expansions of fields 183
Cardinal invariants and independence results in the poset of precompact group topologies 181
Products of Straight Spaces 180
Asymptotic analysis of Skolem's exponential functions 179
Generalizations of Unifications 178
Uniformly Approchable Functions and Spaces 178
Surreal numbers, derivations and transseries 177
Cartan subgroups and regular points of o‐minimal groups 176
On the homotopy type of definable groups in an o-minimal structure 175
General Recursion on Second Order Term Algebras 174
A Vietoris–Smale mapping theorem for the homotopy of hyperdefinable sets 174
An additivity theorem for uniformly continuous functions 173
MODAL LOGIC AND INTERPRETABILITY 171
DELTA-ZERO COMPLEXITY OF THE RELATION y = Pi_{i leq n} F(i) 169
Higher homotopy of groups definable in o-minimal structures 169
An effective version of Wilkie's theorem of the complement and some effective o-minimality results 164
Functions with distant fibers and uniform continuity 163
Group covers, o-minimality, and categoricity 161
Vector spaces with a union of independent subspaces 158
Exponential fields and Conway’s omega-map 158
Topology of definable abelian groups in o-minimal structures 155
Discrete subgroups of locally definable groups 155
O-minimal spectra, infinitesimal subgroups and cohomology 154
o-Minimal cohomology: Finiteness and Invariance Results 154
The Interpretability Logic of Peano Arithmetic 153
Transfer Methods for O-minimal Topology 151
Uniform quasi components, thin spaces and compact separation 147
Surreal numbers, exponentiation and derivations 145
A descending chain condition for groups definable in o-minimal structures 142
Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations 137
Orthogonal decomposition of definable groups 134
Higher homotopy of groups definable in o-minimal structures 133
Groups definable in two orthogonal sorts 129
Intersection theory for o-minimal manifolds 127
INFINITE LAMBDA CALCULUS AND TYPES 114
Le direzioni della logica in Italia: la teoria dei modelli 114
Infinite lambda-calculus and non-sensible models 114
On the value group of the transseries 114
On the homotopy type of definable groups in an o-minimal structure 108
Il paradosso di Banach-Tarski 105
Provability logic: models within models in Peano Arithmetic 97
null 95
La verità Matematica da Kant a Gödel 95
null 94
null 73
Provability logic: models within models in Peano Arithmetic 65
Sigma_n Interpretations of modal logic 47
null 29
Linear recurrence relations are Delta_0-definable 25
Totale 10.926
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.752
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 29.752
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022614 0 0 51 40 110 94 17 39 41 16 53 153
2022/2023691 82 113 53 44 71 111 10 41 103 3 49 11
2023/2024718 112 99 95 50 89 103 39 10 12 16 24 69
2024/20252.093 17 94 11 99 233 234 191 132 172 230 272 408
2025/20262.201 113 325 216 158 159 206 314 86 120 298 130 76
2026/2027415 114 134 167 0 0 0 0 0 0 0 0 0
Totale 10.926