GERMINIANI, SAMUELE
 Distribuzione geografica
Continente #
AS - Asia 166
EU - Europa 92
NA - Nord America 57
SA - Sud America 26
AF - Africa 7
Totale 348
Nazione #
IT - Italia 70
SG - Singapore 52
US - Stati Uniti d'America 47
CN - Cina 34
BR - Brasile 24
VN - Vietnam 24
KR - Corea 15
HK - Hong Kong 14
IL - Israele 14
DE - Germania 9
MX - Messico 7
AT - Austria 6
FR - Francia 3
BD - Bangladesh 2
CA - Canada 2
EC - Ecuador 2
EG - Egitto 2
ID - Indonesia 2
IN - India 2
MA - Marocco 2
TR - Turchia 2
DO - Repubblica Dominicana 1
DZ - Algeria 1
GB - Regno Unito 1
IE - Irlanda 1
IQ - Iraq 1
JO - Giordania 1
KE - Kenya 1
NL - Olanda 1
PK - Pakistan 1
PS - Palestinian Territory 1
QA - Qatar 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 348
Città #
Singapore 23
Rome 20
Chicago 14
Hong Kong 14
Pescara 14
Seoul 14
Tel Aviv 14
Beijing 9
Verona 9
Ho Chi Minh City 8
Nuremberg 7
Santa Clara 7
Milan 6
Mexico City 5
Ashburn 4
Hanoi 4
Paris 3
Quảng Ngãi 3
Brescia 2
Grottaferrata 2
Haiphong 2
Istanbul 2
Los Angeles 2
L’Aquila 2
Naples 2
Rio de Janeiro 2
San Jose 2
Sovizzo 2
Taranto 2
Vienna 2
Amman 1
Amritsar 1
Apodaca 1
Bari 1
Barretos 1
Bellevue 1
Berrechid 1
Biên Hòa 1
Blida 1
Brasília 1
Cairo 1
Camden 1
Casablanca 1
Caxias 1
Cincinnati 1
City of London 1
Cruz Alta 1
Denver 1
Dhaka 1
Doha 1
Dublin 1
Duque de Caxias 1
Faisalabad 1
Forquilhinha 1
Garanhuns 1
Gaza 1
Giza 1
Guaraciaba do Norte 1
Ha Long 1
Houston 1
Jaboatão dos Guararapes 1
Jaguariúna 1
Jember 1
Las Vegas 1
Lavras 1
Marau 1
Monastier di Treviso 1
Nairobi 1
Najaf 1
Ninh Bình 1
Orem 1
Orlando 1
Paraty 1
Pasadena 1
Piúma 1
Porto Alegre 1
Poço Fundo 1
Pretoria 1
Quito 1
Quận Mười 1
Rangpur City 1
Salem 1
Salvador 1
San Francisco 1
Santana do Livramento 1
Santo Domingo 1
Seo-gu 1
São Lourenço 1
São Paulo 1
Taglio 1
Tijuana 1
Toronto 1
Valinhos 1
Warner Robins 1
Washington 1
Watford 1
Wichita Falls 1
Zaporizhzhya 1
Totale 270
Nome #
A containerized ROS-compliant verification environment for robotic systems 40
HARM: A Hint-Based Assertion Miner 37
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 37
Exploiting clustering and decision-tree algorithms to mine LTL assertions containing non-boolean expressions 26
A containerized ROS-compliant verification environment for robotic systems 25
Exploiting assertions mining and fault analysis to guide RTL-level approximation 23
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 23
MIST: monitor generation from informal specifications for firmware verification 23
System-level bug explanation through program slicing and instruction clusterization 22
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 22
Automatic generation of assertions for detection of firmware vulnerabilities through alignment of symbolic sequences 22
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 20
Syntactic and Semantic Analysis of Temporal Assertions to Support the Approximation of RTL Designs 19
Assertion-aware approximate computing design exploration on behavioral models 17
A Conceptual Framework for Athlete Health Using AIoT, Wearables, and Personalized Performance Intelligence 7
Totale 363
Categoria #
all - tutte 2.580
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 2.580


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/2025134 0 0 0 21 4 3 9 48 3 1 35 10
2025/2026223 20 18 48 27 37 2 9 9 16 19 10 8
2026/20276 6 0 0 0 0 0 0 0 0 0 0 0
Totale 363