MURGIA, MAURIZIO
 Distribuzione geografica
Continente #
NA - Nord America 307
EU - Europa 127
AS - Asia 113
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 550
Nazione #
US - Stati Uniti d'America 307
CN - Cina 64
DE - Germania 42
IT - Italia 40
SG - Singapore 29
TR - Turchia 18
NL - Olanda 15
FI - Finlandia 8
SE - Svezia 8
CZ - Repubblica Ceca 4
UA - Ucraina 3
GB - Regno Unito 2
AT - Austria 1
CH - Svizzera 1
EG - Egitto 1
EU - Europa 1
FR - Francia 1
GH - Ghana 1
IE - Irlanda 1
PH - Filippine 1
PK - Pakistan 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 550
Città #
Boardman 105
Ashburn 30
Milan 26
Singapore 24
Shanghai 21
Kitzingen 20
Los Angeles 20
Istanbul 18
Amsterdam 14
New York 14
Ogden 12
Helsinki 8
Miami 8
Cagliari 5
Beijing 4
Guangzhou 4
Jiaxing 4
Olomouc 4
Seattle 4
Ann Arbor 3
Berlin 3
L’Aquila 3
Quanzhou 3
San Mateo 3
Santa Clara 3
Shenzhen 3
Cologne 2
Montelupone 2
San Francisco 2
Stockholm 2
Xi'an 2
Accra 1
Bratislava 1
Cairo 1
Clifton 1
Decatur 1
Dublin 1
Falkenstein 1
Hamburg 1
Hangzhou 1
Hanover 1
Islamabad 1
Las Vegas 1
Manila 1
Newark 1
North Bergen 1
Parma 1
Redwood City 1
Sassari 1
Taizhou 1
Turin 1
Weitang 1
Wilmington 1
Wuxi 1
Zurich 1
Totale 400
Nome #
On Model-Based Performance Analysis of Collective Adaptive Systems 38
Contract-Oriented design of distributed applications: A tutorial 35
Modelling and verifying contract-oriented systems in Maude 32
Verifying liquidity of recursive Bitcoin contracts 31
A theory of transaction parallelism in blockchains 29
Verifiable abstractions for contract-oriented systems 29
A note on compliance relations and fixed points.? 29
Sound approximate and asymptotic probabilistic bisimulations for PCTL 28
Progress-preserving refinements of CTA 28
On urgency in asynchronous timed session types 27
A Minimal Core Calculus for Solidity Contracts 27
A Contract-Oriented Middleware 26
Behavioural Types: from Theory to Tools 25
A True Concurrent Model of Smart Contracts Executions 25
Compliance and subtyping in timed session types 25
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL 23
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes 23
A fixed-points based framework for compliance of behavioural contracts 21
Timed Session Types 21
Input urgent semantics for asynchronous timed session types 20
Renegotiation and recursion in bitcoin contracts 20
Comparing perfomance abstractions for collective adaptive systems 15
TRAC: A Tool for Data-Aware Coordination 4
Contextual Behavioural Metrics 3
Asynchronous Subtyping by Trace Relaxation 1
Totale 585
Categoria #
all - tutte 5.286
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 5.286


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20219 0 0 0 0 2 0 0 0 0 1 2 4
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/2025239 8 55 81 24 37 34 0 0 0 0 0 0
Totale 585