IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

ORNAGHI, MARIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.346
NA - Nord America 1.148
AS - Asia 483
SA - Sud America 49
OC - Oceania 16
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.049
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.133
GB - Regno Unito 459
IT - Italia 293
CN - Cina 202
DE - Germania 135
SG - Singapore 94
SE - Svezia 84
FR - Francia 75
UA - Ucraina 71
RU - Federazione Russa 59
TR - Turchia 45
KR - Corea 37
IE - Irlanda 35
FI - Finlandia 34
EU - Europa 29
ID - Indonesia 27
NL - Olanda 27
IN - India 26
CO - Colombia 19
ES - Italia 17
MY - Malesia 16
AU - Australia 15
PE - Perù 13
BE - Belgio 12
DK - Danimarca 12
BR - Brasile 11
PL - Polonia 9
CA - Canada 8
IR - Iran 8
PT - Portogallo 7
PH - Filippine 5
VN - Vietnam 5
CZ - Repubblica Ceca 4
GR - Grecia 4
JP - Giappone 4
AR - Argentina 3
IL - Israele 3
MX - Messico 3
TW - Taiwan 3
CL - Cile 2
GP - Guadalupe 2
NO - Norvegia 2
PK - Pakistan 2
SI - Slovenia 2
TH - Thailandia 2
AT - Austria 1
BS - Bahamas 1
BW - Botswana 1
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
GT - Guatemala 1
HK - Hong Kong 1
HR - Croazia 1
HU - Ungheria 1
KE - Kenya 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MK - Macedonia 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
RO - Romania 1
SA - Arabia Saudita 1
TN - Tunisia 1
Totale 3.077
Salva come PNG Salva come JPEG
Città #
Southend 388
Seattle 105
Fairfield 102
Chandler 88
Singapore 75
Wilmington 74
Milan 66
Ann Arbor 62
Jacksonville 62
Ashburn 61
Beijing 58
Woodbridge 54
Santa Clara 48
Princeton 46
Dublin 34
Cambridge 33
Houston 29
Mountain View 28
Dearborn 26
Nanjing 26
Redwood City 26
Redmond 21
Shanghai 19
Sakarya 18
Bogotá 17
Medford 17
Serra 15
Andover 14
Des Moines 14
Jakarta 13
Brussels 12
Sunnyvale 11
Trana 11
Helsinki 10
Boardman 9
Karlsruhe 9
Naples 9
Barcelona 8
Bengaluru 8
Lima 8
Somerville 8
Istanbul 7
Nanchang 7
Phoenix 7
Puchong Batu Dua Belas 7
Changsha 6
Fuzhou 6
Jinan 6
London 6
Falls Church 5
Modena 5
Monza 5
Saint Paul 5
Shenyang 5
Taizhou 5
Villeneuve-d'Ascq 5
Athens 4
Auburn Hills 4
Bitonto 4
Chaoyang 4
Dvur Kralove Nad Labem 4
Goiânia 4
Karaj 4
Kiez 4
Kunming 4
Mansfield 4
Mumbai 4
Palaiseau 4
Petaling Jaya 4
Robbiate 4
San Diego 4
Turin 4
Wuhan 4
Berlin 3
Bolu 3
Brisbane 3
Cremona 3
Forlì 3
Fremont 3
Guangzhou 3
Jiaxing 3
Lappeenranta 3
Los Angeles 3
Ningbo 3
Nürnberg 3
Ottawa 3
Porto 3
Rome 3
Seoul 3
Sydney 3
Yubileyny 3
Aurora 2
Birmingham 2
Bologna 2
Cabanatuan City 2
Canterbury 2
Catania 2
Cologne 2
Deland 2
Edmonton 2
Totale 1.969
Salva come PNG Salva come JPEG
Nome #
Monsters of Darwin: a strategic game based on Artificial Intelligence and Genetic Algorithms 425
Applying ASP to UML model validation 246
Constructive specifications for compositional units 189
Snapshot generation in a constructive object-oriented modeling language 184
A constructive object oriented modeling language for information systems 177
Proof-Theoretic and Higher-Order Extensions of Logic Programming 177
Snapshots generation via constructive logic 169
Towards a type discipline for answer set programming 148
A constructive approach to testing model transformations 139
Specifying Compositional Units for Correct Program Development in Computational Logic 137
Extracting exact time bounds from logical proofs 134
Model Validation through CooML Snapshot Generation 123
Preface. In Memoriam Pierangelo Miglioli (1946-1999). 122
Regular search spaces and constructive negation 122
Towards a Logic for Reasoning About Logic Programs Transformation 121
Answer Set Semantics vs. Information Term Semantics 107
On Uniformly Constructive and Semiconstructive Formal Systems 106
Correct OO Systems in Computational Logic 102
A Software Component Model and Its Preliminary Formalisation 99
LOGI: A didactic tool for a beginners' course in logic (system description) 97
FUN PLEdGE : a FUNny platformers LEvels GEnerator 95
Totale 3.219
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.280
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 7.280
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020348 0 0 0 0 47 36 67 48 52 38 41 19
2020/2021375 11 32 33 19 45 21 29 21 44 28 74 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/2025218 15 50 4 86 63 0 0 0 0 0 0 0
Totale 3.219