MARCONI, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 1.529
EU - Europa 1.014
AS - Asia 74
AF - Africa 11
SA - Sud America 1
Totale 2.629
Nazione #
US - Stati Uniti d'America 1.017
CA - Canada 512
GB - Regno Unito 447
DE - Germania 372
IT - Italia 64
AT - Austria 52
SG - Singapore 27
FI - Finlandia 20
ES - Italia 18
CN - Cina 13
VN - Vietnam 12
CI - Costa d'Avorio 11
IE - Irlanda 11
JO - Giordania 11
SE - Svezia 10
ID - Indonesia 7
BE - Belgio 4
IN - India 4
RU - Federazione Russa 4
NL - Olanda 3
BG - Bulgaria 2
GR - Grecia 2
PL - Polonia 2
CL - Cile 1
FR - Francia 1
PT - Portogallo 1
RO - Romania 1
Totale 2.629
Città #
Montréal 506
Munich 354
Mcallen 348
Fairfield 89
Chandler 76
Woodbridge 54
Vienna 52
Wilmington 51
Ashburn 47
Seattle 45
Santa Clara 43
Houston 34
Ann Arbor 33
Cambridge 32
Singapore 19
Helsinki 18
Málaga 16
Dearborn 15
Boardman 13
Abidjan 11
Amman 11
Dublin 11
Lawrence 9
Milan 8
Jakarta 7
San Diego 7
Turin 7
Princeton 6
Medford 5
Ottawa 5
Beijing 4
Brussels 4
London 4
New York 4
Norwalk 4
Santa Barbara 4
Manchester 3
Phoenix 3
Redmond 3
Amsterdam 2
Dong Ket 2
Fremont 2
Gallo 2
Karlsruhe 2
Miami 2
Warsaw 2
Bathurst 1
Berlin 1
Bologna 1
Brindisi 1
Cisano Bergamasco 1
Columbus 1
Fuzhou 1
Guangzhou 1
Hefei 1
Hyderabad 1
Kilburn 1
Kunming 1
Ludwigshafen 1
Lüneburg 1
Mountain View 1
Nanjing 1
Novara 1
Putian 1
Redwood City 1
Rome 1
Siena 1
Skala 1
Timisoara 1
Usmate 1
Totale 2.003
Nome #
Formal verification of storm topologies through D-VerT 1.181
A Model-Driven Approach for the Formal Verification of Storm-Based Streaming Applications 699
Towards the formal verification of data-intensive applications through metric temporal logic 130
A tool for verification of big-data applications 115
Using formal verification to evaluate the execution time of Spark applications 95
Formal verification of data-intensive applications through model checking modulo theories 93
On the timed analysis of big-data applications 87
Continuous architecting of stream-based systems 85
Towards DevOps for privacy-by-design in data-intensive applications: A research roadmap 60
Verifying big data topologies by-design: a semi-automated approach 56
Trace checking of streaming applications through DICE-TraCT 50
Totale 2.651
Categoria #
all - tutte 5.159
article - articoli 1.593
book - libri 0
conference - conferenze 3.566
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 10.318


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020431 0 0 0 0 0 66 74 53 63 72 49 54
2020/2021231 53 55 29 5 10 16 1 5 17 11 14 15
2021/2022117 8 7 11 23 5 3 9 8 6 12 13 12
2022/2023184 24 21 3 17 22 21 1 12 27 23 9 4
2023/202481 16 13 5 8 2 7 1 1 0 16 0 12
2024/202585 2 2 3 2 46 30 0 0 0 0 0 0
Totale 2.651