statistiche ricercatore

Continente	#
NA - Nord America	1.942
EU - Europa	855
AS - Asia	506
SA - Sud America	86
AF - Africa	27
Continente sconosciuto - Info sul continente non disponibili	5
OC - Oceania	2
Totale	3.423

Nazione	#
US - Stati Uniti d'America	1.916
RU - Federazione Russa	357
SG - Singapore	172
CN - Cina	112
AT - Austria	87
BR - Brasile	74
DE - Germania	59
UA - Ucraina	56
SE - Svezia	53
VN - Vietnam	52
FR - Francia	42
IN - India	39
IT - Italia	37
FI - Finlandia	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	18
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
BB - Barbados	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.423

Nome	#
Efficient large-scale trace checking using mapreduce	234
A Timed Extension of WSCoL	223
A Model Checking Approach to Verify BPEL4WS Workflows	222
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions	221
Model Checking Temporal Metric Specifications with Trio2Promela	212
Towards the formalization of properties of cloud-based elastic systems	204
SAVVY-WS at a glance: supporting verifiable dynamic service compositions	203
Trace checking of metric temporal logic with aggregating modalities using MapReduce	199
Keep it small, keep it real: Efficient run-time verification of web service compositions	193
Transparent reputation management for composite web services	186
ReMAN: A pro-active reputation management infrastructure for composite web services	181
Monitoring Conversational Web Services	176
Validation of Web Service Compositions	174
Trio2Promela: A Model Checker for Temporal Metric Specifications	167
Embedding continuous lifelong verification in service life cycles	166
Automated performance assessment for service-oriented middleware: a case study on BPEL engines	161
Automated Dynamic Maintenance of Composite Services based on Service Reputation	158
SOABench: performance evaluation of service-oriented middleware made easy	152
Totale	3.432

	Totale	Lug	Ago	Sett	Ott	Nov	Dic	Gen	Feb	Mar	Apr	Mag	Giu
2020/2021	23	0	0	0	0	0	0	0	0	0	0	0	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.262	330	196	34	101	104	55	214	49	58	73	21	27
Totale													3.432

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