statistiche ricercatore

Continente	#
NA - Nord America	1.891
EU - Europa	854
AS - Asia	505
SA - Sud America	86
AF - Africa	27
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	2
Totale	3.370

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

Nome	#
Efficient large-scale trace checking using mapreduce	228
A Model Checking Approach to Verify BPEL4WS Workflows	218
A Timed Extension of WSCoL	217
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions	216
Model Checking Temporal Metric Specifications with Trio2Promela	209
Towards the formalization of properties of cloud-based elastic systems	201
SAVVY-WS at a glance: supporting verifiable dynamic service compositions	200
Trace checking of metric temporal logic with aggregating modalities using MapReduce	196
Keep it small, keep it real: Efficient run-time verification of web service compositions	190
Transparent reputation management for composite web services	185
ReMAN: A pro-active reputation management infrastructure for composite web services	180
Monitoring Conversational Web Services	174
Validation of Web Service Compositions	171
Trio2Promela: A Model Checker for Temporal Metric Specifications	165
Embedding continuous lifelong verification in service life cycles	164
Automated performance assessment for service-oriented middleware: a case study on BPEL engines	160
Automated Dynamic Maintenance of Composite Services based on Service Reputation	155
SOABench: performance evaluation of service-oriented middleware made easy	150
Totale	3.379

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	56	0	0	0	0	0	0	0	0	0	19	14	23
2021/2022	230	10	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.209	330	196	34	101	104	55	214	49	58	68	0	0
Totale													3.379

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