IRIS
TUOSTO, EMILIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.725
NA - Nord America 6.630
AS - Asia 3.433
SA - Sud America 459
Continente sconosciuto - Info sul continente non disponibili 334
AF - Africa 98
OC - Oceania 11
Totale 18.690
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.458
RU - Federazione Russa 5.285
CN - Cina 1.153
SG - Singapore 1.095
IT - Italia 776
SE - Svezia 395
VN - Vietnam 388
BR - Brasile 340
DE - Germania 320
UA - Ucraina 318
HK - Hong Kong 184
FR - Francia 179
TR - Turchia 125
KR - Corea 122
GB - Regno Unito 106
IE - Irlanda 98
IN - India 89
CA - Canada 70
BD - Bangladesh 61
MX - Messico 48
PL - Polonia 39
IL - Israele 38
AR - Argentina 37
IQ - Iraq 37
ZA - Sudafrica 36
EU - Europa 32
CZ - Repubblica Ceca 30
ES - Italia 29
JP - Giappone 29
NL - Olanda 29
FI - Finlandia 27
CO - Colombia 18
VE - Venezuela 18
PK - Pakistan 16
BE - Belgio 15
EC - Ecuador 15
UZ - Uzbekistan 13
SA - Arabia Saudita 12
CL - Cile 11
CR - Costa Rica 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
JM - Giamaica 6
LT - Lituania 6
PE - Perù 6
TN - Tunisia 6
BO - Bolivia 5
GT - Guatemala 5
LB - Libano 5
MY - Malesia 5
PT - Portogallo 5
DO - Repubblica Dominicana 4
HU - Ungheria 4
KZ - Kazakistan 4
MN - Mongolia 4
NG - Nigeria 4
OM - Oman 4
PA - Panama 4
PH - Filippine 4
SV - El Salvador 4
AZ - Azerbaigian 3
CH - Svizzera 3
EE - Estonia 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
NI - Nicaragua 2
NO - Norvegia 2
SI - Slovenia 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
AG - Antigua e Barbuda 1
AO - Angola 1
Totale 18.362
Salva come PNG Salva come JPEG
Città #
Moscow 1.429
Council Bluffs 1.182
Ashburn 613
San Jose 539
Singapore 537
Chandler 522
Boardman 497
Rome 393
Los Angeles 205
New York 199
The Dalles 193
Beijing 168
Hong Kong 167
Shanghai 157
Phoenix 155
Ho Chi Minh City 143
Chicago 135
Milan 129
Hefei 120
Seoul 120
Staranzano 116
Kitzingen 115
Lauterbourg 110
Istanbul 98
San Mateo 97
Dublin 96
Santa Clara 82
Hanoi 79
Dallas 74
Ogden 73
Havertown 55
Denver 50
Munich 45
Orem 45
Turin 45
Ann Arbor 44
Seattle 42
São Paulo 41
Warsaw 37
Guangzhou 36
Hanover 32
Atlanta 31
Brooklyn 29
Chennai 29
De Pere 28
Frankfurt am Main 27
Stockholm 27
Tokyo 27
Wilmington 26
Corpus Christi 25
Brno 24
Johannesburg 23
Montreal 23
Poplar 22
Helsinki 21
Strasbourg 20
West Jordan 20
Las Vegas 19
Da Nang 18
Jiaxing 18
Berlin 17
Houston 17
Manchester 17
Toronto 17
Amsterdam 16
Haiphong 16
London 15
San Francisco 15
Central 14
Jerusalem 14
Mexico City 14
Wuxi 14
New Delhi 13
Brussels 12
Tashkent 12
Ankara 11
Erbil 11
Shenzhen 11
Boston 10
Charlotte 10
Edinburgh 10
Rio de Janeiro 10
Xi'an 10
Baghdad 9
Miami 9
Mumbai 9
Querétaro 9
San José 9
Biên Hòa 8
Cape Town 8
Dhaka 8
Hải Dương 8
Kyiv 8
Shaoxing 8
Amman 7
Brasília 7
Buffalo 7
Nairobi 7
Nuremberg 7
Philadelphia 7
Totale 9.913
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 284
ICGT 2008 Doctoral Symposium 233
Choreographic Development of Message-Passing Applications 204
Interaction and Concurrency Experiences 201
From Communicating Machines to Graphical Choreographies 200
A Prototype for Data Race Detection in CSeq 3 197
On Model-Based Performance Analysis of Collective Adaptive Systems 194
On Resolving Non-determinism in Choreographies 193
An Abstract Framework for Choreographic Testing 193
An abstract framework for choreographic testing 193
A design-by-contract approach to recover the architectural style from run-time misbehaviour 190
Trustworthy Global Computing 188
A LTS Semantics of Ambients via Graph Synchronization with Mobility 185
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 185
Web Services and Formal Methods 182
A Coordination-based Methodology for Security Protocol Verification 180
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions 178
Choreography Automata 178
Amending Contracts for Choreographies 177
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation 177
A symbolic framework for multi-faceted security protocol analysis 174
A debugging calculus for mobile ambients 173
A Java Inspired Semantics for Transactions in SOC 173
Calculi for Network Aware Programming 172
Probabilistic Analysis of Binary Sessions 172
A Formal Basis for Reasoning on Programmable QoS 172
A Process Calculus for QoS-Aware Applications 169
Service Oriented Computing and Applications 167
Foundations of Session Types and Behavioural Contracts 167
Contract-Oriented design of distributed applications: A tutorial 164
Attribute-based transactions in service oriented computing 161
Realisability of pomsets 159
Graph Transformation and Visual Modeling Techniques 159
A Theory of Design-by-Contract for Distributed Multiparty Interactions 159
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 158
Tarzan 158
Towards Probabilistic Session-Type Monitoring 158
A tool for choreography-based analysis of message-passing software 156
An Observational Model for Spatial Logics 155
A Modular Toolkit for Distributed Interactions 155
BPMN Modelling of Services with Dynamically Reconfigurable Transactions 154
Comparing perfomance abstractions for collective adaptive systems 153
International Conference on Graph Transformation - Doctoral Symposium 153
A Logic for Application Level QoS 153
PSTMonitor: Monitor synthesis from probabilistic session types 152
Honesty by Typing 151
Security and Dynamic Compositions of Open Systems 151
Contract-Oriented Computing in CO2 151
Interface Automata for Choreographies 150
Event-Based Service Coordination 149
Towards A Formal Semantics For Autonomic Components 149
Realisability of Pomsets via Communicating Automata 149
Coordination Models and Languages - 21st IFIP WG 6.1 148
A Formal Support to Business and Architectural Design for Service-Oriented Systems 147
History Dependent Automata for Service Compatibility 146
Corinne, a Tool for Choreography Automata 146
Accurate Static Data Race Detection for C 145
Network Applications of Graph Bisimulation 145
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 144
Contract-Oriented Services 144
Patterns of Federated Identity Management Systems as Architectural Reconfigurations 144
From Theory to Practice in Transactional Composition of Web Services 144
From Co-algebraic Specifications to Implementation 143
Towards Refinable Choreographies 143
Communicating machines as a dynamic binding mechanism of services 142
Choreography-Based Analysis of Distributed Message Passing Programs 142
Playing with Our CAT and Communication-Centric Applications 141
Verication On The Web Of Mobile Systems 141
The Klaim Project 141
Refactoring Long Running Transactions 140
Choreographies for Automatic Recovery 139
An Abstract Semantics of the Global View of Choreographies 139
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 139
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types 138
Towards Choreographic-Based Monitoring 138
Security Issues in Component-based Design 138
On Sessions and Infinite Data 137
Service Oriented Architectural Design 137
Data-Driven Choreographies à la Klaim 137
Synchronized Hyperedge Replacement for Heterogeneous Systems 136
Honesty by Typing 136
Refactoring Long Running Transactions: A Case Study 136
Coordination Via Types in an Event-Based Framework 136
Testing Attribute-Based Transactions in SOC 135
Reversible Choreographies via Monitoring in Erlang 135
Composition and decomposition of multiparty sessions 135
Modelling Fusion Calculus using HD-Automata 134
Tool Supported Analysis of IoT 132
Reliability and Fault-Tolerance by Choreographic Design 131
Model Checking for Nominal Calculi 131
Contracts in distributed systems 130
Debugging Distributed Systems with Causal Nets 130
Translating Orc Features into Petri Nets and the Join Calculus 129
An Ada95 Implementation of a Network Coordination Language with Code Mobility 129
SHReQ 129
Semantics of global view of choreographies 128
On Sessions and Infinite Data 128
Graph-Based Models of Internetworking Systems 128
Relating archaeological chaîne opératoire and process mining in computer science 127
Interaction and Concurrency Experience: Structured Interactions 125
Totale 15.596
Salva come PNG Salva come JPEG
Categoria #
all - tutte 105.729
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 105.729
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022717 0 0 0 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/20271.903 213 547 738 405 0 0 0 0 0 0 0 0
Totale 18.690