CINECA IRIS Institutional Research Information System

MONTANGERO, CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.959
EU - Europa 2.403
AS - Asia 2.344
SA - Sud America 217
AF - Africa 88
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 5
Totale 12.022
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.501
CA - Canada 2.422
CN - Cina 825
PL - Polonia 819
SG - Singapore 653
IT - Italia 480
HK - Hong Kong 295
SE - Svezia 254
BR - Brasile 169
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
CI - Costa d'Avorio 7
EC - Ecuador 7
MA - Marocco 7
MX - Messico 7
UY - Uruguay 7
TN - Tunisia 6
TT - Trinidad e Tobago 6
AU - Australia 5
ES - Italia 5
PA - Panama 5
BJ - Benin 4
DO - Repubblica Dominicana 4
JM - Giamaica 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
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
CR - Costa Rica 1
DK - Danimarca 1
EG - Egitto 1
ET - Etiopia 1
GR - Grecia 1
HN - Honduras 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.014
Salva come PNG Salva come JPEG
Città #
Montreal 2.293
Woodbridge 632
Ashburn 401
Singapore 372
Ann Arbor 353
Fairfield 338
Chandler 308
Santa Clara 303
Hong Kong 288
Houston 280
Hefei 194
Milan 191
Beijing 183
Jacksonville 175
Dallas 166
Sofia 155
San Jose 150
Seoul 138
Seattle 132
Shanghai 128
Wilmington 123
Cambridge 113
Ottawa 110
New York 88
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
Düsseldorf 24
Dakar 23
Dong Ket 20
Cecina 17
Florence 17
Redondo Beach 17
São Paulo 16
Dhaka 15
San Diego 14
Rome 13
Brussels 12
Changsha 12
Council Bluffs 12
Hebei 12
Munich 11
Auburn Hills 10
Kunming 10
Nairobi 10
Shenyang 10
Frankfurt am Main 9
Guangzhou 9
Hangzhou 9
Johannesburg 8
London 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
Ribeirão Preto 4
San Francisco 4
Warsaw 4
Aracaju 3
Atlanta 3
Baku 3
Bishkek 3
Brasília 3
Capannori 3
Caracas 3
Casablanca 3
Charlotte 3
Totale 8.978
Salva come PNG Salva come JPEG
Nome #
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform 3.319
Graph Representation and Computation Rules for Typeless Recursive Languages 255
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 196
The use of Ada in the design of distributed systems 195
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 195
Is Type Checking Practical for System Configuration? 189
StPowla: SOA, Policies and Workflows 189
The UML and Formal Methods: a Case Study 186
Software processes as a hierarchy 184
Automatic Generation of Execution Tools in a Gandalf Environment 182
UML Extensions for Service-Oriented Systems 181
For-LySa: UML for Authentication Analysis 174
Un traduttore sorgente-sorgente Pascal-Ada 166
DSTL: A Logic for Global Computing 166
StPowla: SOA, Policies and Workflows 166
The Oikos Services for Object Management in the Software Process 162
Managing Adaptivity in Parallel Systems 162
ESP-MC: An Experiment on the Use of Verification Tools 161
Specifying and Verifying in Tuple Spaces 160
A UML Profile to Support the Formal Presentation of Software Architecture 160
COMPOSITIONAL REFINEMENTS IN MULTIPLE BLACKBOARD SYSTEMS 153
Modellazione di Processi Manufatturieri mediante Formalismi di Software Process Modeling 148
Distributed States Logic 145
SOFTWARE PROCESS MONITORING MECHANISMS IN OIKOS 144
Ad Hoc Network Applications: Specification, Design and Verification in Mob-Adtl 144
The Software Process: modelling and technology 140
Oikos at the age of three 138
Logic Based Coordination for Event-Driven Self-Healing Distributed Systems 138
Multiple Security Policies in Mob_adtl 138
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 138
Model checking support for conflict resolution in multiple non-functional concern management 138
Detecting Policy Conflicts by Model Checking UML State Machines 133
Applying Refinement Calculi to Software Process Modelling 133
Mobile Agents Coordination in Mob-adtl 132
Un modello di comunicazione per la programmazione per esempi in ambiente concorrente 130
Managing Standards Compliance 130
Barbed Model--Driven Software Development: A case study 129
Specification and Composition of Software Components: Formal Methods meet Standards 123
Software Process - Standards, Assessment and Improvement 122
Refinement Calculus for Mobility: expressing security policies 122
Detection and Resolution of Feature Interactions, the Early Light Way 122
Model-driven development of adaptable service-oriented business processes 121
A Logical View of Choreography 121
Software Process Histories in Oikos 120
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 Detection of Conflicts in APPEL Policies 103
Logic-based Conflict Detection for Distributed Policies 101
Modellazione del processo di sviluppo software 99
Formalizing an Adaptive Security Infrastructure in Mob-adtl 98
Composing Specifications for Coordination 96
Mark: A reasoning Kit for Mobility 88
Service discovery in Mobadtl 79
Totale 12.052
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.728
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 25.728
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202177 0 0 0 0 0 0 0 0 0 0 25 52
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.594 113 340 179 77 187 171 254 46 100 110 17 0
Totale 12.052