CINECA IRIS Institutional Research Information System

BERARDUCCI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.342
AS - Asia 2.353
EU - Europa 2.130
SA - Sud America 306
AF - Africa 63
OC - Oceania 4
Totale 10.198
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.208
IT - Italia 871
SG - Singapore 757
CN - Cina 683
HK - Hong Kong 353
SE - Svezia 289
BR - Brasile 266
VN - Vietnam 173
BG - Bulgaria 150
UA - Ucraina 125
DE - Germania 121
KR - Corea 121
FI - Finlandia 116
CA - Canada 113
GB - Regno Unito 110
FR - Francia 108
RU - Federazione Russa 76
TR - Turchia 74
CH - Svizzera 69
JP - Giappone 36
IN - India 26
CI - Costa d'Avorio 24
AT - Austria 22
BD - Bangladesh 20
IQ - Iraq 17
NL - Olanda 17
BE - Belgio 15
AR - Argentina 14
ZA - Sudafrica 13
PK - Pakistan 12
SA - Arabia Saudita 12
ES - Italia 11
MX - Messico 11
MY - Malesia 10
MA - Marocco 8
ID - Indonesia 7
PH - Filippine 7
EC - Ecuador 6
PT - Portogallo 6
PY - Paraguay 6
UZ - Uzbekistan 6
AL - Albania 5
CZ - Repubblica Ceca 5
TW - Taiwan 5
CL - Cile 4
JO - Giordania 4
KH - Cambogia 4
PL - Polonia 4
VE - Venezuela 4
CO - Colombia 3
HN - Honduras 3
NP - Nepal 3
NZ - Nuova Zelanda 3
RS - Serbia 3
TN - Tunisia 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
DZ - Algeria 2
EG - Egitto 2
GT - Guatemala 2
IL - Israele 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
AO - Angola 1
AU - Australia 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
CR - Costa Rica 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
IE - Irlanda 1
JM - Giamaica 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.198
Salva come PNG Salva come JPEG
Città #
Ann Arbor 649
Woodbridge 617
Fairfield 447
Ashburn 438
Singapore 410
Houston 392
Hong Kong 342
Santa Clara 339
San Jose 236
Milan 208
Chandler 197
Jacksonville 172
Wilmington 170
Seattle 169
Hefei 156
Sofia 150
Serra 144
Cambridge 142
Shanghai 138
Dallas 132
Seoul 119
New York 112
Ottawa 97
Beijing 93
Florence 75
Boardman 74
Princeton 63
Lawrence 60
Bern 57
Nanjing 53
Los Angeles 52
Lauterbourg 51
Dearborn 50
Medford 47
Jüchen 38
Des Moines 36
Ho Chi Minh City 33
Hanoi 31
Munich 31
Helsinki 30
Tokyo 29
Buffalo 28
Columbus 28
Istanbul 28
Izmir 27
Nanchang 27
Abidjan 24
São Paulo 24
Pisa 23
San Diego 23
Turku 23
Vicopisano 23
The Dalles 21
Council Bluffs 20
Dong Ket 20
Ogden 20
Rome 20
Marseille 19
Vienna 18
Brussels 15
Kunming 14
Redondo Beach 13
Boulder 12
Bracknell 12
London 12
Hebei 11
Sesto Fiorentino 11
Changsha 10
Montespertoli 10
Shenyang 10
Washington 10
Baltimore 9
Da Nang 9
Frankfurt am Main 9
Naples 9
Zurich 9
Kuala Lumpur 8
Rio de Janeiro 8
Auburn Hills 7
Falkenstein 7
Jeddah 7
Lappeenranta 7
Salvador 7
Turin 7
Amsterdam 6
Denver 6
Genoa 6
Johannesburg 6
Kocaeli 6
Paris 6
Phoenix 6
Santa Cruz 6
Tashkent 6
Tianjin 6
Xian 6
Aci Catena 5
Baghdad 5
Belo Horizonte 5
Buenos Aires 5
Chennai 5
Totale 7.629
Salva come PNG Salva come JPEG
Nome #
Automatic Synthesis of Typed Lambda-Programs on Term Algebras 246
Discrete subgroups of locally definable groups 233
A recursive nonstandard model of Normal Open Induction 218
On the cop number of a graph 199
Combinatorial principles in elementary number theory 197
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup 193
Corrigendum to ``Transfer methods for o-minimal topology'' 192
A self-interpreter of lambda calculus having a normal form 188
On the provability logic of bounded arithmetic 186
Groups definable in two orthogonal sorts 184
A note on coding techniques in bounded arithmetic 181
Zero Groups and Maximal Tori 181
Una Generalizzazione dei Funzionali Ricorsivi di Godel 180
Factorization in generalized power series 180
Groups definable in two orthogonal sorts 180
Some new results on easy lambda-terms 179
Church-Rosser lambda-theories, infinite lambda-terms and consistency problems 177
Cardinal invariants and independence results in the poset of precompact group topologies 176
o-Minimal Fundamental Group, Homology and Manifolds 175
Products of Straight Spaces 174
Surreal numbers, derivations and transseries 174
An additive measure in o-minimal expansions of fields 172
General Recursion on Second Order Term Algebras 172
Local connectedness and extension of uniformly continuous functions 172
Uniformly Approchable Functions and Spaces 171
On the homotopy type of definable groups in an o-minimal structure 171
Infinite paths and cliques in random graphs 171
Generalizations of Unifications 169
A Vietoris–Smale mapping theorem for the homotopy of hyperdefinable sets 166
Cartan subgroups and regular points of o‐minimal groups 165
DELTA-ZERO COMPLEXITY OF THE RELATION y = Pi_{i leq n} F(i) 164
Higher homotopy of groups definable in o-minimal structures 164
An additivity theorem for uniformly continuous functions 163
Transseries as germs of surreal functions 162
MODAL LOGIC AND INTERPRETABILITY 160
Asymptotic analysis of Skolem's exponential functions 160
Functions with distant fibers and uniform continuity 158
An effective version of Wilkie's theorem of the complement and some effective o-minimality results 158
Group covers, o-minimality, and categoricity 157
The Interpretability Logic of Peano Arithmetic 150
Topology of definable abelian groups in o-minimal structures 150
o-Minimal cohomology: Finiteness and Invariance Results 149
Vector spaces with a union of independent subspaces 147
Transfer Methods for O-minimal Topology 147
Discrete subgroups of locally definable groups 146
Uniform quasi components, thin spaces and compact separation 143
O-minimal spectra, infinitesimal subgroups and cohomology 141
Exponential fields and Conway’s omega-map 136
A descending chain condition for groups definable in o-minimal structures 135
Surreal numbers, exponentiation and derivations 130
Higher homotopy of groups definable in o-minimal structures 127
Intersection theory for o-minimal manifolds 124
Groups definable in two orthogonal sorts 124
Orthogonal decomposition of definable groups 116
Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations 115
INFINITE LAMBDA CALCULUS AND TYPES 108
Le direzioni della logica in Italia: la teoria dei modelli 107
Infinite lambda-calculus and non-sensible models 106
On the homotopy type of definable groups in an o-minimal structure 103
null 95
Il paradosso di Banach-Tarski 95
null 94
On the value group of the transseries 88
La verità Matematica da Kant a Gödel 86
Provability logic: models within models in Peano Arithmetic 81
null 73
Provability logic: models within models in Peano Arithmetic 53
Sigma_n Interpretations of modal logic 41
null 29
Linear recurrence relations are Delta_0-definable 22
Totale 10.329
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.120
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 27.120
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021117 0 0 0 0 0 0 0 0 0 0 41 76
2021/2022688 16 58 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.019 113 325 216 158 159 206 314 86 120 298 24 0
Totale 10.329