statistiche ricercatore

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

Nazione	#
US - Stati Uniti d'America	1.766
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
IL - Israele	22
CA - Canada	21
KR - Corea	18
KE - Kenya	17
IT - Italia	11
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.458

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

	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	211	211	0	0	0	0	0	0	0	0	0	0	0
Totale													4.459