statistiche ricercatore

Continente	#
EU - Europa	1.873
NA - Nord America	1.863
AS - Asia	622
SA - Sud America	130
AF - Africa	30
Continente sconosciuto - Info sul continente non disponibili	6
Totale	4.524

Nazione	#
US - Stati Uniti d'America	1.829
RU - Federazione Russa	1.459
CN - Cina	239
SG - Singapore	169
BR - Brasile	108
SE - Svezia	104
UA - Ucraina	83
AT - Austria	57
VN - Vietnam	53
FR - Francia	44
GB - Regno Unito	41
HK - Hong Kong	35
IN - India	29
DE - Germania	24
BG - Bulgaria	23
TR - Turchia	23
CA - Canada	22
IL - Israele	22
KR - Corea	18
KE - Kenya	17
IT - Italia	12
BE - Belgio	10
AR - Argentina	9
BD - Bangladesh	8
CO - Colombia	7
FI - Finlandia	6
MX - Messico	6
EU - Europa	5
SA - Arabia Saudita	5
ES - Italia	4
PA - Panama	4
PK - Pakistan	4
ZA - Sudafrica	4
MY - Malesia	3
TN - Tunisia	3
UZ - Uzbekistan	3
VE - Venezuela	3
AL - Albania	2
DZ - Algeria	2
IQ - Iraq	2
PE - Perù	2
PL - Polonia	2
BB - Barbados	1
CI - Costa d'Avorio	1
EC - Ecuador	1
EG - Egitto	1
ET - Etiopia	1
GR - Grecia	1
ID - Indonesia	1
JM - Giamaica	1
JO - Giordania	1
JP - Giappone	1
KH - Cambogia	1
LA - Repubblica Popolare Democratica del Laos	1
MA - Marocco	1
NO - Norvegia	1
NP - Nepal	1
OM - Oman	1
PH - Filippine	1
QA - Qatar	1
Totale	4.523

Nome	#
Global protocol implementations via attribute-based communication	229
A type system for flexible role assignment in multiparty communicating systems	224
Conversation types	221
Extensionality of spatial observations in distributed systems	218
Dynamic role authorization in multiparty conversations	217
A process calculus analysis of compensations	216
Analysis of service oriented software systems with the Conversation Calculus	216
A typed model for dynamic authorizations	216
Behavioral theory for session-oriented calculi	209
Dynamic role authorization in multiparty conversations	205
Tools and verification	204
Combining behavioural types with security analysis	202
Foundations of session types and behavioural contracts	202
The conversation calculus: a model of service-oriented computation	199
Type-based access control in data-centric systems	198
Conversation types	196
Typing progress in communication-centred systems	196
Advanced mechanisms for service combination and transactions	195
An observational model for spatial logics	194
Typing liveness in multiparty communicating systems	193
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications	190
Static analysis techniques for session-oriented calculi	184
Totale	4.524

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	161	0	0	0	5	15	4	78	24	2	7	25	1
2022/2023	307	48	0	0	43	36	36	0	41	65	11	27	0
2023/2024	182	2	5	13	5	2	2	42	5	18	41	12	35
2024/2025	939	18	27	41	121	7	21	40	26	106	138	302	92
2025/2026	1.878	79	103	485	725	17	39	116	23	109	40	108	34
2026/2027	276	211	65	0	0	0	0	0	0	0	0	0	0
Totale													4.524