IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

ORNAGHI, MARIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.594
NA - Nord America 1.564
AS - Asia 1.114
SA - Sud America 137
AF - Africa 19
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 4
Totale 4.451
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.511
GB - Regno Unito 473
CN - Cina 368
IT - Italia 340
SG - Singapore 323
DE - Germania 155
RU - Federazione Russa 108
FR - Francia 105
SE - Svezia 86
HK - Hong Kong 82
BR - Brasile 76
UA - Ucraina 76
VN - Vietnam 61
NL - Olanda 53
TR - Turchia 53
IN - India 47
FI - Finlandia 41
KR - Corea 39
ID - Indonesia 38
IE - Irlanda 35
CA - Canada 29
EU - Europa 29
ES - Italia 28
CO - Colombia 22
MY - Malesia 22
AU - Australia 16
BD - Bangladesh 16
BE - Belgio 16
PL - Polonia 16
PE - Perù 14
DK - Danimarca 12
JP - Giappone 11
PT - Portogallo 11
PH - Filippine 10
AR - Argentina 9
MX - Messico 9
IR - Iran 8
RO - Romania 7
GR - Grecia 6
AT - Austria 5
CL - Cile 5
IL - Israele 5
IQ - Iraq 5
ZA - Sudafrica 5
CZ - Repubblica Ceca 4
GE - Georgia 4
AE - Emirati Arabi Uniti 3
EC - Ecuador 3
GP - Guadalupe 3
HR - Croazia 3
JM - Giamaica 3
KE - Kenya 3
LU - Lussemburgo 3
NZ - Nuova Zelanda 3
PK - Pakistan 3
PY - Paraguay 3
SA - Arabia Saudita 3
TH - Thailandia 3
TN - Tunisia 3
TW - Taiwan 3
BO - Bolivia 2
CH - Svizzera 2
EG - Egitto 2
GT - Guatemala 2
HN - Honduras 2
JO - Giordania 2
MA - Marocco 2
NO - Norvegia 2
SI - Slovenia 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
AO - Angola 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BS - Bahamas 1
BW - Botswana 1
BY - Bielorussia 1
CR - Costa Rica 1
DZ - Algeria 1
GD - Grenada 1
HU - Ungheria 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
MK - Macedonia 1
NG - Nigeria 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
SX - ???statistics.table.value.countryCode.SX??? 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 4.479
Salva come PNG Salva come JPEG
Città #
Southend 388
Singapore 206
Ashburn 122
Seattle 107
Fairfield 102
Beijing 92
Chandler 88
Hong Kong 79
Santa Clara 76
Milan 75
Wilmington 75
Ann Arbor 62
Jacksonville 62
San Jose 61
Woodbridge 54
Princeton 46
Council Bluffs 44
Dublin 34
Los Angeles 34
Cambridge 33
Houston 29
Mountain View 28
Dearborn 26
Ho Chi Minh City 26
Nanjing 26
Redwood City 26
Bengaluru 21
Moscow 21
Redmond 21
Shanghai 21
Dallas 20
Jakarta 19
Bogotá 18
Sakarya 18
Medford 17
Brussels 16
Buffalo 16
Helsinki 16
Lauterbourg 16
Cangzhou 15
Des Moines 15
Serra 15
Andover 14
Frankfurt am Main 13
Guangzhou 11
Hanoi 11
Sunnyvale 11
Trana 11
Phoenix 10
Rome 10
Boardman 9
Istanbul 9
Karlsruhe 9
Lima 9
Naples 9
Recife 9
The Dalles 9
Barcelona 8
New York 8
Somerville 8
Tianjin 8
Changsha 7
Hefei 7
London 7
Montreal 7
Nanchang 7
Puchong Batu Dua Belas 7
Shenzhen 7
Fuzhou 6
Haiphong 6
Jinan 6
Mumbai 6
São Paulo 6
Tokyo 6
Turin 6
Falls Church 5
Madrid 5
Modena 5
Monza 5
Petaling Jaya 5
Rio de Janeiro 5
Saint Paul 5
Seoul 5
Shenyang 5
Taizhou 5
Toronto 5
Villeneuve-d'Ascq 5
Warsaw 5
Athens 4
Auburn Hills 4
Belém 4
Bitonto 4
Bologna 4
Bucharest 4
Chaoyang 4
Dvur Kralove Nad Labem 4
Goiânia 4
Johannesburg 4
Karaj 4
Kiez 4
Totale 2.676
Salva come PNG Salva come JPEG
Nome #
Monsters of Darwin: a strategic game based on Artificial Intelligence and Genetic Algorithms 593
Applying ASP to UML model validation 343
Snapshot generation in a constructive object-oriented modeling language 267
Constructive specifications for compositional units 257
Snapshots generation via constructive logic 248
Proof-Theoretic and Higher-Order Extensions of Logic Programming 239
A constructive object oriented modeling language for information systems 236
Towards a type discipline for answer set programming 213
Extracting exact time bounds from logical proofs 206
Specifying Compositional Units for Correct Program Development in Computational Logic 204
A constructive approach to testing model transformations 204
Model Validation through CooML Snapshot Generation 179
Regular search spaces and constructive negation 173
Correct OO Systems in Computational Logic 171
A Software Component Model and Its Preliminary Formalisation 169
On Uniformly Constructive and Semiconstructive Formal Systems 168
Towards a Logic for Reasoning About Logic Programs Transformation 167
Preface. In Memoriam Pierangelo Miglioli (1946-1999). 166
Answer Set Semantics vs. Information Term Semantics 154
FUN PLEdGE : a FUNny platformers LEvels GEnerator 149
LOGI: A didactic tool for a beginners' course in logic (system description) 147
Totale 4.653
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.781
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 10.781
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202118 0 0 0 0 0 0 0 0 0 0 0 18
2021/2022326 21 18 56 25 29 20 20 17 11 27 15 67
2022/2023328 40 16 35 45 47 57 7 24 37 5 7 8
2023/2024213 4 30 15 7 16 25 12 19 7 11 36 31
2024/2025636 15 50 4 86 87 22 17 69 29 51 61 145
2025/20261.016 66 36 122 59 138 76 129 69 105 125 63 28
Totale 4.653