CINECA IRIS Institutional Research Information System

BERARDUCCI, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.016
AS - Asia 2.075
EU - Europa 2.006
SA - Sud America 275
AF - Africa 54
OC - Oceania 4
Totale 9.430
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.890
IT - Italia 838
SG - Singapore 677
CN - Cina 669
HK - Hong Kong 350
SE - Svezia 288
BR - Brasile 246
BG - Bulgaria 150
UA - Ucraina 122
KR - Corea 120
DE - Germania 117
CA - Canada 115
FI - Finlandia 106
GB - Regno Unito 106
VN - Vietnam 87
RU - Federazione Russa 76
TR - Turchia 71
CH - Svizzera 60
FR - Francia 54
CI - Costa d'Avorio 23
AT - Austria 22
BE - Belgio 15
NL - Olanda 15
BD - Bangladesh 14
IN - India 14
AR - Argentina 12
ES - Italia 11
JP - Giappone 11
ZA - Sudafrica 10
IQ - Iraq 9
MX - Messico 9
SA - Arabia Saudita 9
MA - Marocco 8
PK - Pakistan 7
EC - Ecuador 6
MY - Malesia 6
PT - Portogallo 6
CZ - Repubblica Ceca 5
UZ - Uzbekistan 5
AL - Albania 4
ID - Indonesia 4
PY - Paraguay 4
TW - Taiwan 4
CL - Cile 3
NZ - Nuova Zelanda 3
PL - Polonia 3
RS - Serbia 3
AE - Emirati Arabi Uniti 2
EG - Egitto 2
IL - Israele 2
IR - Iran 2
JO - Giordania 2
KE - Kenya 2
KZ - Kazakistan 2
RO - Romania 2
SN - Senegal 2
UY - Uruguay 2
VE - Venezuela 2
AO - Angola 1
AU - Australia 1
AZ - Azerbaigian 1
BH - Bahrain 1
BN - Brunei Darussalam 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
HR - Croazia 1
IE - Irlanda 1
KW - Kuwait 1
LT - Lituania 1
MU - Mauritius 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
OM - Oman 1
TH - Thailandia 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
Totale 9.430
Salva come PNG Salva come JPEG
Città #
Ann Arbor 649
Woodbridge 617
Fairfield 447
Ashburn 418
Houston 393
Singapore 355
Hong Kong 348
Santa Clara 334
Milan 207
Chandler 197
Jacksonville 172
Wilmington 170
Seattle 169
Hefei 156
Sofia 150
Serra 144
Cambridge 142
Shanghai 138
Dallas 133
Seoul 119
New York 106
Ottawa 97
Beijing 90
Boardman 74
Florence 74
Princeton 63
Lawrence 60
Bern 57
Los Angeles 53
Nanjing 53
Dearborn 50
Medford 46
Jüchen 38
Des Moines 34
Munich 30
Buffalo 28
Istanbul 28
Izmir 27
Nanchang 27
Helsinki 26
Columbus 25
Abidjan 23
San Diego 23
Vicopisano 23
São Paulo 22
Dong Ket 20
Ogden 20
The Dalles 20
Marseille 19
Vienna 18
Rome 17
Turku 17
Pisa 16
Brussels 15
Kunming 14
Redondo Beach 13
Boulder 12
Bracknell 12
Ho Chi Minh City 12
London 12
Council Bluffs 11
Hebei 11
Sesto Fiorentino 11
Changsha 10
Montespertoli 10
San Jose 10
Shenyang 10
Washington 10
Naples 9
Auburn Hills 7
Falkenstein 7
Frankfurt am Main 7
Jeddah 7
Lappeenranta 7
Rio de Janeiro 7
Tokyo 7
Turin 7
Genoa 6
Kocaeli 6
Paris 6
Salvador 6
Tianjin 6
Toronto 6
Xian 6
Aci Catena 5
Amsterdam 5
Belo Horizonte 5
Buenos Aires 5
Da Nang 5
Denver 5
Düsseldorf 5
Guarulhos 5
Jiaxing 5
Johannesburg 5
Lisbon 5
Livorno 5
Lucca 5
Madrid 5
Santa Cruz 5
Shenzhen 5
Totale 7.142
Salva come PNG Salva come JPEG
Nome #
Automatic Synthesis of Typed Lambda-Programs on Term Algebras 227
Discrete subgroups of locally definable groups 212
A recursive nonstandard model of Normal Open Induction 210
Combinatorial principles in elementary number theory 187
On the cop number of a graph 187
Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup 185
Corrigendum to ``Transfer methods for o-minimal topology'' 182
On the provability logic of bounded arithmetic 179
Some new results on easy lambda-terms 176
A self-interpreter of lambda calculus having a normal form 175
Factorization in generalized power series 173
A note on coding techniques in bounded arithmetic 169
Groups definable in two orthogonal sorts 169
Church-Rosser lambda-theories, infinite lambda-terms and consistency problems 168
Zero Groups and Maximal Tori 168
Cardinal invariants and independence results in the poset of precompact group topologies 167
Una Generalizzazione dei Funzionali Ricorsivi di Godel 166
Products of Straight Spaces 165
General Recursion on Second Order Term Algebras 165
Groups definable in two orthogonal sorts 165
o-Minimal Fundamental Group, Homology and Manifolds 164
On the homotopy type of definable groups in an o-minimal structure 164
Generalizations of Unifications 161
An additive measure in o-minimal expansions of fields 161
Local connectedness and extension of uniformly continuous functions 161
Surreal numbers, derivations and transseries 159
Higher homotopy of groups definable in o-minimal structures 159
Uniformly Approchable Functions and Spaces 158
DELTA-ZERO COMPLEXITY OF THE RELATION y = Pi_{i leq n} F(i) 157
A Vietoris–Smale mapping theorem for the homotopy of hyperdefinable sets 155
An additivity theorem for uniformly continuous functions 154
MODAL LOGIC AND INTERPRETABILITY 153
Infinite paths and cliques in random graphs 153
Functions with distant fibers and uniform continuity 150
Group covers, o-minimality, and categoricity 150
An effective version of Wilkie's theorem of the complement and some effective o-minimality results 146
Topology of definable abelian groups in o-minimal structures 144
Transseries as germs of surreal functions 144
Transfer Methods for O-minimal Topology 142
o-Minimal cohomology: Finiteness and Invariance Results 141
The Interpretability Logic of Peano Arithmetic 137
Uniform quasi components, thin spaces and compact separation 137
O-minimal spectra, infinitesimal subgroups and cohomology 136
Cartan subgroups and regular points of o‐minimal groups 136
Discrete subgroups of locally definable groups 134
A descending chain condition for groups definable in o-minimal structures 127
Asymptotic analysis of Skolem's exponential functions 123
Vector spaces with a union of independent subspaces 121
Intersection theory for o-minimal manifolds 118
Higher homotopy of groups definable in o-minimal structures 112
Exponential fields and Conway’s omega-map 111
Groups definable in two orthogonal sorts 109
Infinite lambda-calculus and non-sensible models 97
null 95
Surreal numbers, exponentiation and derivations 95
null 94
INFINITE LAMBDA CALCULUS AND TYPES 93
Orthogonal decomposition of definable groups 93
Le direzioni della logica in Italia: la teoria dei modelli 90
On the homotopy type of definable groups in an o-minimal structure 90
Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations 88
La verità Matematica da Kant a Gödel 79
Il paradosso di Banach-Tarski 77
On the value group of the transseries 73
null 73
null 70
Provability logic: models within models in Peano Arithmetic 68
Provability logic: models within models in Peano Arithmetic 41
null 29
Sigma_n Interpretations of modal logic 26
Linear recurrence relations are Delta_0-definable 16
Totale 9.559
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.697
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 25.697
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021359 0 0 0 0 0 17 51 56 65 53 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.128 17 94 11 99 233 234 197 136 177 233 276 421
2025/20261.214 115 332 220 161 170 216 0 0 0 0 0 0
Totale 9.559