IRIS
MURGIA, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.469
NA - Nord America 987
AS - Asia 821
SA - Sud America 106
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 3.405
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 1.171
US - Stati Uniti d'America 941
SG - Singapore 291
CN - Cina 229
VN - Vietnam 100
BR - Brasile 78
IT - Italia 69
HK - Hong Kong 63
DE - Germania 51
FR - Francia 33
GB - Regno Unito 32
CA - Canada 26
KR - Corea 25
TR - Turchia 23
NL - Olanda 20
BD - Bangladesh 19
SE - Svezia 19
FI - Finlandia 17
UA - Ucraina 17
IN - India 16
PL - Polonia 12
AR - Argentina 11
IQ - Iraq 11
MX - Messico 11
JP - Giappone 10
ES - Italia 7
VE - Venezuela 7
ZA - Sudafrica 7
IL - Israele 6
CO - Colombia 5
UZ - Uzbekistan 5
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
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
TN - Tunisia 2
AL - Albania 1
AU - Australia 1
BY - Bielorussia 1
CG - Congo 1
CH - Svizzera 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
EC - Ecuador 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
PS - Palestinian Territory 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
TT - Trinidad e Tobago 1
UY - Uruguay 1
Totale 3.405
Salva come PNG Salva come JPEG
Città #
Moscow 284
Ashburn 142
Singapore 140
Boardman 105
San Jose 90
Council Bluffs 75
Hong Kong 62
The Dalles 53
Los Angeles 49
New York 42
Beijing 41
Chicago 35
Ho Chi Minh City 35
Lauterbourg 26
Milan 26
Hefei 25
Seoul 25
Hanoi 22
Shanghai 22
São Paulo 21
Kitzingen 20
Amsterdam 18
Istanbul 18
Orem 14
Rome 14
Dallas 13
Stockholm 13
Montreal 12
Ogden 12
Poplar 12
Santa Clara 12
Warsaw 12
Helsinki 10
Kyiv 10
Brooklyn 9
Denver 9
Tokyo 9
Baghdad 8
Miami 8
Atlanta 7
Phoenix 7
Turku 7
Chennai 6
Jerusalem 6
London 6
Toronto 6
Cagliari 5
Guangzhou 5
Haiphong 5
Lille 5
Seattle 5
Biên Hòa 4
Da Nang 4
Dhaka 4
Houston 4
Jiaxing 4
Johannesburg 4
Manchester 4
Mexico City 4
Munich 4
Olomouc 4
Tashkent 4
Ann Arbor 3
Berlin 3
Brasília 3
Hải Dương 3
L’Aquila 3
Milwaukee 3
Mumbai 3
Pesaro 3
Quanzhou 3
Querétaro 3
San Diego 3
San Francisco 3
San Mateo 3
Shenzhen 3
Ankara 2
Baku 2
Barquisimeto 2
Bogotá 2
Bologna 2
Bến Tre 2
Caracas 2
Cologne 2
Concord 2
Copenhagen 2
Dongguan 2
Dublin 2
Iesi 2
Kuala Lumpur 2
Minneapolis 2
Montelupone 2
Nairobi 2
Ottawa 2
Oxford 2
Panama City 2
Pelotas 2
Phú Nhuận 2
Ribeirão Preto 2
Saginaw 2
Totale 1.757
Salva come PNG Salva come JPEG
Nome #
On Model-Based Performance Analysis of Collective Adaptive Systems 181
Contract-Oriented design of distributed applications: A tutorial 151
A fixed-points based framework for compliance of behavioural contracts 147
A True Concurrent Model of Smart Contracts Executions 146
On urgency in asynchronous timed session types 144
A Minimal Core Calculus for Solidity Contracts 143
Progress-preserving refinements of CTA 143
Behavioural Types: from Theory to Tools 141
A theory of transaction parallelism in blockchains 140
Modelling and verifying contract-oriented systems in Maude 139
Comparing perfomance abstractions for collective adaptive systems 139
A Contract-Oriented Middleware 138
Asynchronous Subtyping by Trace Relaxation 138
Compliance and subtyping in timed session types 128
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes 125
A note on compliance relations and fixed points.? 124
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL 122
Input urgent semantics for asynchronous timed session types 120
Verifying liquidity of recursive Bitcoin contracts 117
Verifiable abstractions for contract-oriented systems 114
Sound approximate and asymptotic probabilistic bisimulations for PCTL 112
TRAC: A Tool for Data-Aware Coordination 107
Timed Session Types 103
Contextual Behavioural Metrics 99
Abstract Subtyping for Asynchronous Multiparty Sessions 95
Renegotiation and recursion in bitcoin contracts 93
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions 79
Automatic Code and Test Generation of Smart Contracts from Coordination Models 10
Automatic Code and Test Generation of Smart Contracts from Coordination Models 8
Totale 3.446
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.808
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 14.808
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20214 0 0 0 0 0 0 0 0 0 0 0 4
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.585 148 98 36 266 220 1.254 173 55 123 52 86 74
Totale 3.446