MURGIA, MAURIZIO
 Distribuzione geografica
Continente #
EU - Europa 580
NA - Nord America 124
AS - Asia 20
SA - Sud America 13
AF - Africa 2
Totale 739
Nazione #
IT - Italia 527
US - Stati Uniti d'America 121
DE - Germania 22
BR - Brasile 11
RU - Federazione Russa 8
CN - Cina 7
VN - Vietnam 5
GB - Regno Unito 4
IN - India 4
CA - Canada 3
IE - Irlanda 3
RO - Romania 3
UA - Ucraina 3
BE - Belgio 2
CL - Cile 2
DK - Danimarca 2
FR - Francia 2
SE - Svezia 2
ES - Italia 1
IQ - Iraq 1
JP - Giappone 1
NL - Olanda 1
SC - Seychelles 1
SG - Singapore 1
TW - Taiwan 1
ZA - Sudafrica 1
Totale 739
Città #
Cagliari 512
Fairfield 15
Woodbridge 10
Chapadinha 9
University Park 9
Buffalo 8
Houston 8
Santa Cruz 8
Seattle 8
Ashburn 5
Cambridge 5
Dong Ket 5
Ann Arbor 4
Mountain View 4
Saint Petersburg 4
Iasi 3
Beijing 2
Bologna 2
Council Bluffs 2
Fremont 2
Hyderabad 2
Los Angeles 2
Mumbai 2
Namur 2
Nürnberg 2
Pesaro 2
Provo 2
San Diego 2
Shanghai 2
Wuhan 2
Bonn 1
Campinas 1
Canterbury 1
Chambéry 1
Chicago 1
Croydon 1
Henderson 1
Hørsholm 1
Lit 1
Madrid 1
Milpitas 1
Moscow 1
Ottawa 1
Ottobrunn 1
Phoenix 1
Riva 1
San Francisco 1
Santu Lussurgiu 1
Silverton 1
Stockholm 1
Surrey 1
Taipei 1
Tokyo 1
Toronto 1
Trieste 1
Turin 1
Waterford 1
Wilmington 1
Totale 673
Nome #
Modelling and verifying contract-oriented systems in Maude, file e2f56ed3-f3f3-3eaf-e053-3a05fe0a5d97 344
Timed session types, file e2f56ed7-7db0-3eaf-e053-3a05fe0a5d97 246
Verification of contract-oriented systems, file e2f56ed7-f0d0-3eaf-e053-3a05fe0a5d97 139
A contract-oriented middleware, file e2f56ed4-ed92-3eaf-e053-3a05fe0a5d97 6
Verifiable abstractions for contract-oriented systems, file e2f56ed5-9f02-3eaf-e053-3a05fe0a5d97 5
Compliance and Subtyping in Timed Session Types, file e2f56ed3-f225-3eaf-e053-3a05fe0a5d97 2
Contract-Oriented design of distributed applications: A tutorial, file e2f56ed8-96f5-3eaf-e053-3a05fe0a5d97 2
Contract-oriented programming with timed session types, file e2f56ed8-9adf-3eaf-e053-3a05fe0a5d97 2
Progress-preserving refinements of CTA, file e2f56ed7-dd2a-3eaf-e053-3a05fe0a5d97 1
A true concurrent model of smart contracts executions, file e2f56ed9-94fc-3eaf-e053-3a05fe0a5d97 1
Renegotiation and recursion in bitcoin contracts, file e2f56ed9-ae8b-3eaf-e053-3a05fe0a5d97 1
Totale 749
Categoria #
all - tutte 1.129
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 1.129


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201931 0 0 0 0 0 0 0 0 0 6 17 8
2019/2020219 11 8 4 10 66 65 29 5 3 4 9 5
2020/2021284 5 10 2 109 98 14 21 7 6 3 3 6
2021/202252 5 9 7 4 4 2 5 1 1 1 8 5
2022/202332 1 2 7 7 3 2 1 3 3 1 1 1
2023/202422 3 0 3 1 2 10 1 0 1 1 0 0
Totale 749