MURGIA, MAURIZIO
 Distribuzione geografica
Continente #
EU - Europa 9.510
NA - Nord America 731
AS - Asia 70
Totale 10.311
Nazione #
IT - Italia 9.307
US - Stati Uniti d'America 729
DE - Germania 67
SE - Svezia 60
CN - Cina 53
UA - Ucraina 29
GB - Regno Unito 20
FI - Finlandia 11
VN - Vietnam 8
BE - Belgio 7
IN - India 7
FR - Francia 3
CA - Canada 2
DK - Danimarca 2
AT - Austria 1
KR - Corea 1
NO - Norvegia 1
PL - Polonia 1
RU - Federazione Russa 1
SG - Singapore 1
Totale 10.311
Città #
Cagliari 9.257
Fairfield 112
Chandler 95
Wilmington 79
Woodbridge 61
Houston 54
Ann Arbor 49
Ashburn 45
Seattle 42
Nyköping 41
Dearborn 25
Cambridge 24
Jacksonville 15
Nanjing 14
Shanghai 13
Boardman 11
Boston 9
Council Bluffs 9
Dong Ket 8
Brussels 7
Helsinki 7
Pune 6
San Diego 6
Shenyang 5
Boulder 3
Guangzhou 3
London 3
L’Aquila 3
Mountain View 3
Porto Torres 3
Atlanta 2
Beijing 2
Canterbury 2
Hamburg 2
Hebei 2
Jinan 2
Los Angeles 2
Lyngby 2
New Bedfont 2
Ningbo 2
Nürnberg 2
Phoenix 2
Redwood City 2
Sassari 2
Toronto 2
Trento 2
Bagnara 1
Bologna 1
Carbonia 1
Chongqing 1
Falkenstein 1
Graz 1
Hangzhou 1
Hefei 1
Hounslow 1
Islington 1
Jiaxing 1
Langweiler 1
Mcallen 1
Milan 1
Millbury 1
Nanchang 1
Norwalk 1
Orange 1
Oslo 1
Perugia 1
Pordenone 1
Prescot 1
Quartu Sant'elena 1
Redmond 1
Sanluri 1
Santu Lussurgiu 1
Selegas 1
Taizhou 1
Tappahannock 1
Verona 1
Véry 1
Totale 10.075
Nome #
Compliance and Subtyping in Timed Session Types 1.435
A contract-oriented middleware 1.354
Contract-oriented programming with timed session types 1.172
Verifiable abstractions for contract-oriented systems 1.091
Timed session types 1.063
Modelling and verifying contract-oriented systems in Maude 1.019
Progress-preserving refinements of CTA 991
Contract-Oriented design of distributed applications: A tutorial 930
Renegotiation and recursion in bitcoin contracts 478
A true concurrent model of smart contracts executions 437
Verification of contract-oriented systems 389
Totale 10.359
Categoria #
all - tutte 13.277
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 13.277


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201987 0 0 0 0 0 0 0 0 0 30 33 24
2019/20202.279 72 62 21 52 783 647 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.350 87 65 45 92 151 269 312 136 85 108 0 0
Totale 10.359