IRIS
MURGIA, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.474
NA - Nord America 1.110
AS - Asia 822
SA - Sud America 109
Continente sconosciuto - Info sul continente non disponibili 42
AF - Africa 20
OC - Oceania 1
Totale 3.578
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 1.171
US - Stati Uniti d'America 1.062
SG - Singapore 291
CN - Cina 230
VN - Vietnam 100
BR - Brasile 80
IT - Italia 74
HK - Hong Kong 63
DE - Germania 51
FR - Francia 33
GB - Regno Unito 32
CA - Canada 28
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
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
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
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.537
Salva come PNG Salva come JPEG
Città #
Moscow 284
Council Bluffs 183
Ashburn 143
Singapore 140
Boardman 105
San Jose 91
Hong Kong 62
The Dalles 53
Los Angeles 49
Beijing 42
New York 42
Chicago 36
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
Rome 17
Orem 14
Santa Clara 14
Dallas 13
Montreal 13
Stockholm 13
Ogden 12
Poplar 12
Warsaw 12
Helsinki 10
Kyiv 10
Phoenix 10
Brooklyn 9
Denver 9
Tokyo 9
Atlanta 8
Baghdad 8
Miami 8
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.879
Salva come PNG Salva come JPEG
Nome #
On Model-Based Performance Analysis of Collective Adaptive Systems 185
Contract-Oriented design of distributed applications: A tutorial 154
A fixed-points based framework for compliance of behavioural contracts 152
A True Concurrent Model of Smart Contracts Executions 152
On urgency in asynchronous timed session types 151
Progress-preserving refinements of CTA 147
A Minimal Core Calculus for Solidity Contracts 146
Behavioural Types: from Theory to Tools 145
A theory of transaction parallelism in blockchains 144
Modelling and verifying contract-oriented systems in Maude 143
Comparing perfomance abstractions for collective adaptive systems 143
Asynchronous Subtyping by Trace Relaxation 143
A Contract-Oriented Middleware 142
Compliance and subtyping in timed session types 132
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes 129
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL 128
A note on compliance relations and fixed points.? 128
Input urgent semantics for asynchronous timed session types 125
Verifying liquidity of recursive Bitcoin contracts 121
Verifiable abstractions for contract-oriented systems 118
Sound approximate and asymptotic probabilistic bisimulations for PCTL 114
TRAC: A Tool for Data-Aware Coordination 111
Timed Session Types 107
Contextual Behavioural Metrics 103
Abstract Subtyping for Asynchronous Multiparty Sessions 100
Renegotiation and recursion in bitcoin contracts 97
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions 84
Automatic Code and Test Generation of Smart Contracts from Coordination Models 18
Automatic Code and Test Generation of Smart Contracts from Coordination Models 16
Totale 3.578
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.668
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 15.668
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/2027130 75 55 0 0 0 0 0 0 0 0 0 0
Totale 3.578