MURGIA, MAURIZIO
 Distribuzione geografica
Continente #
EU - Europa 13.002
NA - Nord America 766
AS - Asia 130
SA - Sud America 13
AF - Africa 2
Totale 13.913
Nazione #
IT - Italia 12.784
US - Stati Uniti d'America 764
CN - Cina 77
SE - Svezia 72
DE - Germania 68
SG - Singapore 35
UA - Ucraina 31
GB - Regno Unito 20
BR - Brasile 13
FI - Finlandia 11
VN - Vietnam 8
BE - Belgio 7
IN - India 7
FR - Francia 3
CA - Canada 2
DK - Danimarca 2
AT - Austria 1
BD - Bangladesh 1
CI - Costa d'Avorio 1
KR - Corea 1
NO - Norvegia 1
PL - Polonia 1
RU - Federazione Russa 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 13.913
Città #
Cagliari 12.343
Uta 388
Fairfield 112
Chandler 95
Wilmington 79
Woodbridge 61
Houston 54
Ann Arbor 49
Ashburn 45
Seattle 42
Nyköping 41
Boardman 33
Dearborn 25
Cambridge 24
Shanghai 20
Singapore 18
Jacksonville 15
Nanjing 14
Santa Clara 11
Boston 9
Council Bluffs 9
Dong Ket 8
Brussels 7
Helsinki 7
Pune 6
San Diego 6
Guangzhou 5
Shenyang 5
Beijing 4
Belo Horizonte 3
Boulder 3
London 3
Los Angeles 3
L’Aquila 3
Mountain View 3
Porto Torres 3
Atlanta 2
Canterbury 2
Hamburg 2
Hebei 2
Jiaxing 2
Jinan 2
Lyngby 2
New Bedfont 2
Ningbo 2
Nürnberg 2
Phoenix 2
Redwood City 2
Sassari 2
São Paulo 2
Toronto 2
Trento 2
Abidjan 1
Altamira 1
Bagnara 1
Bologna 1
Campo Grande 1
Carangola 1
Carbonia 1
Chongqing 1
Falkenstein 1
Graz 1
Hangzhou 1
Hefei 1
Heze 1
Hounslow 1
Ipatinga 1
Islington 1
Krasnohrad 1
Langweiler 1
Lutsk 1
Mcallen 1
Milan 1
Millbury 1
Munich 1
Nanchang 1
Norwalk 1
Orange 1
Oslo 1
Pelotas 1
Perugia 1
Pordenone 1
Prescot 1
Pretoria 1
Quanzhou 1
Quartu Sant'elena 1
Redmond 1
Ribeirão Preto 1
Ribeirão das Neves 1
Romola 1
Sanluri 1
Santu Lussurgiu 1
Selegas 1
Taizhou 1
Tappahannock 1
Tashkent 1
Unaí 1
Verona 1
Villacidro 1
Véry 1
Totale 13.636
Nome #
Timed session types 1.704
Compliance and Subtyping in Timed Session Types 1.699
A contract-oriented middleware 1.601
Contract-Oriented design of distributed applications: A tutorial 1.502
Contract-oriented programming with timed session types 1.447
Verifiable abstractions for contract-oriented systems 1.391
Progress-preserving refinements of CTA 1.175
Modelling and verifying contract-oriented systems in Maude 1.153
Renegotiation and recursion in bitcoin contracts 967
A true concurrent model of smart contracts executions 893
Verification of contract-oriented systems 429
Totale 13.961
Categoria #
all - tutte 17.783
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 17.783


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020642 0 0 0 0 0 0 343 79 27 111 24 58
2020/20213.074 77 79 151 1.184 607 242 265 124 48 65 76 156
2021/2022972 91 19 55 82 111 37 15 71 101 188 119 83
2022/20231.938 92 282 268 180 111 215 113 94 112 162 185 124
2023/20241.734 87 65 45 92 151 269 312 136 85 126 217 149
2024/20253.218 873 1.000 456 336 279 230 44 0 0 0 0 0
Totale 13.961