NICOLETTI, DANIELE
 Distribuzione geografica
Continente #
AS - Asia 80
NA - Nord America 59
SA - Sud America 46
EU - Europa 39
AF - Africa 4
Totale 228
Nazione #
US - Stati Uniti d'America 56
BR - Brasile 38
SG - Singapore 35
DE - Germania 16
VN - Vietnam 15
HK - Hong Kong 13
CN - Cina 8
IT - Italia 7
FI - Finlandia 5
AT - Austria 3
IN - India 3
PY - Paraguay 3
EC - Ecuador 2
FR - Francia 2
KR - Corea 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
CA - Canada 1
CL - Cile 1
CO - Colombia 1
ES - Italia 1
ID - Indonesia 1
JM - Giamaica 1
MA - Marocco 1
MX - Messico 1
NL - Olanda 1
PL - Polonia 1
RU - Federazione Russa 1
TG - Togo 1
TN - Tunisia 1
TR - Turchia 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 228
Città #
Dallas 29
Singapore 17
Hong Kong 13
Ho Chi Minh City 10
Hamburg 7
Los Angeles 5
Brasília 4
Helsinki 4
Nuremberg 4
São Paulo 4
Beijing 3
Asnières-sur-Seine 2
Asunción 2
Buffalo 2
Curitiba 2
Horst 2
Mumbai 2
Phoenix 2
Redondo Beach 2
Abu Dhabi 1
Agronômica 1
Amsterdam 1
Ankara 1
Belford Roxo 1
Bijeljina 1
Boston 1
Cabo Frio 1
Can Tho 1
Cape Town 1
Caraguatatuba 1
Carangola 1
Chennai 1
Chicago 1
Cláudio 1
Dourados 1
Falkenstein 1
Fortaleza 1
Hanoi 1
Humble 1
Imaruí 1
Irati 1
Itabaianinha 1
Jundiaí 1
Kingston 1
Kyiv 1
Lappeenranta 1
Little Falls 1
Lomé 1
Marrakesh 1
Mexico City 1
Mikhaylovsk 1
Monforte de Lemos 1
Montreal 1
New York 1
Ninh Bình 1
Nova Iguaçu 1
Paraguarí 1
Paraíso do Norte 1
Pekanbaru 1
Porto Alegre 1
Porto Nacional 1
Queens 1
Quận Một 1
Redenção 1
Rio Grande 1
Romola 1
San Miguel de Tucumán 1
Santa Maria da Vitória 1
Santiago 1
Santiago de Cali 1
Secaucus 1
Sete Lagoas 1
Shenzhen 1
Solânea 1
Sul Brasil 1
São José dos Campos 1
Teresópolis 1
Timóteo 1
Tunis 1
Ubatuba 1
Vienna 1
Vinh 1
Várzea Paulista 1
Warsaw 1
Totale 181
Nome #
A Systematic Literature Review on Mining LTL Specifications 83
Mining signal temporal logic specifications for hybrid systems 46
A Baseline Framework for the Qualification of LTL Specification Miners 41
Special Session: A Model-Driven Design Tool for Modelling, Simulation and Assertion-Based Verification of Hybrid Automata 37
Invited Talk: Pros and Cons of Assertion Mining 26
Totale 233
Categoria #
all - tutte 733
article - articoli 157
book - libri 0
conference - conferenze 576
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.466


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202590 0 0 6 10 3 3 0 1 5 8 2 52
2025/2026143 18 69 38 18 0 0 0 0 0 0 0 0
Totale 233