CASALUCE, Roberto
 Distribuzione geografica
Continente #
EU - Europa 74
AS - Asia 35
NA - Nord America 11
Totale 120
Nazione #
IT - Italia 46
SG - Singapore 20
US - Stati Uniti d'America 11
CN - Cina 6
IN - India 6
FI - Finlandia 4
FR - Francia 4
GB - Regno Unito 4
DK - Danimarca 3
IE - Irlanda 3
AT - Austria 2
BE - Belgio 2
CH - Svizzera 2
DE - Germania 2
KR - Corea 2
NL - Olanda 2
LK - Sri Lanka 1
Totale 120
Città #
Singapore 15
Rimini 9
Hyderabad 5
Rome 5
Catania 4
Dublin 3
Kongens Lyngby 3
Lappeenranta 3
Newcastle-under-Lyme 3
Pisa 3
Romano d'Ezzelino 3
Venice 3
Amsterdam 2
Arenzano 2
Boardman 2
Brussels 2
Frankfurt am Main 2
Grosseto 2
Milan 2
Montesilvano Marina 2
Santa Clara 2
Seoul 2
Turin 2
Vienna 2
Vinovo 2
Zurich 2
Ashburn 1
Colombo 1
Helsinki 1
London 1
Modica 1
Quattro Castella 1
Roorkee 1
Shanghai 1
Treviso 1
Totale 96
Nome #
White-box validation of quantitative product lines by statistical model checking and process mining 66
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement 45
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining 13
Totale 124
Categoria #
all - tutte 702
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 702


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202486 0 0 0 0 6 4 7 28 13 12 6 10
2024/202538 2 2 7 18 9 0 0 0 0 0 0 0
Totale 124