IRIS
TUOSTO, EMILIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.578
NA - Nord America 5.495
AS - Asia 3.386
SA - Sud America 455
Continente sconosciuto - Info sul continente non disponibili 334
AF - Africa 98
OC - Oceania 11
Totale 17.357
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.346
RU - Federazione Russa 5.285
CN - Cina 1.153
SG - Singapore 1.056
IT - Italia 640
SE - Svezia 395
VN - Vietnam 388
BR - Brasile 339
DE - Germania 318
UA - Ucraina 318
HK - Hong Kong 183
FR - Francia 179
TR - Turchia 124
KR - Corea 121
GB - Regno Unito 100
IE - Irlanda 98
IN - India 89
BD - Bangladesh 60
CA - Canada 60
MX - Messico 47
PL - Polonia 39
AR - Argentina 37
IL - Israele 37
IQ - Iraq 37
ZA - Sudafrica 36
EU - Europa 32
CZ - Repubblica Ceca 30
JP - Giappone 29
ES - Italia 28
NL - Olanda 28
FI - Finlandia 27
VE - Venezuela 17
CO - Colombia 16
PK - Pakistan 16
BE - Belgio 15
EC - Ecuador 15
UZ - Uzbekistan 12
CL - Cile 11
SA - Arabia Saudita 11
AE - Emirati Arabi Uniti 9
DK - Danimarca 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
TT - Trinidad e Tobago 7
UY - Uruguay 7
AL - Albania 6
AT - Austria 6
HN - Honduras 6
ID - Indonesia 6
PE - Perù 6
TN - Tunisia 6
BO - Bolivia 5
CR - Costa Rica 5
JM - Giamaica 5
LB - Libano 5
LT - Lituania 5
PT - Portogallo 5
DO - Repubblica Dominicana 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
GT - Guatemala 3
HR - Croazia 3
NZ - Nuova Zelanda 3
PR - Porto Rico 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
LK - Sri Lanka 2
LV - Lettonia 2
MD - Moldavia 2
NO - Norvegia 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
AG - Antigua e Barbuda 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
Totale 17.029
Salva come PNG Salva come JPEG
Città #
Moscow 1.429
Council Bluffs 835
Ashburn 555
Singapore 535
Chandler 522
Boardman 497
San Jose 395
Rome 391
Los Angeles 198
The Dalles 193
New York 192
Beijing 168
Hong Kong 167
Shanghai 157
Ho Chi Minh City 143
Chicago 134
Milan 129
Hefei 120
Seoul 119
Kitzingen 115
Lauterbourg 110
Istanbul 98
San Mateo 97
Dublin 96
Hanoi 79
Ogden 73
Dallas 68
Santa Clara 51
Phoenix 47
Munich 45
Orem 45
Ann Arbor 44
Turin 44
São Paulo 40
Warsaw 37
Guangzhou 36
Seattle 36
Hanover 32
Brooklyn 29
Chennai 29
Stockholm 27
Tokyo 27
Wilmington 26
Frankfurt am Main 25
Brno 24
Johannesburg 23
Montreal 23
Atlanta 22
Poplar 22
Helsinki 21
Strasbourg 20
West Jordan 20
Da Nang 18
Denver 18
Jiaxing 18
Las Vegas 18
Berlin 17
Manchester 17
Amsterdam 16
Haiphong 16
London 15
San Francisco 15
Central 14
Houston 14
Jerusalem 14
Toronto 14
Wuxi 14
Mexico City 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
Mumbai 9
Querétaro 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
Philadelphia 7
Andover 6
Miami 6
Nha Trang 6
Quito 6
Ribeirão Preto 6
Algiers 5
Belgrade 5
Totale 8.927
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 268
ICGT 2008 Doctoral Symposium 217
Choreographic Development of Message-Passing Applications 192
A Prototype for Data Race Detection in CSeq 3 188
Interaction and Concurrency Experiences 187
On Model-Based Performance Analysis of Collective Adaptive Systems 185
An Abstract Framework for Choreographic Testing 185
From Communicating Machines to Graphical Choreographies 184
An abstract framework for choreographic testing 183
On Resolving Non-determinism in Choreographies 181
A design-by-contract approach to recover the architectural style from run-time misbehaviour 180
Trustworthy Global Computing 179
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 176
Web Services and Formal Methods 174
A LTS Semantics of Ambients via Graph Synchronization with Mobility 173
A Coordination-based Methodology for Security Protocol Verification 169
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions 169
Choreography Automata 168
Amending Contracts for Choreographies 167
A symbolic framework for multi-faceted security protocol analysis 165
A Formal Basis for Reasoning on Programmable QoS 163
A Process Calculus for QoS-Aware Applications 162
Probabilistic Analysis of Binary Sessions 162
A Java Inspired Semantics for Transactions in SOC 162
Calculi for Network Aware Programming 161
A debugging calculus for mobile ambients 161
Service Oriented Computing and Applications 157
Attribute-based transactions in service oriented computing 154
Contract-Oriented design of distributed applications: A tutorial 154
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation 154
Foundations of Session Types and Behavioural Contracts 153
Tarzan 150
A Theory of Design-by-Contract for Distributed Multiparty Interactions 149
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 148
Towards Probabilistic Session-Type Monitoring 148
An Observational Model for Spatial Logics 147
A Modular Toolkit for Distributed Interactions 147
Graph Transformation and Visual Modeling Techniques 146
A tool for choreography-based analysis of message-passing software 146
Realisability of pomsets 144
International Conference on Graph Transformation - Doctoral Symposium 144
A Logic for Application Level QoS 144
Comparing perfomance abstractions for collective adaptive systems 143
Security and Dynamic Compositions of Open Systems 143
Honesty by Typing 142
PSTMonitor: Monitor synthesis from probabilistic session types 141
BPMN Modelling of Services with Dynamically Reconfigurable Transactions 141
Interface Automata for Choreographies 141
Contract-Oriented Computing in CO2 141
Event-Based Service Coordination 139
Towards A Formal Semantics For Autonomic Components 139
Realisability of Pomsets via Communicating Automata 139
Network Applications of Graph Bisimulation 138
Corinne, a Tool for Choreography Automata 138
Accurate Static Data Race Detection for C 137
From Co-algebraic Specifications to Implementation 135
History Dependent Automata for Service Compatibility 135
Coordination Models and Languages - 21st IFIP WG 6.1 135
A Formal Support to Business and Architectural Design for Service-Oriented Systems 135
Contract-Oriented Services 134
From Theory to Practice in Transactional Composition of Web Services 134
Verication On The Web Of Mobile Systems 134
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 133
The Klaim Project 133
Communicating machines as a dynamic binding mechanism of services 132
Choreography-Based Analysis of Distributed Message Passing Programs 132
Choreographies for Automatic Recovery 131
Patterns of Federated Identity Management Systems as Architectural Reconfigurations 131
Playing with Our CAT and Communication-Centric Applications 131
Towards Choreographic-Based Monitoring 131
Towards Refinable Choreographies 131
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types 130
Refactoring Long Running Transactions 130
Data-Driven Choreographies à la Klaim 130
Security Issues in Component-based Design 130
An Abstract Semantics of the Global View of Choreographies 129
Honesty by Typing 129
On Sessions and Infinite Data 128
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 128
Refactoring Long Running Transactions: A Case Study 127
Synchronized Hyperedge Replacement for Heterogeneous Systems 126
Service Oriented Architectural Design 126
Coordination Via Types in an Event-Based Framework 126
Composition and decomposition of multiparty sessions 125
Testing Attribute-Based Transactions in SOC 124
Modelling Fusion Calculus using HD-Automata 123
Contracts in distributed systems 122
Model Checking for Nominal Calculi 122
Graph-Based Models of Internetworking Systems 122
Reversible Choreographies via Monitoring in Erlang 121
Debugging Distributed Systems with Causal Nets 121
SHReQ 121
Relating archaeological chaîne opératoire and process mining in computer science 121
Tool Supported Analysis of IoT 120
Semantics of global view of choreographies 119
Translating Orc Features into Petri Nets and the Join Calculus 119
An Ada95 Implementation of a Network Coordination Language with Code Mobility 119
On Sessions and Infinite Data 118
Reliability and Fault-Tolerance by Choreographic Design 118
Three Algorithms and a Methodology for Amending Contracts for Choreographies 114
Totale 14.583
Salva come PNG Salva come JPEG
Categoria #
all - tutte 101.010
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 101.010
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022767 0 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.788 671 475 152 645 766 5.451 682 275 811 288 214 358
2026/2027570 213 357 0 0 0 0 0 0 0 0 0 0
Totale 17.357