statistiche ricercatore

Continente	#
EU - Europa	1.461
NA - Nord America	856
AS - Asia	787
SA - Sud America	106
AF - Africa	19
Continente sconosciuto - Info sul continente non disponibili	1
OC - Oceania	1
Totale	3.231

Nazione	#
RU - Federazione Russa	1.171
US - Stati Uniti d'America	813
SG - Singapore	280
CN - Cina	212
VN - Vietnam	97
BR - Brasile	78
IT - Italia	64
HK - Hong Kong	63
DE - Germania	51
FR - Francia	33
GB - Regno Unito	29
KR - Corea	25
CA - Canada	24
TR - Turchia	23
NL - Olanda	20
BD - Bangladesh	19
SE - Svezia	19
FI - Finlandia	17
UA - Ucraina	17
IN - India	16
PL - Polonia	12
AR - Argentina	11
IQ - Iraq	11
JP - Giappone	10
MX - Messico	10
ES - Italia	7
VE - Venezuela	7
ZA - Sudafrica	7
IL - Israele	6
CO - Colombia	5
UZ - Uzbekistan	5
CZ - Repubblica Ceca	4
LT - Lituania	4
OM - Oman	3
AT - Austria	2
AZ - Azerbaigian	2
CL - Cile	2
DK - Danimarca	2
EG - Egitto	2
ET - Etiopia	2
IE - Irlanda	2
KE - Kenya	2
LB - Libano	2
MA - Marocco	2
MY - Malesia	2
PA - Panama	2
PK - Pakistan	2
SA - Arabia Saudita	2
AE - Emirati Arabi Uniti	1
AL - Albania	1
AU - Australia	1
BY - Bielorussia	1
CG - Congo	1
CH - Svizzera	1
CR - Costa Rica	1
DO - Repubblica Dominicana	1
EC - Ecuador	1
EU - Europa	1
GD - Grenada	1
GE - Georgia	1
GH - Ghana	1
GR - Grecia	1
HN - Honduras	1
HU - Ungheria	1
ID - Indonesia	1
JM - Giamaica	1
JO - Giordania	1
LK - Sri Lanka	1
NG - Nigeria	1
NI - Nicaragua	1
PE - Perù	1
PH - Filippine	1
PS - Palestinian Territory	1
RS - Serbia	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
TT - Trinidad e Tobago	1
UY - Uruguay	1
Totale	3.231

Nome	#
On Model-Based Performance Analysis of Collective Adaptive Systems	170
Contract-Oriented design of distributed applications: A tutorial	146
A True Concurrent Model of Smart Contracts Executions	140
On urgency in asynchronous timed session types	140
Progress-preserving refinements of CTA	137
Behavioural Types: from Theory to Tools	135
Modelling and verifying contract-oriented systems in Maude	134
A theory of transaction parallelism in blockchains	134
Comparing perfomance abstractions for collective adaptive systems	133
A Contract-Oriented Middleware	131
A fixed-points based framework for compliance of behavioural contracts	129
A Minimal Core Calculus for Solidity Contracts	127
Asynchronous Subtyping by Trace Relaxation	124
Compliance and subtyping in timed session types	123
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL	120
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes	120
Input urgent semantics for asynchronous timed session types	119
A note on compliance relations and fixed points.?	119
Verifying liquidity of recursive Bitcoin contracts	113
Verifiable abstractions for contract-oriented systems	110
Sound approximate and asymptotic probabilistic bisimulations for PCTL	109
TRAC: A Tool for Data-Aware Coordination	103
Timed Session Types	99
Contextual Behavioural Metrics	97
Abstract Subtyping for Asynchronous Multiparty Sessions	92
Renegotiation and recursion in bitcoin contracts	89
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions	77
Totale	3.270

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	7	0	0	0	0	0	0	0	0	0	1	2	4
2021/2022	9	0	0	0	8	0	1	0	0	0	0	0	0
2022/2023	42	0	1	0	0	0	0	1	1	0	5	33	1
2023/2024	286	16	30	48	13	24	30	2	25	4	35	34	25
2024/2025	515	8	55	81	24	37	35	54	10	41	52	83	35
2025/2026	2.409	148	98	36	266	220	1.254	173	55	123	36	0	0
Totale													3.270