CINECA IRIS Institutional Research Information System

MONTANGERO, CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.013
EU - Europa 2.403
AS - Asia 2.344
SA - Sud America 220
AF - Africa 88
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 5
Totale 12.079
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.550
CA - Canada 2.424
CN - Cina 825
PL - Polonia 819
SG - Singapore 653
IT - Italia 480
HK - Hong Kong 295
SE - Svezia 254
BR - Brasile 171
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 31
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 8
CI - Costa d'Avorio 7
MA - Marocco 7
MX - Messico 7
UY - Uruguay 7
TN - Tunisia 6
TT - Trinidad e Tobago 6
AU - Australia 5
ES - Italia 5
JM - Giamaica 5
PA - Panama 5
BJ - Benin 4
DO - Repubblica Dominicana 4
OM - Oman 4
PH - Filippine 4
AZ - Azerbaigian 3
BO - Bolivia 3
CL - Cile 3
CO - Colombia 3
CZ - Repubblica Ceca 3
DZ - Algeria 3
EU - Europa 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
HN - Honduras 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
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
MZ - Mozambico 1
Totale 12.071
Salva come PNG Salva come JPEG
Città #
Montreal 2.293
Woodbridge 632
Ashburn 403
Singapore 372
Ann Arbor 353
Fairfield 338
Chandler 308
Santa Clara 303
Hong Kong 288
Houston 281
Hefei 194
Milan 191
Beijing 183
Jacksonville 176
Dallas 166
San Jose 157
Sofia 155
Seoul 138
Seattle 132
Shanghai 128
Wilmington 123
Cambridge 113
Ottawa 110
New York 89
Izmir 68
Boardman 67
Princeton 60
Lawrence 59
Los Angeles 57
Nanjing 57
Bern 55
Lauterbourg 53
Tokyo 43
Des Moines 39
Serra 38
Buffalo 34
Nanchang 33
Dearborn 32
Medford 32
Jüchen 30
Boulder 29
Ho Chi Minh City 28
Hanoi 27
Istanbul 27
Helsinki 26
Council Bluffs 24
Düsseldorf 24
Dakar 23
Dong Ket 20
Cecina 17
Florence 17
Redondo Beach 17
São Paulo 17
Dhaka 15
San Diego 14
Rome 13
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
Abidjan 7
Changchun 7
Falkenstein 7
Montevideo 7
Toronto 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
Queens 4
Ribeirão Preto 4
San Francisco 4
Warsaw 4
Aracaju 3
Atlanta 3
Baku 3
Bishkek 3
Boston 3
Brasília 3
Capannori 3
Caracas 3
Totale 9.005
Salva come PNG Salva come JPEG
Nome #
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform 3.320
Graph Representation and Computation Rules for Typeless Recursive Languages 256
Software process enactment in Oikos 231
Compositional Refinements of Multiple Blackboard Systems 218
A model for structured parallel processing in block-structured programming languages 213
In Favour of a Coherent Process Coding Language 200
AN APPROACH TO OPTIMAL SPECIFICATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL-COMPUTERS 197
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 197
The use of Ada in the design of distributed systems 195
Is Type Checking Practical for System Configuration? 192
StPowla: SOA, Policies and Workflows 191
The UML and Formal Methods: a Case Study 187
Software processes as a hierarchy 185
UML Extensions for Service-Oriented Systems 182
Automatic Generation of Execution Tools in a Gandalf Environment 182
For-LySa: UML for Authentication Analysis 174
Un traduttore sorgente-sorgente Pascal-Ada 167
DSTL: A Logic for Global Computing 167
StPowla: SOA, Policies and Workflows 167
The Oikos Services for Object Management in the Software Process 165
Managing Adaptivity in Parallel Systems 165
ESP-MC: An Experiment on the Use of Verification Tools 161
A UML Profile to Support the Formal Presentation of Software Architecture 161
Specifying and Verifying in Tuple Spaces 160
COMPOSITIONAL REFINEMENTS IN MULTIPLE BLACKBOARD SYSTEMS 154
Modellazione di Processi Manufatturieri mediante Formalismi di Software Process Modeling 149
Ad Hoc Network Applications: Specification, Design and Verification in Mob-Adtl 147
Distributed States Logic 145
SOFTWARE PROCESS MONITORING MECHANISMS IN OIKOS 144
Multiple Security Policies in Mob_adtl 141
The Software Process: modelling and technology 140
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 140
Oikos at the age of three 139
Model checking support for conflict resolution in multiple non-functional concern management 139
Logic Based Coordination for Event-Driven Self-Healing Distributed Systems 138
Applying Refinement Calculi to Software Process Modelling 134
Detecting Policy Conflicts by Model Checking UML State Machines 133
Barbed Model--Driven Software Development: A case study 133
Mobile Agents Coordination in Mob-adtl 132
Managing Standards Compliance 131
Un modello di comunicazione per la programmazione per esempi in ambiente concorrente 130
Specification and Composition of Software Components: Formal Methods meet Standards 126
A Logical View of Choreography 123
Software Process Histories in Oikos 122
Software Process - Standards, Assessment and Improvement 122
Refinement Calculus for Mobility: expressing security policies 122
Model-driven development of adaptable service-oriented business processes 122
Detection and Resolution of Feature Interactions, the Early Light Way 122
Software specification and design: from formal methods to standard middleware 120
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 118
A Refinement Calculus for Tuple Spaces 115
Per un museo nazionale dell'informatica 114
Refining by architectural style or Architecting by refinements 109
Logic-based Conflict Detection for Distributed Policies 103
Logic-Based Detection of Conflicts in APPEL Policies 103
Formalizing an Adaptive Security Infrastructure in Mob-adtl 101
Modellazione del processo di sviluppo software 99
Composing Specifications for Coordination 98
Mark: A reasoning Kit for Mobility 88
Service discovery in Mobadtl 80
Totale 12.109
Salva come PNG Salva come JPEG
Categoria #
all - tutte 26.629
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 26.629
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022561 3 36 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/20277 7 0 0 0 0 0 0 0 0 0 0 0
Totale 12.109