BIANCULLI, DOMENICO
 Distribuzione geografica
Continente #
NA - Nord America 1.328
EU - Europa 370
AS - Asia 75
Continente sconosciuto - Info sul continente non disponibili 5
AF - Africa 4
Totale 1.782
Nazione #
US - Stati Uniti d'America 1.316
AT - Austria 84
UA - Ucraina 54
SE - Svezia 50
DE - Germania 38
IT - Italia 35
FI - Finlandia 31
BE - Belgio 24
GB - Regno Unito 21
CN - Cina 20
IE - Irlanda 19
IN - India 18
VN - Vietnam 18
JO - Giordania 14
CA - Canada 12
EU - Europa 5
CI - Costa d'Avorio 4
CH - Svizzera 3
ES - Italia 3
FR - Francia 3
JP - Giappone 2
PL - Polonia 2
TR - Turchia 2
DK - Danimarca 1
KR - Corea 1
MC - Monaco 1
NL - Olanda 1
Totale 1.782
Città #
Fairfield 170
Ann Arbor 168
Chandler 152
Woodbridge 150
Houston 117
Seattle 88
Vienna 84
Wilmington 84
Ashburn 83
Cambridge 63
Jacksonville 30
Brussels 24
Dublin 19
Lawrence 18
Dearborn 15
Amman 14
Medford 13
Ottawa 12
Helsinki 11
Beijing 10
Des Moines 10
Dong Ket 9
San Diego 9
Milan 8
Princeton 5
Abidjan 4
Berlin 4
Dallas 4
Auburn Hills 3
Lappeenranta 3
Málaga 3
Zurich 3
Boardman 2
Izmir 2
London 2
Norwalk 2
Shanghai 2
Warsaw 2
Amsterdam 1
Castro Valley 1
Clusone 1
Copenhagen 1
Cozzo 1
Fuzhou 1
Hefei 1
Hounslow 1
Ichalkaranji 1
Indiana 1
Jinan 1
Kunming 1
Los Angeles 1
Monaco 1
Mountain View 1
Nanjing 1
New York 1
Phoenix 1
Redmond 1
Seongnam 1
Verona 1
Totale 1.423
Nome #
SAVVY-WS at a glance: supporting verifiable dynamic service compositions 131
Model Checking Temporal Metric Specifications with Trio2Promela 122
A Model Checking Approach to Verify BPEL4WS Workflows 117
Efficient large-scale trace checking using mapreduce 115
A Timed Extension of WSCoL 104
ReMAN: A pro-active reputation management infrastructure for composite web services 104
Towards the formalization of properties of cloud-based elastic systems 104
Keep it small, keep it real: Efficient run-time verification of web service compositions 102
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions 101
Monitoring Conversational Web Services 98
Transparent reputation management for composite web services 98
Trace checking of metric temporal logic with aggregating modalities using MapReduce 97
Trio2Promela: A Model Checker for Temporal Metric Specifications 95
Automated Dynamic Maintenance of Composite Services based on Service Reputation 93
Validation of Web Service Compositions 88
Embedding continuous lifelong verification in service life cycles 81
Automated performance assessment for service-oriented middleware: a case study on BPEL engines 75
SOABench: performance evaluation of service-oriented middleware made easy 66
Totale 1.791
Categoria #
all - tutte 4.788
article - articoli 257
book - libri 0
conference - conferenze 4.231
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 300
Totale 9.576


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019146 0 0 0 0 0 0 0 0 0 0 78 68
2019/2020437 35 35 11 31 54 49 52 35 47 18 58 12
2020/2021183 17 12 14 12 19 10 11 18 14 19 14 23
2021/2022230 10 28 21 29 23 9 22 8 1 20 24 35
2022/2023321 50 41 2 60 38 36 0 17 54 7 14 2
2023/202478 12 18 6 7 5 13 8 0 0 7 2 0
Totale 1.791