IRIS
MURGIA, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.507
NA - Nord America 1.381
AS - Asia 842
SA - Sud America 109
Continente sconosciuto - Info sul continente non disponibili 43
AF - Africa 20
OC - Oceania 1
Totale 3.903
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.321
RU - Federazione Russa 1.171
SG - Singapore 309
CN - Cina 230
IT - Italia 105
VN - Vietnam 100
BR - Brasile 80
HK - Hong Kong 64
DE - Germania 51
CA - Canada 34
FR - Francia 33
GB - Regno Unito 33
KR - Corea 25
TR - Turchia 23
NL - Olanda 21
BD - Bangladesh 19
SE - Svezia 19
FI - Finlandia 17
UA - Ucraina 17
IN - India 16
PL - Polonia 12
AR - Argentina 11
IQ - Iraq 11
JP - Giappone 11
MX - Messico 11
ES - Italia 7
VE - Venezuela 7
ZA - Sudafrica 7
IL - Israele 6
CO - Colombia 5
UZ - Uzbekistan 5
CR - Costa Rica 4
CZ - Repubblica Ceca 4
LT - Lituania 4
MY - Malesia 3
OM - Oman 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
AZ - Azerbaigian 2
CL - Cile 2
DK - Danimarca 2
EC - Ecuador 2
EG - Egitto 2
ET - Etiopia 2
IE - Irlanda 2
KE - Kenya 2
LB - Libano 2
MA - Marocco 2
PA - Panama 2
PK - Pakistan 2
SA - Arabia Saudita 2
SV - El Salvador 2
TN - Tunisia 2
AL - Albania 1
AU - Australia 1
BY - Bielorussia 1
CG - Congo 1
CH - Svizzera 1
CW - ???statistics.table.value.countryCode.CW??? 1
DO - Repubblica Dominicana 1
EU - Europa 1
GD - Grenada 1
GE - Georgia 1
GH - Ghana 1
GR - Grecia 1
HN - Honduras 1
HU - Ungheria 1
ID - Indonesia 1
JM - Giamaica 1
JO - Giordania 1
LK - Sri Lanka 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
PE - Perù 1
PH - Filippine 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 3.862
Salva come PNG Salva come JPEG
Città #
Moscow 284
Council Bluffs 258
Ashburn 157
Singapore 140
San Jose 124
Boardman 105
Hong Kong 62
The Dalles 53
Los Angeles 50
New York 50
Beijing 42
Chicago 36
Ho Chi Minh City 35
Phoenix 33
Denver 28
Milan 27
Lauterbourg 26
Hefei 25
Seoul 25
Hanoi 22
Shanghai 22
Staranzano 22
São Paulo 21
Kitzingen 20
Santa Clara 19
Amsterdam 18
Istanbul 18
Rome 18
Dallas 14
Montreal 14
Orem 14
Stockholm 13
Ogden 12
Poplar 12
Warsaw 12
Brooklyn 11
Helsinki 10
Kyiv 10
Miami 10
Tokyo 10
Houston 9
Atlanta 8
Baghdad 8
Toronto 8
Turku 7
Chennai 6
Jerusalem 6
London 6
Tavernier 6
Cagliari 5
Corpus Christi 5
Guangzhou 5
Haiphong 5
Lille 5
Manchester 5
Seattle 5
Biên Hòa 4
Da Nang 4
Dhaka 4
Jiaxing 4
Johannesburg 4
Mexico City 4
Munich 4
Olomouc 4
Tashkent 4
Abbeville 3
Ann Arbor 3
Berlin 3
Brasília 3
Hải Dương 3
L’Aquila 3
Milwaukee 3
Mumbai 3
Ottawa 3
Pesaro 3
Princeton 3
Quanzhou 3
Querétaro 3
San Diego 3
San Francisco 3
San José 3
San Mateo 3
Shenzhen 3
Ankara 2
Baku 2
Barquisimeto 2
Bogotá 2
Bologna 2
Bến Tre 2
Caracas 2
Charlotte 2
Cologne 2
Concord 2
Copenhagen 2
Dongguan 2
Dublin 2
Iesi 2
Kuala Lumpur 2
Latrobe 2
Minneapolis 2
Totale 2.105
Salva come PNG Salva come JPEG
Nome #
On Model-Based Performance Analysis of Collective Adaptive Systems 194
Contract-Oriented design of distributed applications: A tutorial 164
A fixed-points based framework for compliance of behavioural contracts 162
A Minimal Core Calculus for Solidity Contracts 161
A True Concurrent Model of Smart Contracts Executions 160
On urgency in asynchronous timed session types 158
A theory of transaction parallelism in blockchains 157
Progress-preserving refinements of CTA 157
Behavioural Types: from Theory to Tools 156
Modelling and verifying contract-oriented systems in Maude 156
Asynchronous Subtyping by Trace Relaxation 154
A Contract-Oriented Middleware 153
Comparing perfomance abstractions for collective adaptive systems 153
Compliance and subtyping in timed session types 145
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL 141
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes 141
A note on compliance relations and fixed points.? 141
Input urgent semantics for asynchronous timed session types 136
Verifying liquidity of recursive Bitcoin contracts 133
Verifiable abstractions for contract-oriented systems 127
Sound approximate and asymptotic probabilistic bisimulations for PCTL 126
TRAC: A Tool for Data-Aware Coordination 122
Timed Session Types 117
Contextual Behavioural Metrics 116
Abstract Subtyping for Asynchronous Multiparty Sessions 107
Renegotiation and recursion in bitcoin contracts 106
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions 90
Automatic Code and Test Generation of Smart Contracts from Coordination Models 37
Automatic Code and Test Generation of Smart Contracts from Coordination Models 33
Totale 3.903
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.734
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 16.734
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20229 0 0 0 8 0 1 0 0 0 0 0 0
2022/202342 0 1 0 0 0 0 1 1 0 5 33 1
2023/2024286 16 30 48 13 24 30 2 25 4 35 34 25
2024/2025515 8 55 81 24 37 35 54 10 41 52 83 35
2025/20262.587 148 98 36 266 220 1.254 173 55 123 52 86 76
2026/2027455 75 122 160 98 0 0 0 0 0 0 0 0
Totale 3.903