IRIS
TUOSTO, EMILIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.896
NA - Nord America 3.530
AS - Asia 2.636
SA - Sud America 334
AF - Africa 63
Continente sconosciuto - Info sul continente non disponibili 35
OC - Oceania 8
Totale 10.502
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.442
RU - Federazione Russa 2.224
CN - Cina 1.040
SG - Singapore 900
SE - Svezia 391
UA - Ucraina 312
DE - Germania 306
BR - Brasile 269
IT - Italia 221
HK - Hong Kong 152
TR - Turchia 122
KR - Corea 119
IE - Irlanda 96
GB - Regno Unito 73
VN - Vietnam 68
FR - Francia 64
IN - India 52
CA - Canada 41
BD - Bangladesh 39
IL - Israele 34
PL - Polonia 34
EU - Europa 32
CZ - Repubblica Ceca 29
AR - Argentina 27
FI - Finlandia 27
MX - Messico 26
JP - Giappone 23
ZA - Sudafrica 23
ES - Italia 22
NL - Olanda 20
IQ - Iraq 19
BE - Belgio 12
PK - Pakistan 12
VE - Venezuela 10
SA - Arabia Saudita 9
AE - Emirati Arabi Uniti 6
AT - Austria 6
AU - Australia 6
CO - Colombia 6
EC - Ecuador 6
JO - Giordania 6
RO - Romania 6
RS - Serbia 6
AL - Albania 5
CL - Cile 5
EG - Egitto 5
KE - Kenya 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
MA - Marocco 4
NG - Nigeria 4
UY - Uruguay 4
AZ - Azerbaigian 3
CH - Svizzera 3
EE - Estonia 3
HR - Croazia 3
OM - Oman 3
TN - Tunisia 3
UZ - Uzbekistan 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
LV - Lettonia 2
MD - Moldavia 2
MN - Mongolia 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
JM - Giamaica 1
Totale 10.481
Salva come PNG Salva come JPEG
Città #
Moscow 653
Chandler 522
Boardman 497
Singapore 452
Ashburn 277
The Dalles 192
Los Angeles 184
New York 173
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
Seattle 33
Hanover 32
São Paulo 32
Warsaw 32
Santa Clara 31
Wilmington 26
Brno 24
Brooklyn 24
Stockholm 23
Ho Chi Minh City 22
Phoenix 22
Tokyo 22
Frankfurt am Main 21
Helsinki 21
Atlanta 20
Strasbourg 20
West Jordan 20
Montreal 19
Hanoi 18
Jiaxing 18
Berlin 17
Johannesburg 17
Las Vegas 16
San Francisco 15
Central 14
Chennai 14
Jerusalem 14
Wuxi 14
Denver 13
London 13
Poplar 13
Amsterdam 12
Chicago 12
Brussels 11
Shenzhen 11
Ankara 10
Edinburgh 10
Manchester 10
Xi'an 10
Charlotte 9
Erbil 9
Houston 9
Toronto 9
Boston 8
Kyiv 8
Mexico City 8
Orem 8
Shaoxing 8
Mumbai 7
New Delhi 7
Rio de Janeiro 7
Amman 6
Andover 6
Biên Hòa 6
Brasília 6
Council Bluffs 6
Miami 6
Nuremberg 6
Querétaro 6
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
Belgrade 4
Belo Horizonte 4
Budapest 4
Buenos Aires 4
Cape Town 4
Totale 5.422
Salva come PNG Salva come JPEG
Nome #
ICGT 2008 Doctoral Symposium 154
Abstractions for Collective Adaptive Systems 152
Choreographic Development of Message-Passing Applications 130
From Communicating Machines to Graphical Choreographies 129
Interaction and Concurrency Experiences 129
Trustworthy Global Computing 128
An abstract framework for choreographic testing 126
On Resolving Non-determinism in Choreographies 125
A Choreography-Driven Approach to APIs: The OpenDXL Case Study 125
A Prototype for Data Race Detection in CSeq 3 121
Web Services and Formal Methods 120
A design-by-contract approach to recover the architectural style from run-time misbehaviour 117
On Model-Based Performance Analysis of Collective Adaptive Systems 114
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions 112
Choreography Automata 112
A LTS Semantics of Ambients via Graph Synchronization with Mobility 110
A debugging calculus for mobile ambients 109
Attribute-based transactions in service oriented computing 107
Probabilistic Analysis of Binary Sessions 106
A Java Inspired Semantics for Transactions in SOC 106
An Abstract Framework for Choreographic Testing 106
A Coordination-based Methodology for Security Protocol Verification 105
Amending Contracts for Choreographies 105
A Process Calculus for QoS-Aware Applications 105
Calculi for Network Aware Programming 102
Service Oriented Computing and Applications 100
A symbolic framework for multi-faceted security protocol analysis 99
A Modular Toolkit for Distributed Interactions 99
Contract-Oriented design of distributed applications: A tutorial 99
A Formal Basis for Reasoning on Programmable QoS 99
Contract-Oriented Computing in CO2 97
Realisability of pomsets 96
Graph Transformation and Visual Modeling Techniques 96
A Theory of Design-by-Contract for Distributed Multiparty Interactions 96
An Observational Model for Spatial Logics 95
BPMN Modelling of Services with Dynamically Reconfigurable Transactions 94
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 94
Event-Based Service Coordination 94
Towards Probabilistic Session-Type Monitoring 93
International Conference on Graph Transformation - Doctoral Symposium 92
Interface Automata for Choreographies 91
A tool for choreography-based analysis of message-passing software 91
Foundations of Session Types and Behavioural Contracts 91
Security and Dynamic Compositions of Open Systems 90
Towards A Formal Semantics For Autonomic Components 90
Verication On The Web Of Mobile Systems 90
Realisability of Pomsets via Communicating Automata 90
A Logic for Application Level QoS 90
Proceedings of the Doctoral Symposium at the International Conference on Graph Transformation 89
Tarzan 89
Choreographies for Automatic Recovery 87
Contract-Oriented Services 87
Service Oriented Architectural Design 87
Choreography-Based Analysis of Distributed Message Passing Programs 87
Data-Driven Choreographies à la Klaim 87
Network Applications of Graph Bisimulation 86
The Klaim Project 86
Corinne, a Tool for Choreography Automata 86
Communicating machines as a dynamic binding mechanism of services 85
From Co-algebraic Specifications to Implementation 85
History Dependent Automata for Service Compatibility 85
Coordination Via Types in an Event-Based Framework 85
PSTMonitor: Monitor synthesis from probabilistic session types 84
Coordination Models and Languages - 21st IFIP WG 6.1 84
A Formal Support to Business and Architectural Design for Service-Oriented Systems 84
Honesty by Typing 83
Playing with Our CAT and Communication-Centric Applications 83
Testing Attribute-Based Transactions in SOC 82
From Theory to Practice in Transactional Composition of Web Services 82
Refactoring Long Running Transactions 81
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing 81
Modelling Fusion Calculus using HD-Automata 80
Tool Supported Analysis of IoT 80
Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods 80
Towards Choreographic-Based Monitoring 80
Accurate Static Data Race Detection for C 79
An Abstract Semantics of the Global View of Choreographies 79
Honesty by Typing 79
Patterns of Federated Identity Management Systems as Architectural Reconfigurations 79
On Sessions and Infinite Data 78
An Ada95 Implementation of a Network Coordination Language with Code Mobility 78
Reliability and Fault-Tolerance by Choreographic Design 78
Model Checking for Nominal Calculi 78
Composition and decomposition of multiparty sessions 78
Comparing perfomance abstractions for collective adaptive systems 77
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types 77
Towards Refinable Choreographies 77
SHReQ 77
Graph-Based Models of Internetworking Systems 77
On Sessions and Infinite Data 76
Contracts in distributed systems 74
Refactoring Long Running Transactions: A Case Study 74
Security Issues in Component-based Design 74
Synchronized Hyperedge Replacement for Heterogeneous Systems 73
Architectural Models of Ambient-PRISMA in Channel Ambient Calculus 73
Translating Orc Features into Petri Nets and the Join Calculus 72
Reversible Choreographies via Monitoring in Erlang 72
Relating archaeological chaîne opératoire and process mining in computer science 72
Debugging Distributed Systems with Causal Nets 71
Model-Driven Development of Long Running Transactions 70
Totale 9.288
Salva come PNG Salva come JPEG
Categoria #
all - tutte 84.198
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 84.198
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/20264.795 671 475 152 645 766 2.086 0 0 0 0 0 0
Totale 10.794