MURGIA, MAURIZIO
 Distribuzione geografica
Continente #
NA - Nord America 211
EU - Europa 49
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 262
Nazione #
US - Stati Uniti d'America 211
DE - Germania 18
IT - Italia 13
SE - Svezia 6
FI - Finlandia 5
UA - Ucraina 3
GB - Regno Unito 2
EU - Europa 1
FR - Francia 1
GH - Ghana 1
IE - Irlanda 1
Totale 262
Città #
Boardman 42
Ashburn 30
New York 14
Ogden 12
Los Angeles 10
Miami 8
Cagliari 5
Helsinki 5
Ann Arbor 3
Berlin 3
L’Aquila 3
Milan 3
San Mateo 3
San Francisco 2
Accra 1
Decatur 1
Dublin 1
Hamburg 1
Hanover 1
Las Vegas 1
North Bergen 1
Redwood City 1
Sassari 1
Turin 1
Wilmington 1
Totale 154
Nome #
Contract-Oriented design of distributed applications: A tutorial 26
On Model-Based Performance Analysis of Collective Adaptive Systems 25
Verifying liquidity of recursive Bitcoin contracts 18
Modelling and verifying contract-oriented systems in Maude 16
A Minimal Core Calculus for Solidity Contracts 16
Verifiable abstractions for contract-oriented systems 16
Progress-preserving refinements of CTA 15
Sound approximate and asymptotic probabilistic bisimulations for PCTL 14
A Contract-Oriented Middleware 14
On urgency in asynchronous timed session types 14
A note on compliance relations and fixed points.? 14
Compliance and subtyping in timed session types 13
Behavioural Types: from Theory to Tools 12
A True Concurrent Model of Smart Contracts Executions 12
A theory of transaction parallelism in blockchains 10
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes 10
Timed Session Types 10
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL 9
A fixed-points based framework for compliance of behavioural contracts 9
Input urgent semantics for asynchronous timed session types 8
Renegotiation and recursion in bitcoin contracts 8
Comparing perfomance abstractions for collective adaptive systems 5
Totale 294
Categoria #
all - tutte 2.973
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 2.973


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/2024234 16 30 48 13 24 30 2 25 4 35 7 0
Totale 294