IRIS
TUOSTO, EMILIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.554
NA - Nord America 3.607
AS - Asia 2.685
SA - Sud America 342
AF - Africa 67
Continente sconosciuto - Info sul continente non disponibili 35
OC - Oceania 8
Totale 12.298
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 3.864
US - Stati Uniti d'America 3.514
CN - Cina 1.043
SG - Singapore 910
SE - Svezia 393
UA - Ucraina 312
DE - Germania 306
BR - Brasile 275
IT - Italia 221
HK - Hong Kong 152
TR - Turchia 123
KR - Corea 119
IE - Irlanda 96
VN - Vietnam 84
GB - Regno Unito 82
FR - Francia 64
IN - India 53
BD - Bangladesh 42
CA - Canada 41
PL - Polonia 38
IL - Israele 36
EU - Europa 32
MX - Messico 31
CZ - Repubblica Ceca 29
JP - Giappone 28
AR - Argentina 27
FI - Finlandia 27
ZA - Sudafrica 26
ES - Italia 23
NL - Olanda 22
IQ - Iraq 21
PK - Pakistan 13
BE - Belgio 12
VE - Venezuela 10
SA - Arabia Saudita 9
AE - Emirati Arabi Uniti 7
CO - Colombia 7
EC - Ecuador 7
JO - Giordania 7
AT - Austria 6
AU - Australia 6
RO - Romania 6
RS - Serbia 6
AL - Albania 5
CL - Cile 5
EG - Egitto 5
KE - Kenya 5
MA - Marocco 5
NP - Nepal 5
PE - Perù 5
PT - Portogallo 5
TT - Trinidad e Tobago 5
CR - Costa Rica 4
DK - Danimarca 4
HU - Ungheria 4
LT - Lituania 4
NG - Nigeria 4
UY - Uruguay 4
UZ - Uzbekistan 4
AZ - Azerbaigian 3
CH - Svizzera 3
EE - Estonia 3
HR - Croazia 3
MN - Mongolia 3
OM - Oman 3
TN - Tunisia 3
A2 - ???statistics.table.value.countryCode.A2??? 2
CI - Costa d'Avorio 2
DJ - Gibuti 2
ET - Etiopia 2
GH - Ghana 2
GN - Guinea 2
GT - Guatemala 2
HN - Honduras 2
ID - Indonesia 2
KZ - Kazakistan 2
LK - Sri Lanka 2
LV - Lettonia 2
MD - Moldavia 2
MY - Malesia 2
NO - Norvegia 2
PA - Panama 2
PH - Filippine 2
SI - Slovenia 2
SY - Repubblica araba siriana 2
AG - Antigua e Barbuda 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BF - Burkina Faso 1
BG - Bulgaria 1
BH - Bahrain 1
CG - Congo 1
DO - Repubblica Dominicana 1
GA - Gabon 1
GF - Guiana Francese 1
GL - Groenlandia 1
IM - Isola di Man 1
IR - Iran 1
IS - Islanda 1
Totale 12.277
Salva come PNG Salva come JPEG
Città #
Moscow 1.122
Chandler 522
Boardman 497
Singapore 462
Ashburn 300
The Dalles 192
Los Angeles 190
New York 178
Shanghai 157
Beijing 154
Hong Kong 138
Milan 127
Hefei 120
Seoul 119
Kitzingen 115
Istanbul 98
San Mateo 97
Dublin 95
Ogden 73
Dallas 59
Munich 45
Ann Arbor 44
Turin 44
Guangzhou 36
Warsaw 36
Seattle 34
Santa Clara 33
São Paulo 33
Hanover 32
Brooklyn 28
Ho Chi Minh City 28
Tokyo 27
Wilmington 26
Stockholm 25
Brno 24
Phoenix 24
Atlanta 21
Frankfurt am Main 21
Helsinki 21
Hanoi 20
Johannesburg 20
Strasbourg 20
West Jordan 20
Montreal 19
Poplar 19
Jiaxing 18
Berlin 17
Denver 17
Las Vegas 16
San Francisco 15
Amsterdam 14
Central 14
Chennai 14
Jerusalem 14
London 14
Wuxi 14
Chicago 12
Manchester 12
Ankara 11
Brussels 11
Shenzhen 11
Edinburgh 10
Orem 10
Xi'an 10
Charlotte 9
Erbil 9
Houston 9
Mexico City 9
Querétaro 9
Toronto 9
Boston 8
Kyiv 8
Mumbai 8
Shaoxing 8
Amman 7
Biên Hòa 7
New Delhi 7
Rio de Janeiro 7
Andover 6
Brasília 6
Council Bluffs 6
Miami 6
Nuremberg 6
Belo Horizonte 5
Da Nang 5
Delhi 5
Dhaka 5
Lima 5
Nairobi 5
Nanjing 5
Redwood City 5
Ribeirão Preto 5
St Petersburg 5
Taizhou 5
Trepuzzi 5
Turku 5
Washington 5
Augusta 4
Belgrade 4
Budapest 4
Totale 5.995
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 177
ICGT 2008 Doctoral Symposium 174
Interaction and Concurrency Experiences 149
Choreographic Development of Message-Passing Applications 147
An abstract framework for choreographic testing 145
Trustworthy Global Computing 143
From Communicating Machines to Graphical Choreographies 141
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 140
Web Services and Formal Methods 139
A Prototype for Data Race Detection in CSeq 3 137
On Resolving Non-determinism in Choreographies 136
A design-by-contract approach to recover the architectural style from run-time misbehaviour 132
On Model-Based Performance Analysis of Collective Adaptive Systems 131
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions 128
A LTS Semantics of Ambients via Graph Synchronization with Mobility 127
Choreography Automata 127
An Abstract Framework for Choreographic Testing 126
Attribute-based transactions in service oriented computing 123
A debugging calculus for mobile ambients 122
Probabilistic Analysis of Binary Sessions 122
A Java Inspired Semantics for Transactions in SOC 122
A Coordination-based Methodology for Security Protocol Verification 121
Amending Contracts for Choreographies 120
A Process Calculus for QoS-Aware Applications 120
Calculi for Network Aware Programming 117
A symbolic framework for multi-faceted security protocol analysis 116
Service Oriented Computing and Applications 116
A Formal Basis for Reasoning on Programmable QoS 116
Realisability of pomsets 113
Contract-Oriented design of distributed applications: A tutorial 113
An Observational Model for Spatial Logics 112
A Modular Toolkit for Distributed Interactions 112
Graph Transformation and Visual Modeling Techniques 112
A Theory of Design-by-Contract for Distributed Multiparty Interactions 111
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 109
International Conference on Graph Transformation - Doctoral Symposium 109
BPMN Modelling of Services with Dynamically Reconfigurable Transactions 108
Foundations of Session Types and Behavioural Contracts 108
A Logic for Application Level QoS 108
Towards Probabilistic Session-Type Monitoring 108
Tarzan 107
Event-Based Service Coordination 106
A tool for choreography-based analysis of message-passing software 106
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation 106
Contract-Oriented Computing in CO2 105
Verication On The Web Of Mobile Systems 104
Realisability of Pomsets via Communicating Automata 104
Network Applications of Graph Bisimulation 103
Security and Dynamic Compositions of Open Systems 103
Interface Automata for Choreographies 103
Towards A Formal Semantics For Autonomic Components 103
Data-Driven Choreographies à la Klaim 103
Choreography-Based Analysis of Distributed Message Passing Programs 102
From Co-algebraic Specifications to Implementation 101
History Dependent Automata for Service Compatibility 101
PSTMonitor: Monitor synthesis from probabilistic session types 100
Honesty by Typing 100
Communicating machines as a dynamic binding mechanism of services 99
Choreographies for Automatic Recovery 99
Contract-Oriented Services 99
Service Oriented Architectural Design 99
Corinne, a Tool for Choreography Automata 99
The Klaim Project 98
Comparing perfomance abstractions for collective adaptive systems 97
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types 97
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 97
Coordination Models and Languages - 21st IFIP WG 6.1 97
Playing with Our CAT and Communication-Centric Applications 97
A Formal Support to Business and Architectural Design for Service-Oriented Systems 97
Towards Refinable Choreographies 96
Honesty by Typing 95
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 95
From Theory to Practice in Transactional Composition of Web Services 95
Coordination Via Types in an Event-Based Framework 95
An Abstract Semantics of the Global View of Choreographies 94
Accurate Static Data Race Detection for C 93
Refactoring Long Running Transactions 93
Modelling Fusion Calculus using HD-Automata 92
Testing Attribute-Based Transactions in SOC 92
Security Issues in Component-based Design 92
On Sessions and Infinite Data 91
Patterns of Federated Identity Management Systems as Architectural Reconfigurations 91
Graph-Based Models of Internetworking Systems 91
Tool Supported Analysis of IoT 90
Towards Choreographic-Based Monitoring 90
Reliability and Fault-Tolerance by Choreographic Design 90
Model Checking for Nominal Calculi 90
Composition and decomposition of multiparty sessions 90
An Ada95 Implementation of a Network Coordination Language with Code Mobility 89
Refactoring Long Running Transactions: A Case Study 88
Synchronized Hyperedge Replacement for Heterogeneous Systems 87
On Sessions and Infinite Data 87
SHReQ 87
Contracts in distributed systems 86
Relating archaeological chaîne opératoire and process mining in computer science 85
Translating Orc Features into Petri Nets and the Join Calculus 84
Reversible Choreographies via Monitoring in Erlang 83
Debugging Distributed Systems with Causal Nets 83
Model-Driven Development of Long Running Transactions 82
Virtual models for archaeology 82
Totale 10.747
Salva come PNG Salva come JPEG
Categoria #
all - tutte 86.756
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 86.756
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021158 0 0 0 0 0 3 0 1 28 37 24 65
2021/2022775 8 5 45 487 73 7 29 0 21 62 21 17
2022/20231.441 9 51 28 193 135 233 109 208 214 76 171 14
2023/20241.028 39 41 169 32 33 156 35 127 9 189 143 55
2024/20252.338 62 307 503 166 105 109 139 104 170 155 301 217
2025/20266.591 671 475 152 645 766 3.882 0 0 0 0 0 0
Totale 12.590