MONTANGERO, CARLO
 Distribuzione geografica
Continente #
NA - Nord America 6.143
EU - Europa 2.212
AS - Asia 595
AF - Africa 34
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 4
SA - Sud America 3
Totale 8.995
Nazione #
US - Stati Uniti d'America 3.736
CA - Canada 2.405
PL - Polonia 815
IT - Italia 469
CN - Cina 322
SE - Svezia 251
BG - Bulgaria 155
UA - Ucraina 128
DE - Germania 112
SG - Singapore 101
TR - Turchia 100
FI - Finlandia 91
GB - Regno Unito 69
CH - Svizzera 56
VN - Vietnam 45
RU - Federazione Russa 29
SN - Senegal 21
FR - Francia 14
HK - Hong Kong 14
BE - Belgio 12
IN - India 7
CI - Costa d'Avorio 6
AU - Australia 4
BJ - Benin 4
KR - Corea 4
EU - Europa 3
NG - Nigeria 3
CL - Cile 2
MC - Monaco 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AT - Austria 1
BR - Brasile 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
ES - Italia 1
GR - Grecia 1
HU - Ungheria 1
IR - Iran 1
MK - Macedonia 1
MX - Messico 1
OM - Oman 1
RO - Romania 1
RS - Serbia 1
Totale 8.995
Città #
Montreal 2.292
Woodbridge 632
Ann Arbor 353
Fairfield 338
Chandler 308
Santa Clara 301
Houston 279
Milan 190
Ashburn 176
Jacksonville 175
Sofia 155
Seattle 131
Beijing 125
Wilmington 123
Cambridge 112
Ottawa 109
New York 85
Izmir 68
Boardman 67
Singapore 65
Princeton 60
Lawrence 59
Nanjing 57
Bern 55
Des Moines 39
Serra 37
Nanchang 33
Dearborn 32
Medford 32
Jüchen 30
Boulder 29
Istanbul 25
Düsseldorf 24
Dakar 21
Dong Ket 20
Helsinki 18
Cecina 17
Florence 17
San Diego 14
Hong Kong 13
Brussels 12
Changsha 12
Hebei 12
Rome 12
Auburn Hills 10
Kunming 10
Shenyang 10
Guangzhou 9
Hangzhou 9
Los Angeles 8
Tianjin 8
Falkenstein 7
Abidjan 6
Hefei 6
Kocaeli 6
Pune 6
Changchun 5
Jinan 5
Redwood City 5
Cotonou 4
Fuzhou 4
Jiaxing 4
San Francisco 4
Capannori 3
Lagos 3
Lanzhou 3
London 3
Norwalk 3
Orange 3
Tappahannock 3
Toronto 3
Agliana 2
Bremen 2
Chengdu 2
Council Bluffs 2
Dallas 2
Indiana 2
Melbourne 2
Monaco 2
Mountain View 2
New Bedfont 2
Ogden 2
Palaia 2
Paris 2
Pontedera 2
San Giuliano Terme 2
Siena 2
Andover 1
Arpaise 1
Athens 1
Atlanta 1
Belgrade 1
Boydton 1
Carrara 1
Central District 1
Chicago 1
Copenhagen 1
Costa Mesa 1
Delaware 1
Edinburgh 1
Totale 6.959
Nome #
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform 3.256
Graph Representation and Computation Rules for Typeless Recursive Languages 175
Software process enactment in Oikos 168
Compositional Refinements of Multiple Blackboard Systems 155
The UML and Formal Methods: a Case Study 145
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 144
Automatic Generation of Execution Tools in a Gandalf Environment 141
The use of Ada in the design of distributed systems 140
In Favour of a Coherent Process Coding Language 139
A model for structured parallel processing in block-structured programming languages 138
StPowla: SOA, Policies and Workflows 135
Is Type Checking Practical for System Configuration? 132
UML Extensions for Service-Oriented Systems 131
Software processes as a hierarchy 127
For-LySa: UML for Authentication Analysis 123
AN APPROACH TO OPTIMAL SPECIFICATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL-COMPUTERS 121
StPowla: SOA, Policies and Workflows 117
ESP-MC: An Experiment on the Use of Verification Tools 115
Managing Adaptivity in Parallel Systems 115
Specifying and Verifying in Tuple Spaces 114
DSTL: A Logic for Global Computing 114
A UML Profile to Support the Formal Presentation of Software Architecture 108
The Oikos Services for Object Management in the Software Process 105
Applying Refinement Calculi to Software Process Modelling 102
The Software Process: modelling and technology 100
Distributed States Logic 99
Managing Standards Compliance 98
Un traduttore sorgente-sorgente Pascal-Ada 97
COMPOSITIONAL REFINEMENTS IN MULTIPLE BLACKBOARD SYSTEMS 97
Mobile Agents Coordination in Mob-adtl 97
Software Process - Standards, Assessment and Improvement 91
Ad Hoc Network Applications: Specification, Design and Verification in Mob-Adtl 90
SOFTWARE PROCESS MONITORING MECHANISMS IN OIKOS 89
Logic Based Coordination for Event-Driven Self-Healing Distributed Systems 89
Model checking support for conflict resolution in multiple non-functional concern management 89
Barbed Model--Driven Software Development: A case study 87
Modellazione di Processi Manufatturieri mediante Formalismi di Software Process Modeling 86
Oikos at the age of three 85
Refinement Calculus for Mobility: expressing security policies 85
Specification and Composition of Software Components: Formal Methods meet Standards 85
Multiple Security Policies in Mob_adtl 83
Software specification and design: from formal methods to standard middleware 81
A Logical View of Choreography 78
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 78
Model-driven development of adaptable service-oriented business processes 77
A Refinement Calculus for Tuple Spaces 76
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 72
Detection and Resolution of Feature Interactions, the Early Light Way 71
Un modello di comunicazione per la programmazione per esempi in ambiente concorrente 65
Software Process Histories in Oikos 64
Logic-Based Detection of Conflicts in APPEL Policies 63
Detecting Policy Conflicts by Model Checking UML State Machines 62
Composing Specifications for Coordination 62
Refining by architectural style or Architecting by refinements 62
Per un museo nazionale dell'informatica 58
Mark: A reasoning Kit for Mobility 55
Formalizing an Adaptive Security Infrastructure in Mob-adtl 50
Logic-based Conflict Detection for Distributed Policies 49
Service discovery in Mobadtl 48
Modellazione del processo di sviluppo software 47
Totale 9.025
Categoria #
all - tutte 17.918
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 17.918


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020584 0 0 0 0 0 105 121 70 108 74 87 19
2020/2021439 54 16 50 16 48 9 34 55 28 52 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/2025506 8 63 13 78 189 155 0 0 0 0 0 0
Totale 9.025