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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021126 0 0 0 0 0 0 0 0 0 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/202610.126 671 475 152 645 766 5.451 682 275 811 198 0 0
Totale 16.125