IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

FERRARI, MAURO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 545
AS - Asia 448
NA - Nord America 411
SA - Sud America 35
AF - Africa 13
Totale 1.452
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 388
IT - Italia 185
SG - Singapore 151
CN - Cina 139
GB - Regno Unito 125
RU - Federazione Russa 46
SE - Svezia 46
VN - Vietnam 46
HK - Hong Kong 31
DE - Germania 28
BR - Brasile 27
FR - Francia 21
IN - India 18
IE - Irlanda 17
NL - Olanda 16
TR - Turchia 15
KR - Corea 14
UA - Ucraina 14
CH - Svizzera 13
CA - Canada 12
BD - Bangladesh 8
BE - Belgio 8
ID - Indonesia 8
FI - Finlandia 7
MX - Messico 6
CZ - Repubblica Ceca 4
EU - Europa 4
PH - Filippine 4
ZA - Sudafrica 4
AR - Argentina 3
AT - Austria 3
BG - Bulgaria 2
CO - Colombia 2
ES - Italia 2
GT - Guatemala 2
IQ - Iraq 2
LI - Liechtenstein 2
LT - Lituania 2
NP - Nepal 2
PK - Pakistan 2
SA - Arabia Saudita 2
TN - Tunisia 2
BZ - Belize 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
GP - Guadalupe 1
IR - Iran 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
MA - Marocco 1
MW - Malawi 1
MY - Malesia 1
PE - Perù 1
PL - Polonia 1
PS - Palestinian Territory 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
SC - Seychelles 1
TH - Thailandia 1
UY - Uruguay 1
Totale 1.456
Salva come PNG Salva come JPEG
Città #
Southend 109
Singapore 77
Chandler 48
Milan 48
Dallas 30
San Jose 30
Beijing 27
Santa Clara 26
Hong Kong 25
Ann Arbor 21
Ashburn 20
Los Angeles 18
Dublin 17
Hefei 17
Wilmington 15
Princeton 14
Council Bluffs 11
Shanghai 11
Guangzhou 10
Istanbul 10
Jacksonville 10
Redmond 10
Seattle 10
Hanoi 9
Lauterbourg 9
Brussels 8
Moscow 8
Seoul 8
Zurich 8
Des Moines 7
Ho Chi Minh City 7
Rome 7
Bengaluru 6
Buffalo 6
Serra 6
Brescia 5
Brooklyn 5
Jakarta 5
Mountain View 5
Palermo 5
Tianjin 5
Woodbridge 5
Andover 4
Berlin 4
Cambridge 4
Chaoyang 4
Dong Ket 4
Frankfurt am Main 4
Medford 4
Nanjing 4
Pisa 4
Turin 4
Bisceglie 3
Cangzhou 3
Cape Town 3
Fairfield 3
Genoa 3
Lappeenranta 3
Manila 3
Prague 3
Shenzhen 3
São Paulo 3
Toronto 3
Varese 3
Venice 3
Vienna 3
Bari 2
Bassano del Grappa 2
Bogotá 2
Bühl 2
Cabiate 2
Castiglione Del Lago 2
Cremona 2
Da Nang 2
Florence 2
Fuzhou 2
Houston 2
Kirkuk 2
Kitchener 2
London 2
Mexico City 2
Milwaukee 2
Montreal 2
Munich 2
Newark 2
Nuremberg 2
Orem 2
Pedara 2
Phoenix 2
Reggio Emilia 2
Rezzato 2
Rho 2
Rio de Janeiro 2
Sakarya 2
San Diego 2
Sofia 2
Somerville 2
Trento 2
Vilnius 2
Zhengzhou 2
Totale 888
Salva come PNG Salva come JPEG
Nome #
Dai fondamenti agli oggetti : corso di programmazione Java. - Seconda Edizione 269
Dai fondamenti agli oggetti : corso di programmazione Java 188
On Uniformly Constructive and Semiconstructive Formal Systems 168
Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic 147
A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms 142
Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic 125
A forward internal calculus for model generation in S4 113
A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property 108
SAT-Based Proof Search in Intermediate Propositional Logics 86
A Gödel Modal Logic over Witnessed Crisp Models 81
General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic 77
Totale 1.504
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.606
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 4.606
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202113 0 0 0 0 0 0 0 0 0 0 0 13
2021/2022132 6 8 7 11 14 10 7 4 9 10 10 36
2022/2023136 22 22 16 8 18 23 4 5 7 4 4 3
2023/202460 5 7 5 2 4 7 6 1 5 1 9 8
2024/2025259 12 28 9 28 34 9 6 28 13 21 25 46
2025/2026525 53 32 71 57 69 29 54 27 50 47 33 3
Totale 1.504