CINECA IRIS Institutional Research Information System

MONTANGERO, CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.191
EU - Europa 2.409
AS - Asia 2.347
SA - Sud America 224
AF - Africa 88
Continente sconosciuto - Info sul continente non disponibili 36
OC - Oceania 6
Totale 12.301
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.719
CA - Canada 2.431
CN - Cina 825
PL - Polonia 819
SG - Singapore 654
IT - Italia 486
HK - Hong Kong 296
SE - Svezia 254
BR - Brasile 173
BG - Bulgaria 155
KR - Corea 142
DE - Germania 134
UA - Ucraina 134
VN - Vietnam 129
TR - Turchia 106
FI - Finlandia 99
GB - Regno Unito 95
FR - Francia 71
RU - Federazione Russa 68
CH - Svizzera 56
JP - Giappone 44
IN - India 37
BD - Bangladesh 32
SN - Senegal 23
IQ - Iraq 22
ZA - Sudafrica 16
BE - Belgio 12
KE - Kenya 11
SA - Arabia Saudita 11
VE - Venezuela 11
AR - Argentina 10
PK - Pakistan 10
EC - Ecuador 9
CI - Costa d'Avorio 7
MA - Marocco 7
MX - Messico 7
UY - Uruguay 7
JM - Giamaica 6
TN - Tunisia 6
TT - Trinidad e Tobago 6
AU - Australia 5
ES - Italia 5
PA - Panama 5
BJ - Benin 4
CO - Colombia 4
DO - Repubblica Dominicana 4
OM - Oman 4
PH - Filippine 4
AZ - Azerbaigian 3
BO - Bolivia 3
CL - Cile 3
CZ - Repubblica Ceca 3
DZ - Algeria 3
EU - Europa 3
HN - Honduras 3
IL - Israele 3
IR - Iran 3
KG - Kirghizistan 3
NG - Nigeria 3
AE - Emirati Arabi Uniti 2
BB - Barbados 2
CR - Costa Rica 2
KZ - Kazakistan 2
LB - Libano 2
MC - Monaco 2
NL - Olanda 2
NP - Nepal 2
PE - Perù 2
PR - Porto Rico 2
PY - Paraguay 2
RO - Romania 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AO - Angola 1
AT - Austria 1
BH - Bahrain 1
BM - Bermuda 1
BS - Bahamas 1
BY - Bielorussia 1
CW - ???statistics.table.value.countryCode.CW??? 1
DK - Danimarca 1
EG - Egitto 1
ET - Etiopia 1
GR - Grecia 1
HU - Ungheria 1
ID - Indonesia 1
IE - Irlanda 1
JO - Giordania 1
KH - Cambogia 1
KY - Cayman, isole 1
LK - Sri Lanka 1
LT - Lituania 1
LV - Lettonia 1
MD - Moldavia 1
MK - Macedonia 1
ML - Mali 1
MM - Myanmar 1
MN - Mongolia 1
MW - Malawi 1
MY - Malesia 1
Totale 12.262
Salva come PNG Salva come JPEG
Città #
Montreal 2.295
Woodbridge 632
Ashburn 408
Singapore 372
Ann Arbor 353
Fairfield 338
Chandler 308
Santa Clara 304
Hong Kong 289
Houston 283
Hefei 194
Milan 191
Beijing 183
San Jose 181
Jacksonville 176
Dallas 168
Sofia 155
Seoul 138
Seattle 132
Shanghai 128
Wilmington 124
Cambridge 113
Ottawa 111
Council Bluffs 96
New York 91
Izmir 68
Boardman 67
Los Angeles 63
Princeton 60
Lawrence 59
Nanjing 57
Bern 55
Lauterbourg 53
Tokyo 43
Des Moines 39
Serra 38
Buffalo 36
Nanchang 33
Dearborn 32
Medford 32
Jüchen 30
Boulder 29
Ho Chi Minh City 28
Hanoi 27
Istanbul 27
Helsinki 26
Düsseldorf 24
Dakar 23
Dong Ket 20
São Paulo 18
Cecina 17
Florence 17
Redondo Beach 17
Rome 16
Dhaka 15
San Diego 14
Brussels 12
Changsha 12
Hebei 12
Munich 11
Auburn Hills 10
Kunming 10
Nairobi 10
Shenyang 10
Frankfurt am Main 9
Guangzhou 9
Hangzhou 9
London 9
Johannesburg 8
Pune 8
Tianjin 8
Toronto 8
Abidjan 7
Changchun 7
Falkenstein 7
Montevideo 7
Baghdad 6
Belo Horizonte 6
Kocaeli 6
Lahore 6
Rio de Janeiro 6
Riyadh 6
Jinan 5
Redwood City 5
Cotonou 4
Fuzhou 4
Jiaxing 4
Panama City 4
Piscataway 4
Queens 4
Ribeirão Preto 4
San Francisco 4
Warsaw 4
Aracaju 3
Atlanta 3
Baku 3
Bishkek 3
Bologna 3
Boston 3
Brasília 3
Totale 9.132
Salva come PNG Salva come JPEG
Nome #
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform 3.325
Graph Representation and Computation Rules for Typeless Recursive Languages 260
Software process enactment in Oikos 232
Compositional Refinements of Multiple Blackboard Systems 221
A model for structured parallel processing in block-structured programming languages 217
In Favour of a Coherent Process Coding Language 206
AN APPROACH TO OPTIMAL SPECIFICATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL-COMPUTERS 201
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 199
The use of Ada in the design of distributed systems 198
StPowla: SOA, Policies and Workflows 198
Is Type Checking Practical for System Configuration? 196
The UML and Formal Methods: a Case Study 189
Software processes as a hierarchy 188
UML Extensions for Service-Oriented Systems 186
Automatic Generation of Execution Tools in a Gandalf Environment 186
For-LySa: UML for Authentication Analysis 178
DSTL: A Logic for Global Computing 172
Un traduttore sorgente-sorgente Pascal-Ada 169
StPowla: SOA, Policies and Workflows 169
The Oikos Services for Object Management in the Software Process 167
ESP-MC: An Experiment on the Use of Verification Tools 166
A UML Profile to Support the Formal Presentation of Software Architecture 166
Managing Adaptivity in Parallel Systems 165
Specifying and Verifying in Tuple Spaces 163
COMPOSITIONAL REFINEMENTS IN MULTIPLE BLACKBOARD SYSTEMS 156
Modellazione di Processi Manufatturieri mediante Formalismi di Software Process Modeling 155
Ad Hoc Network Applications: Specification, Design and Verification in Mob-Adtl 150
Distributed States Logic 147
SOFTWARE PROCESS MONITORING MECHANISMS IN OIKOS 145
Multiple Security Policies in Mob_adtl 145
The Software Process: modelling and technology 142
Model checking support for conflict resolution in multiple non-functional concern management 142
Oikos at the age of three 140
Logic Based Coordination for Event-Driven Self-Healing Distributed Systems 140
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 140
Detecting Policy Conflicts by Model Checking UML State Machines 137
Applying Refinement Calculi to Software Process Modelling 136
Managing Standards Compliance 135
Mobile Agents Coordination in Mob-adtl 135
Barbed Model--Driven Software Development: A case study 135
Un modello di comunicazione per la programmazione per esempi in ambiente concorrente 132
A Logical View of Choreography 129
Refinement Calculus for Mobility: expressing security policies 128
Specification and Composition of Software Components: Formal Methods meet Standards 128
Software Process Histories in Oikos 126
Software Process - Standards, Assessment and Improvement 125
Model-driven development of adaptable service-oriented business processes 124
Detection and Resolution of Feature Interactions, the Early Light Way 124
Software specification and design: from formal methods to standard middleware 122
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 121
Per un museo nazionale dell'informatica 119
A Refinement Calculus for Tuple Spaces 117
Refining by architectural style or Architecting by refinements 112
Logic-Based Detection of Conflicts in APPEL Policies 108
Formalizing an Adaptive Security Infrastructure in Mob-adtl 108
Logic-based Conflict Detection for Distributed Policies 104
Modellazione del processo di sviluppo software 102
Composing Specifications for Coordination 102
Mark: A reasoning Kit for Mobility 90
Service discovery in Mobadtl 83
Totale 12.301
Salva come PNG Salva come JPEG
Categoria #
all - tutte 27.464
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.464
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022522 0 0 7 35 125 78 7 23 43 8 32 164
2022/2023721 87 84 58 67 86 130 2 62 101 7 35 2
2023/20243.721 136 78 102 38 75 98 4 35 3 3.108 0 44
2024/20251.939 8 63 13 78 189 197 127 98 154 214 229 569
2025/20261.644 113 340 179 77 187 171 254 46 100 110 37 30
2026/2027199 29 122 48 0 0 0 0 0 0 0 0 0
Totale 12.301