RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

LESTINGI, LIVIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.268
EU - Europa 1.066
AS - Asia 962
SA - Sud America 177
AF - Africa 50
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.526
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.239
RU - Federazione Russa 463
SG - Singapore 346
IT - Italia 277
CN - Cina 276
BR - Brasile 145
VN - Vietnam 84
DE - Germania 72
KR - Corea 67
JP - Giappone 63
FR - Francia 56
GB - Regno Unito 46
FI - Finlandia 45
MA - Marocco 23
ID - Indonesia 20
HK - Hong Kong 19
IE - Irlanda 17
CA - Canada 15
SE - Svezia 15
IN - India 14
AT - Austria 12
ES - Italia 12
ZA - Sudafrica 12
NL - Olanda 11
TR - Turchia 10
CH - Svizzera 9
JO - Giordania 9
BE - Belgio 8
BD - Bangladesh 7
MX - Messico 7
PL - Polonia 7
TW - Taiwan 7
AR - Argentina 6
PK - Pakistan 6
CL - Cile 5
IQ - Iraq 5
SA - Arabia Saudita 5
VE - Venezuela 5
CI - Costa d'Avorio 4
CO - Colombia 4
PH - Filippine 4
UY - Uruguay 4
UZ - Uzbekistan 4
BG - Bulgaria 3
EC - Ecuador 3
JM - Giamaica 3
LB - Libano 3
PE - Perù 3
AL - Albania 2
AU - Australia 2
BH - Bahrain 2
BJ - Benin 2
EG - Egitto 2
ET - Etiopia 2
KZ - Kazakistan 2
LT - Lituania 2
TH - Thailandia 2
TN - Tunisia 2
UA - Ucraina 2
AZ - Azerbaigian 1
BO - Bolivia 1
CR - Costa Rica 1
DK - Danimarca 1
EE - Estonia 1
EU - Europa 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
IR - Iran 1
LK - Sri Lanka 1
MD - Moldavia 1
ML - Mali 1
MT - Malta 1
NG - Nigeria 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PR - Porto Rico 1
PS - Palestinian Territory 1
PT - Portogallo 1
RE - Reunion 1
RO - Romania 1
SR - Suriname 1
Totale 3.526
Salva come PNG Salva come JPEG
Città #
Ashburn 239
Singapore 218
San Jose 154
Milan 111
Santa Clara 95
Moscow 75
Chandler 72
Seoul 65
Tokyo 61
Hefei 57
New York 41
Beijing 38
Council Bluffs 35
Boardman 34
Helsinki 33
Dallas 32
Fairfield 32
Lauterbourg 29
London 28
Los Angeles 27
The Dalles 27
Wilmington 23
North Charleston 20
Woodbridge 20
Frankfurt am Main 19
Jakarta 19
Ho Chi Minh City 18
Houston 18
Hong Kong 17
Hanoi 16
Turin 16
Kenitra 15
Orem 15
Buffalo 14
Chicago 14
Seattle 14
Dublin 13
Kent 12
Cambridge 10
São Paulo 10
Amman 9
Munich 9
Washington 9
Denver 8
Johannesburg 8
Lawrence 8
Medford 8
Ann Arbor 7
Casablanca 7
Guangzhou 7
Rio de Janeiro 7
San Diego 7
Vienna 7
Chennai 6
Lappeenranta 6
Redmond 6
Turku 6
Atlanta 5
Berlin 5
Bern 5
Bologna 5
Brasília 5
Haiphong 5
Montreal 5
Nuremberg 5
Phoenix 5
Poplar 5
Rome 5
Roubaix 5
Shijiazhuang 5
Taipei 5
Xi'an 5
Abidjan 4
Baghdad 4
Belo Horizonte 4
Biên Hòa 4
Düsseldorf 4
Forlì 4
Grumello del Monte 4
Jeddah 4
Karlsruhe 4
Lainate 4
Messina 4
Palo del Colle 4
Pescara 4
Redwood City 4
Salt Lake City 4
Stockholm 4
Warsaw 4
Zurich 4
Amsterdam 3
Ankara 3
Brescia 3
Brooklyn 3
Cantu 3
Copiapó 3
Da Nang 3
Fortaleza 3
Fucecchio 3
Islamabad 3
Totale 2.108
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 207
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 199
A Deployment Framework for Formally Verified Human-Robot Interactions 194
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 193
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 176
Formally-based Model-Driven Development of Collaborative Robotic Applications 171
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 164
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 161
Statistical Model Checking of Human-Robot Interaction Scenarios 157
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 151
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 150
Model-Driven Development of Formally Verified Human-Robot Interactions 139
Specification, stochastic modeling and analysis of interactive service robotic applications 136
Towards Verifiable Multi-Agent Interaction Pattern Specification 131
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 131
Verification-Oriented Specification of Multi-agent Interaction Patterns 129
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 125
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 123
A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems 120
Model-Driven Development of Formally Verified Human-Robot Interactions 101
Architecting Explainable Service Robots 100
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 89
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models 76
Preliminary Study of DSL Code Generation for Robotics with LLMs 66
Architecting Federated Learning Systems: A Requirement-Driven Approach 65
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 52
Preliminary Study of DSL Code Generation for Robotics with LLMs 47
Federated Learning for Cross-Dataset Generalization in Litter Detection 8
Totale 3.561
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.543
article - articoli 3.432
book - libri 0
conference - conferenze 6.879
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 232
Totale 21.086
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202135 0 0 0 0 0 0 0 0 0 0 7 28
2021/2022124 7 7 2 23 36 6 6 7 7 6 7 10
2022/2023222 26 21 29 24 19 16 4 6 30 20 16 11
2023/2024219 9 30 9 20 16 38 20 20 1 17 0 39
2024/2025546 6 8 17 14 106 51 28 40 80 36 92 68
2025/20262.294 383 320 150 259 190 152 333 137 184 168 18 0
Totale 3.561