statistiche ricercatore

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

Nazione	#
RU - Federazione Russa	1.459
US - Stati Uniti d'America	1.431
CN - Cina	238
SG - Singapore	168
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	34
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.118

Nome	#
Global protocol implementations via attribute-based communication	213
A type system for flexible role assignment in multiparty communicating systems	206
Conversation types	204
A typed model for dynamic authorizations	198
A process calculus analysis of compensations	197
Analysis of service oriented software systems with the Conversation Calculus	197
Extensionality of spatial observations in distributed systems	196
Dynamic role authorization in multiparty conversations	195
Behavioral theory for session-oriented calculi	190
Dynamic role authorization in multiparty conversations	189
Combining behavioural types with security analysis	183
The conversation calculus: a model of service-oriented computation	183
Tools and verification	183
Typing progress in communication-centred systems	180
Type-based access control in data-centric systems	180
Foundations of session types and behavioural contracts	180
Conversation types	179
Advanced mechanisms for service combination and transactions	179
Typing liveness in multiparty communicating systems	178
An observational model for spatial logics	173
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications	170
Static analysis techniques for session-oriented calculi	166
Totale	4.119

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