statistiche ricercatore

Continente	#
EU - Europa	754
NA - Nord America	673
AS - Asia	596
SA - Sud America	68
AF - Africa	11
Continente sconosciuto - Info sul continente non disponibili	1
OC - Oceania	1
Totale	2.104

Nazione	#
US - Stati Uniti d'America	642
RU - Federazione Russa	532
SG - Singapore	212
CN - Cina	189
HK - Hong Kong	59
BR - Brasile	54
DE - Germania	50
IT - Italia	45
VN - Vietnam	29
KR - Corea	25
GB - Regno Unito	24
CA - Canada	21
TR - Turchia	21
NL - Olanda	19
FI - Finlandia	17
SE - Svezia	17
BD - Bangladesh	15
UA - Ucraina	15
IN - India	11
PL - Polonia	11
JP - Giappone	8
AR - Argentina	7
ES - Italia	6
IL - Israele	6
IQ - Iraq	6
MX - Messico	5
CZ - Repubblica Ceca	4
VE - Venezuela	4
LT - Lituania	3
UZ - Uzbekistan	3
ZA - Sudafrica	3
AT - Austria	2
EG - Egitto	2
FR - Francia	2
LB - Libano	2
PK - Pakistan	2
SA - Arabia Saudita	2
AU - Australia	1
AZ - Azerbaigian	1
BY - Bielorussia	1
CH - Svizzera	1
CL - Cile	1
CO - Colombia	1
CR - Costa Rica	1
DK - Danimarca	1
ET - Etiopia	1
EU - Europa	1
GD - Grenada	1
GH - Ghana	1
HN - Honduras	1
HU - Ungheria	1
ID - Indonesia	1
IE - Irlanda	1
JO - Giordania	1
KE - Kenya	1
MA - Marocco	1
NG - Nigeria	1
NI - Nicaragua	1
OM - Oman	1
PA - Panama	1
PE - Perù	1
PH - Filippine	1
PS - Palestinian Territory	1
RS - Serbia	1
SK - Slovacchia (Repubblica Slovacca)	1
TN - Tunisia	1
Totale	2.104

Nome	#
On Model-Based Performance Analysis of Collective Adaptive Systems	114
Modelling and verifying contract-oriented systems in Maude	102
Contract-Oriented design of distributed applications: A tutorial	100
Progress-preserving refinements of CTA	97
A theory of transaction parallelism in blockchains	95
On urgency in asynchronous timed session types	93
Behavioural Types: from Theory to Tools	89
A Contract-Oriented Middleware	89
A True Concurrent Model of Smart Contracts Executions	87
Compliance and subtyping in timed session types	86
A note on compliance relations and fixed points.?	85
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL	83
A Minimal Core Calculus for Solidity Contracts	83
Asynchronous Timed Session Types: From Duality to Time-Sensitive Processes	82
Input urgent semantics for asynchronous timed session types	80
Asynchronous Subtyping by Trace Relaxation	79
Comparing perfomance abstractions for collective adaptive systems	78
Verifying liquidity of recursive Bitcoin contracts	77
A fixed-points based framework for compliance of behavioural contracts	75
Verifiable abstractions for contract-oriented systems	75
Sound approximate and asymptotic probabilistic bisimulations for PCTL	70
Contextual Behavioural Metrics	66
Renegotiation and recursion in bitcoin contracts	63
Timed Session Types	62
TRAC: A Tool for Data-Aware Coordination	54
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions	40
Abstract Subtyping for Asynchronous Multiparty Sessions	39
Totale	2.143

	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	1.282	148	98	36	266	220	514	0	0	0	0	0	0
Totale													2.143