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/2019 | 31 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 6 | 17 | 8 |
2019/2020 | 219 | 11 | 8 | 4 | 10 | 66 | 65 | 29 | 5 | 3 | 4 | 9 | 5 |
2020/2021 | 284 | 5 | 10 | 2 | 109 | 98 | 14 | 21 | 7 | 6 | 3 | 3 | 6 |
2021/2022 | 52 | 5 | 9 | 7 | 4 | 4 | 2 | 5 | 1 | 1 | 1 | 8 | 5 |
2022/2023 | 32 | 1 | 2 | 7 | 7 | 3 | 2 | 1 | 3 | 3 | 1 | 1 | 1 |
2023/2024 | 22 | 3 | 0 | 3 | 1 | 2 | 10 | 1 | 0 | 1 | 1 | 0 | 0 |
Totale | 749 |