statistiche ricercatore

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

Nazione	#
US - Stati Uniti d'America	1.949
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
CA - Canada	23
TR - Turchia	23
IL - Israele	22
KR - Corea	18
KE - Kenya	17
IT - Italia	14
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.646

Nome	#
Global protocol implementations via attribute-based communication	235
A type system for flexible role assignment in multiparty communicating systems	230
Conversation types	227
Extensionality of spatial observations in distributed systems	224
Analysis of service oriented software systems with the Conversation Calculus	223
Dynamic role authorization in multiparty conversations	222
A process calculus analysis of compensations	221
A typed model for dynamic authorizations	220
Behavioral theory for session-oriented calculi	215
Dynamic role authorization in multiparty conversations	212
Foundations of session types and behavioural contracts	208
Tools and verification	208
Combining behavioural types with security analysis	207
The conversation calculus: a model of service-oriented computation	205
Type-based access control in data-centric systems	204
Typing progress in communication-centred systems	203
Advanced mechanisms for service combination and transactions	201
Conversation types	200
Typing liveness in multiparty communicating systems	200
An observational model for spatial logics	197
SLMC: A tool for model checking concurrent systems against dynamical spatial logic specifications	195
Static analysis techniques for session-oriented calculi	190
Totale	4.647

	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	399	211	124	64	0	0	0	0	0	0	0	0	0
Totale													4.647