statistiche ricercatore

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

Nazione	#
US - Stati Uniti d'America	1.646
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
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.337

Nome	#
Global protocol implementations via attribute-based communication	222
A type system for flexible role assignment in multiparty communicating systems	217
Conversation types	214
Analysis of service oriented software systems with the Conversation Calculus	209
Extensionality of spatial observations in distributed systems	208
A typed model for dynamic authorizations	208
Dynamic role authorization in multiparty conversations	207
A process calculus analysis of compensations	205
Behavioral theory for session-oriented calculi	202
Dynamic role authorization in multiparty conversations	197
Tools and verification	196
Combining behavioural types with security analysis	195
The conversation calculus: a model of service-oriented computation	192
Foundations of session types and behavioural contracts	192
Type-based access control in data-centric systems	189
Conversation types	188
Typing progress in communication-centred systems	187
Advanced mechanisms for service combination and transactions	186
An observational model for spatial logics	185
Typing liveness in multiparty communicating systems	184
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications	180
Static analysis techniques for session-oriented calculi	175
Totale	4.338

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	228	67	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	90	90	0	0	0	0	0	0	0	0	0	0	0
Totale													4.338