statistiche ricercatore

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

Nazione	#
US - Stati Uniti d'America	2.102
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
CA - Canada	26
DE - Germania	24
BG - Bulgaria	23
TR - Turchia	23
IL - Israele	22
KR - Corea	18
IT - Italia	17
KE - Kenya	17
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
CR - Costa Rica	1
EC - Ecuador	1
EG - Egitto	1
ET - Etiopia	1
GR - Grecia	1
HN - Honduras	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
TT - Trinidad e Tobago	1
Totale	4.808

Nome	#
Global protocol implementations via attribute-based communication	243
A type system for flexible role assignment in multiparty communicating systems	237
Conversation types	235
Dynamic role authorization in multiparty conversations	230
Extensionality of spatial observations in distributed systems	230
Analysis of service oriented software systems with the Conversation Calculus	229
A typed model for dynamic authorizations	228
A process calculus analysis of compensations	227
Behavioral theory for session-oriented calculi	223
Dynamic role authorization in multiparty conversations	220
Combining behavioural types with security analysis	216
Foundations of session types and behavioural contracts	216
Type-based access control in data-centric systems	215
The conversation calculus: a model of service-oriented computation	213
Tools and verification	213
Typing progress in communication-centred systems	210
Conversation types	208
Typing liveness in multiparty communicating systems	208
Advanced mechanisms for service combination and transactions	207
An observational model for spatial logics	205
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications	201
Static analysis techniques for session-oriented calculi	195
Totale	4.809

	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	561	211	124	64	162	0	0	0	0	0	0	0	0
Totale													4.809