statistiche ricercatore

Continente	#
NA - Nord America	1.985
EU - Europa	924
AS - Asia	513
SA - Sud America	90
AF - Africa	27
Continente sconosciuto - Info sul continente non disponibili	14
OC - Oceania	2
Totale	3.555

Nazione	#
US - Stati Uniti d'America	1.954
RU - Federazione Russa	357
SG - Singapore	174
CN - Cina	112
IT - Italia	105
AT - Austria	87
BR - Brasile	75
DE - Germania	59
UA - Ucraina	56
VN - Vietnam	56
SE - Svezia	53
FR - Francia	42
IN - India	39
FI - Finlandia	36
GB - Regno Unito	34
JP - Giappone	25
BE - Belgio	24
KR - Corea	24
HK - Hong Kong	20
IE - Irlanda	20
NL - Olanda	19
CA - Canada	18
MA - Marocco	16
JO - Giordania	15
PL - Polonia	10
IQ - Iraq	8
PH - Filippine	7
ES - Italia	6
MX - Messico	6
AR - Argentina	5
EU - Europa	5
PK - Pakistan	5
TR - Turchia	5
BD - Bangladesh	4
CI - Costa d'Avorio	4
ID - Indonesia	4
TW - Taiwan	4
CH - Svizzera	3
EC - Ecuador	3
SA - Arabia Saudita	3
VE - Venezuela	3
AU - Australia	2
BH - Bahrain	2
CZ - Repubblica Ceca	2
LT - Lituania	2
ML - Mali	2
SK - Slovacchia (Repubblica Slovacca)	2
TH - Thailandia	2
ZA - Sudafrica	2
AZ - Azerbaigian	1
BB - Barbados	1
BG - Bulgaria	1
CO - Colombia	1
CR - Costa Rica	1
DK - Danimarca	1
DO - Repubblica Dominicana	1
EE - Estonia	1
EG - Egitto	1
ET - Etiopia	1
GR - Grecia	1
JM - Giamaica	1
MC - Monaco	1
MY - Malesia	1
NP - Nepal	1
PA - Panama	1
PE - Perù	1
PR - Porto Rico	1
PS - Palestinian Territory	1
PT - Portogallo	1
PY - Paraguay	1
RO - Romania	1
SN - Senegal	1
TT - Trinidad e Tobago	1
UY - Uruguay	1
Totale	3.546

Nome	#
Efficient large-scale trace checking using mapreduce	243
A Timed Extension of WSCoL	228
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions	225
A Model Checking Approach to Verify BPEL4WS Workflows	225
Towards the formalization of properties of cloud-based elastic systems	218
Model Checking Temporal Metric Specifications with Trio2Promela	218
SAVVY-WS at a glance: supporting verifiable dynamic service compositions	210
Trace checking of metric temporal logic with aggregating modalities using MapReduce	208
Keep it small, keep it real: Efficient run-time verification of web service compositions	198
Transparent reputation management for composite web services	190
ReMAN: A pro-active reputation management infrastructure for composite web services	184
Monitoring Conversational Web Services	181
Trio2Promela: A Model Checker for Temporal Metric Specifications	179
Validation of Web Service Compositions	176
Embedding continuous lifelong verification in service life cycles	173
Automated Dynamic Maintenance of Composite Services based on Service Reputation	172
Automated performance assessment for service-oriented middleware: a case study on BPEL engines	168
SOABench: performance evaluation of service-oriented middleware made easy	159
Totale	3.555

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2021/2022	220	0	28	21	29	23	9	22	8	1	20	24	35
2022/2023	321	50	41	2	60	38	36	0	17	54	7	14	2
2023/2024	95	12	18	6	7	5	13	8	0	0	7	2	17
2024/2025	362	0	0	1	7	49	56	7	33	58	38	63	50
2025/2026	1.341	330	196	34	101	104	55	214	49	58	73	21	106
2026/2027	44	23	21	0	0	0	0	0	0	0	0	0	0
Totale													3.555

RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano