MONTANGERO, CARLO
 Distribuzione geografica
Continente #
NA - Nord America 5.764
EU - Europa 2.176
AS - Asia 508
AF - Africa 30
Continente sconosciuto - Info sul continente non disponibili 4
OC - Oceania 4
SA - Sud America 3
Totale 8.489
Nazione #
US - Stati Uniti d'America 3.357
CA - Canada 2.405
PL - Polonia 815
IT - Italia 469
CN - Cina 318
SE - Svezia 251
BG - Bulgaria 155
UA - Ucraina 128
DE - Germania 105
TR - Turchia 76
FI - Finlandia 74
GB - Regno Unito 69
CH - Svizzera 56
VN - Vietnam 45
SG - Singapore 43
SN - Senegal 21
RU - Federazione Russa 17
FR - Francia 14
HK - Hong Kong 13
BE - Belgio 12
IN - India 7
CI - Costa d'Avorio 6
AU - Australia 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.489
Città #
Montreal 2.292
Woodbridge 632
Ann Arbor 353
Fairfield 338
Chandler 308
Houston 279
Milan 190
Jacksonville 175
Ashburn 167
Sofia 155
Seattle 131
Beijing 125
Wilmington 123
Cambridge 112
Ottawa 109
New York 85
Izmir 68
Princeton 60
Lawrence 59
Nanjing 57
Bern 55
Des Moines 39
Serra 37
Nanchang 33
Dearborn 32
Medford 32
Jüchen 30
Boulder 29
Singapore 27
Düsseldorf 24
Dakar 21
Dong Ket 20
Cecina 17
Florence 17
San Diego 14
Brussels 12
Changsha 12
Hebei 12
Hong Kong 12
Rome 12
Auburn Hills 10
Kunming 10
Shenyang 10
Guangzhou 9
Hangzhou 9
Los Angeles 8
Tianjin 8
Boardman 7
Abidjan 6
Hefei 6
Kocaeli 6
Pune 6
Changchun 5
Jinan 5
Redwood City 5
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
Fuzhou 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
Carrara 1
Central District 1
Chicago 1
Copenhagen 1
Costa Mesa 1
Delaware 1
Edinburgh 1
Frankfurt am Main 1
Helsinki 1
Iseo 1
Istanbul 1
Kilburn 1
Kreuzlingen 1
Livorno 1
Totale 6.498
Nome #
End-to-end integrated security and performance analysis on the DEGAS Choreographer platform 3.245
Graph Representation and Computation Rules for Typeless Recursive Languages 167
Software process enactment in Oikos 159
Compositional Refinements of Multiple Blackboard Systems 148
The UML and Formal Methods: a Case Study 136
The use of Ada in the design of distributed systems 133
Automatic Generation of Execution Tools in a Gandalf Environment 133
Dynamically Evolvable Dependable Software: From Oxymoron to Reality 132
In Favour of a Coherent Process Coding Language 131
A model for structured parallel processing in block-structured programming languages 130
StPowla: SOA, Policies and Workflows 124
Is Type Checking Practical for System Configuration? 123
UML Extensions for Service-Oriented Systems 121
Software processes as a hierarchy 118
For-LySa: UML for Authentication Analysis 116
AN APPROACH TO OPTIMAL SPECIFICATION OF READ-ONLY MEMORIES IN MICROPROGRAMMED DIGITAL-COMPUTERS 112
StPowla: SOA, Policies and Workflows 110
Specifying and Verifying in Tuple Spaces 106
ESP-MC: An Experiment on the Use of Verification Tools 106
Managing Adaptivity in Parallel Systems 106
DSTL: A Logic for Global Computing 105
A UML Profile to Support the Formal Presentation of Software Architecture 101
The Oikos Services for Object Management in the Software Process 99
The Software Process: modelling and technology 94
Distributed States Logic 92
Applying Refinement Calculi to Software Process Modelling 92
COMPOSITIONAL REFINEMENTS IN MULTIPLE BLACKBOARD SYSTEMS 90
Managing Standards Compliance 90
Mobile Agents Coordination in Mob-adtl 90
Un traduttore sorgente-sorgente Pascal-Ada 87
Software Process - Standards, Assessment and Improvement 84
SOFTWARE PROCESS MONITORING MECHANISMS IN OIKOS 83
Ad Hoc Network Applications: Specification, Design and Verification in Mob-Adtl 83
Logic Based Coordination for Event-Driven Self-Healing Distributed Systems 81
Model checking support for conflict resolution in multiple non-functional concern management 79
Specification and Composition of Software Components: Formal Methods meet Standards 78
Barbed Model--Driven Software Development: A case study 78
Oikos at the age of three 77
Modellazione di Processi Manufatturieri mediante Formalismi di Software Process Modeling 77
Refinement Calculus for Mobility: expressing security policies 77
Software specification and design: from formal methods to standard middleware 75
Multiple Security Policies in Mob_adtl 75
A Logical View of Choreography 70
Model-driven development of adaptable service-oriented business processes 69
A Lightweight Approach to the Early Detection and Resolution of Feature Interactions 68
A Refinement Calculus for Tuple Spaces 67
Ad Hoc Network Applications: Specification, Design, and Verification in Mob_adtl 64
Detection and Resolution of Feature Interactions, the Early Light Way 60
Software Process Histories in Oikos 57
Un modello di comunicazione per la programmazione per esempi in ambiente concorrente 56
Logic-Based Detection of Conflicts in APPEL Policies 55
Composing Specifications for Coordination 53
Refining by architectural style or Architecting by refinements 52
Detecting Policy Conflicts by Model Checking UML State Machines 50
Mark: A reasoning Kit for Mobility 49
Per un museo nazionale dell'informatica 49
Service discovery in Mobadtl 40
Modellazione del processo di sviluppo software 39
Logic-based Conflict Detection for Distributed Policies 39
Formalizing an Adaptive Security Infrastructure in Mob-adtl 39
Totale 8.519
Categoria #
all - tutte 15.814
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 15.814


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.050 131 121 37 72 105 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
Totale 8.519