CASALUCE, ROBERTO
 Distribuzione geografica
Continente #
AS - Asia 113
NA - Nord America 34
EU - Europa 26
SA - Sud America 20
AF - Africa 8
OC - Oceania 2
Totale 203
Nazione #
SG - Singapore 44
US - Stati Uniti d'America 25
BR - Brasile 17
CN - Cina 17
HK - Hong Kong 15
IT - Italia 14
VN - Vietnam 9
IN - India 8
GB - Regno Unito 5
JP - Giappone 5
JM - Giamaica 3
ZA - Sudafrica 3
BD - Bangladesh 2
CO - Colombia 2
IE - Irlanda 2
IQ - Iraq 2
MA - Marocco 2
MX - Messico 2
NG - Nigeria 2
NL - Olanda 2
PK - Pakistan 2
SA - Arabia Saudita 2
TT - Trinidad e Tobago 2
UA - Ucraina 2
AU - Australia 1
AZ - Azerbaigian 1
CA - Canada 1
DE - Germania 1
ID - Indonesia 1
KR - Corea 1
KW - Kuwait 1
KZ - Kazakistan 1
LB - Libano 1
LC - Santa Lucia 1
MG - Madagascar 1
NZ - Nuova Zelanda 1
PH - Filippine 1
VE - Venezuela 1
Totale 203
Città #
Singapore 26
Hong Kong 15
Pisa 6
Boardman 5
Tokyo 5
San Jose 4
Beijing 3
Genoa 3
Ho Chi Minh City 3
Shanghai 3
Venice 3
Amsterdam 2
Casablanca 2
Dublin 2
Hanoi 2
Kingston 2
Lagos 2
Los Angeles 2
Salt Lake City 2
São Paulo 2
Ahmedabad 1
Almaty 1
Auckland 1
Baghdad 1
Baku 1
Basra 1
Benoni 1
Brits 1
Brooklyn 1
Bình Dương 1
Cali 1
Camden 1
Can Tho 1
Chapecó 1
Chicago 1
Concórdia 1
Dammam 1
Delhi 1
Dennery 1
Elk Grove Village 1
Ernakulam 1
Frankfurt am Main 1
Gandhinagar 1
Guarenas 1
Ha Long 1
Hackney 1
Haikou 1
Halifax 1
Inhapi 1
Itaquaquecetuba 1
Jakarta 1
Jeddah 1
João Pessoa 1
Khmelnytskyi 1
Kolkata 1
Kuwait City 1
Lahore 1
Lakewood 1
Lviv 1
Manila 1
Mapo-gu 1
Mascalucia 1
Mateus Leme 1
Morelia 1
Nagpur 1
Naviraí 1
Nova Alvorada do Sul 1
Pasto 1
Peshawar 1
Poole 1
Poplar 1
Port of Spain 1
Porto Belo 1
Puebla 1
Queens 1
Ribeirão Preto 1
Rio Pardo 1
Saint Johns 1
Santos 1
Sebokeng 1
Slave Lake 1
Sydney 1
São Gonçalo 1
Timbiras 1
Tunapuna 1
Vila Velha 1
Totale 160
Nome #
White-box validation of quantitative product lines by statistical model checking and process mining 50
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining 48
Enhancing Threat Model Validation: A White-Box Approach based on Statistical Model Checking and Process Mining 40
Process Mining meets Statistical Model Checking to Explain Threat Models: Novel Approach to Model Validation and Enhancement (Extended Abstract) 38
Process Mining Meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement 33
Totale 209
Categoria #
all - tutte 420
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 420


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202595 0 0 0 0 5 0 9 5 1 8 8 59
2025/2026114 10 3 9 7 31 10 12 7 10 13 2 0
Totale 209