statistiche ricercatore

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

Nazione	#
US - Stati Uniti d'America	1.523
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
PA - Panama	4
PK - Pakistan	4
ZA - Sudafrica	4
ES - Italia	3
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.213

Nome	#
Global protocol implementations via attribute-based communication	216
A type system for flexible role assignment in multiparty communicating systems	213
Conversation types	208
Analysis of service oriented software systems with the Conversation Calculus	203
Dynamic role authorization in multiparty conversations	202
Extensionality of spatial observations in distributed systems	202
A typed model for dynamic authorizations	201
A process calculus analysis of compensations	200
Behavioral theory for session-oriented calculi	196
Dynamic role authorization in multiparty conversations	192
Combining behavioural types with security analysis	189
Tools and verification	189
The conversation calculus: a model of service-oriented computation	187
Foundations of session types and behavioural contracts	186
Type-based access control in data-centric systems	183
Conversation types	182
Typing liveness in multiparty communicating systems	182
Typing progress in communication-centred systems	181
Advanced mechanisms for service combination and transactions	180
An observational model for spatial logics	179
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications	174
Static analysis techniques for session-oriented calculi	169
Totale	4.214

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	65	0	0	0	0	0	0	0	0	0	0	0	65
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.844	79	103	485	725	17	39	116	23	109	40	108	0
Totale													4.214