IRIS
TUOSTO, EMILIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.560
NA - Nord America 4.947
AS - Asia 3.379
SA - Sud America 453
AF - Africa 98
Continente sconosciuto - Info sul continente non disponibili 35
OC - Oceania 9
Totale 16.481
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 5.285
US - Stati Uniti d'America 4.806
CN - Cina 1.149
SG - Singapore 1.053
IT - Italia 629
SE - Svezia 394
VN - Vietnam 388
BR - Brasile 338
DE - Germania 318
UA - Ucraina 318
HK - Hong Kong 183
FR - Francia 178
TR - Turchia 124
KR - Corea 121
GB - Regno Unito 100
IE - Irlanda 98
IN - India 89
BD - Bangladesh 60
CA - Canada 57
MX - Messico 47
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
NL - Olanda 27
ES - Italia 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
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
ID - Indonesia 6
PE - Perù 6
TN - Tunisia 6
BO - Bolivia 5
HN - Honduras 5
LB - Libano 5
LT - Lituania 5
PT - Portogallo 5
CR - Costa Rica 4
DO - Repubblica Dominicana 4
HU - Ungheria 4
JM - Giamaica 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
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
SV - El Salvador 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
Totale 16.452
Salva come PNG Salva come JPEG
Città #
Moscow 1.429
Ashburn 554
Singapore 533
Chandler 522
Boardman 497
San Jose 393
Rome 388
Council Bluffs 355
Los Angeles 198
The Dalles 193
New York 189
Hong Kong 167
Beijing 165
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 66
Santa Clara 46
Munich 45
Orem 45
Ann Arbor 44
Turin 44
São Paulo 40
Guangzhou 36
Warsaw 36
Seattle 35
Hanover 32
Brooklyn 29
Chennai 29
Phoenix 27
Tokyo 27
Stockholm 26
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
Berlin 17
Las Vegas 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
Andover 6
Miami 6
Nha Trang 6
Quito 6
Ribeirão Preto 6
Algiers 5
Belgrade 5
Belo Horizonte 5
Totale 8.400
Salva come PNG Salva come JPEG
Nome #
Abstractions for Collective Adaptive Systems 263
ICGT 2008 Doctoral Symposium 212
Choreographic Development of Message-Passing Applications 189
A Prototype for Data Race Detection in CSeq 3 186
An Abstract Framework for Choreographic Testing 183
Interaction and Concurrency Experiences 182
On Model-Based Performance Analysis of Collective Adaptive Systems 181
From Communicating Machines to Graphical Choreographies 180
An abstract framework for choreographic testing 179
On Resolving Non-determinism in Choreographies 176
A design-by-contract approach to recover the architectural style from run-time misbehaviour 175
Trustworthy Global Computing 175
A LTS Semantics of Ambients via Graph Synchronization with Mobility 171
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 170
Web Services and Formal Methods 168
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions 165
Choreography Automata 164
A Coordination-based Methodology for Security Protocol Verification 163
Amending Contracts for Choreographies 163
A symbolic framework for multi-faceted security protocol analysis 159
A Formal Basis for Reasoning on Programmable QoS 159
A Process Calculus for QoS-Aware Applications 158
Probabilistic Analysis of Binary Sessions 158
A Java Inspired Semantics for Transactions in SOC 158
Calculi for Network Aware Programming 157
A debugging calculus for mobile ambients 156
Service Oriented Computing and Applications 153
Contract-Oriented design of distributed applications: A tutorial 151
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation 151
Attribute-based transactions in service oriented computing 150
Foundations of Session Types and Behavioural Contracts 150
A Theory of Design-by-Contract for Distributed Multiparty Interactions 145
An Observational Model for Spatial Logics 144
Tarzan 144
Towards Probabilistic Session-Type Monitoring 144
A Modular Toolkit for Distributed Interactions 143
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 143
Graph Transformation and Visual Modeling Techniques 141
Realisability of pomsets 140
A Logic for Application Level QoS 140
Comparing perfomance abstractions for collective adaptive systems 139
International Conference on Graph Transformation - Doctoral Symposium 139
A tool for choreography-based analysis of message-passing software 139
PSTMonitor: Monitor synthesis from probabilistic session types 138
Honesty by Typing 138
Security and Dynamic Compositions of Open Systems 138
Interface Automata for Choreographies 137
Contract-Oriented Computing in CO2 137
BPMN Modelling of Services with Dynamically Reconfigurable Transactions 136
Towards A Formal Semantics For Autonomic Components 135
Network Applications of Graph Bisimulation 134
Event-Based Service Coordination 134
Realisability of Pomsets via Communicating Automata 134
Corinne, a Tool for Choreography Automata 133
Accurate Static Data Race Detection for C 132
History Dependent Automata for Service Compatibility 131
A Formal Support to Business and Architectural Design for Service-Oriented Systems 131
Coordination Models and Languages - 21st IFIP WG 6.1 130
Choreography-Based Analysis of Distributed Message Passing Programs 130
From Co-algebraic Specifications to Implementation 129
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 129
Contract-Oriented Services 129
Verication On The Web Of Mobile Systems 129
The Klaim Project 129
From Theory to Practice in Transactional Composition of Web Services 128
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types 127
Communicating machines as a dynamic binding mechanism of services 127
Playing with Our CAT and Communication-Centric Applications 127
Towards Choreographic-Based Monitoring 127
Towards Refinable Choreographies 127
Refactoring Long Running Transactions 126
Choreographies for Automatic Recovery 126
Honesty by Typing 126
Patterns of Federated Identity Management Systems as Architectural Reconfigurations 126
Data-Driven Choreographies à la Klaim 126
An Abstract Semantics of the Global View of Choreographies 125
Security Issues in Component-based Design 125
On Sessions and Infinite Data 124
Refactoring Long Running Transactions: A Case Study 123
Synchronized Hyperedge Replacement for Heterogeneous Systems 122
Service Oriented Architectural Design 122
Composition and decomposition of multiparty sessions 122
Modelling Fusion Calculus using HD-Automata 121
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 121
Coordination Via Types in an Event-Based Framework 121
Testing Attribute-Based Transactions in SOC 120
Model Checking for Nominal Calculi 118
Relating archaeological chaîne opératoire and process mining in computer science 118
Tool Supported Analysis of IoT 117
Contracts in distributed systems 117
Reversible Choreographies via Monitoring in Erlang 117
Debugging Distributed Systems with Causal Nets 117
SHReQ 117
Graph-Based Models of Internetworking Systems 117
Semantics of global view of choreographies 115
An Ada95 Implementation of a Network Coordination Language with Code Mobility 114
On Sessions and Infinite Data 114
Translating Orc Features into Petri Nets and the Join Calculus 113
Reliability and Fault-Tolerance by Choreographic Design 113
Virtual models for archaeology 111
Totale 14.156
Salva come PNG Salva come JPEG
Categoria #
all - tutte 96.933
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 96.933
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202165 0 0 0 0 0 0 0 0 0 0 0 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.780 671 475 152 645 766 5.451 682 275 811 288 214 350
Totale 16.779