statistiche ricercatore

Continente	#
NA - Nord America	2.232
EU - Europa	1.888
AS - Asia	624
SA - Sud America	130
AF - Africa	31
Continente sconosciuto - Info sul continente non disponibili	6
Totale	4.911

Nazione	#
US - Stati Uniti d'America	2.178
RU - Federazione Russa	1.462
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	42
CA - Canada	37
HK - Hong Kong	35
IN - India	29
DE - Germania	24
IL - Israele	24
BG - Bulgaria	23
TR - Turchia	23
IT - Italia	22
KR - Corea	18
KE - Kenya	17
BE - Belgio	10
AR - Argentina	9
BD - Bangladesh	8
CO - Colombia	7
FI - Finlandia	6
MX - Messico	6
ES - Italia	5
EU - Europa	5
SA - Arabia Saudita	5
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
TT - Trinidad e Tobago	2
BB - Barbados	1
BS - Bahamas	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
SC - Seychelles	1
Totale	4.910

Nome	#
Global protocol implementations via attribute-based communication	249
A type system for flexible role assignment in multiparty communicating systems	243
Conversation types	239
Dynamic role authorization in multiparty conversations	235
Analysis of service oriented software systems with the Conversation Calculus	234
A process calculus analysis of compensations	233
Extensionality of spatial observations in distributed systems	232
A typed model for dynamic authorizations	232
Behavioral theory for session-oriented calculi	228
Dynamic role authorization in multiparty conversations	225
Foundations of session types and behavioural contracts	224
Combining behavioural types with security analysis	221
Type-based access control in data-centric systems	220
Tools and verification	217
The conversation calculus: a model of service-oriented computation	215
Typing progress in communication-centred systems	214
Conversation types	213
Typing liveness in multiparty communicating systems	212
Advanced mechanisms for service combination and transactions	211
An observational model for spatial logics	209
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications	206
Static analysis techniques for session-oriented calculi	199
Totale	4.911

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	156	0	0	0	0	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	663	211	124	64	249	15	0	0	0	0	0	0	0
Totale													4.911