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.389
EU - Europa 1.075
AS - Asia 964
SA - Sud America 177
AF - Africa 50
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.658
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.350
RU - Federazione Russa 463
SG - Singapore 346
IT - Italia 284
CN - Cina 278
BR - Brasile 145
VN - Vietnam 84
DE - Germania 74
KR - Corea 67
JP - Giappone 63
FR - Francia 56
GB - Regno Unito 46
FI - Finlandia 45
CA - Canada 24
MA - Marocco 23
ID - Indonesia 20
HK - Hong Kong 19
IE - Irlanda 17
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
GT - Guatemala 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.658
Salva come PNG Salva come JPEG
Città #
Ashburn 252
Singapore 218
San Jose 159
Milan 111
Santa Clara 97
Moscow 75
Chandler 72
Seoul 65
Tokyo 61
Hefei 57
Boardman 42
New York 42
Beijing 39
Council Bluffs 35
Helsinki 33
Dallas 32
Fairfield 32
Los Angeles 32
Lauterbourg 29
London 28
The Dalles 27
Memphis 26
Wilmington 23
Houston 20
North Charleston 20
Woodbridge 20
Frankfurt am Main 19
Jakarta 19
Ho Chi Minh City 18
Buffalo 17
Hong Kong 17
Hanoi 16
Turin 16
Chicago 15
Kenitra 15
Orem 15
Seattle 14
Dublin 13
Kent 12
Cambridge 10
Montreal 10
São Paulo 10
Amman 9
Munich 9
Washington 9
Denver 8
Johannesburg 8
Lawrence 8
Medford 8
Ann Arbor 7
Bologna 7
Casablanca 7
Guangzhou 7
Rio de Janeiro 7
San Diego 7
Vienna 7
Atlanta 6
Chennai 6
Lappeenranta 6
Phoenix 6
Redmond 6
Turku 6
Berlin 5
Bern 5
Brasília 5
Haiphong 5
Nuremberg 5
Palo del Colle 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
Pescara 4
Piscataway 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
Totale 2.183
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 209
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 200
A Deployment Framework for Formally Verified Human-Robot Interactions 196
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 193
Specification, stochastic modeling and analysis of interactive service robotic applications 184
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 182
Formally-based Model-Driven Development of Collaborative Robotic Applications 174
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 168
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 166
Statistical Model Checking of Human-Robot Interaction Scenarios 157
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 157
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 154
Model-Driven Development of Formally Verified Human-Robot Interactions 142
Towards Verifiable Multi-Agent Interaction Pattern Specification 135
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 134
Verification-Oriented Specification of Multi-agent Interaction Patterns 130
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 128
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 125
A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems 122
Model-Driven Development of Formally Verified Human-Robot Interactions 105
Architecting Explainable Service Robots 101
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 96
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models 79
Preliminary Study of DSL Code Generation for Robotics with LLMs 72
Architecting Federated Learning Systems: A Requirement-Driven Approach 68
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 55
Preliminary Study of DSL Code Generation for Robotics with LLMs 52
Federated Learning for Cross-Dataset Generalization in Litter Detection 9
Totale 3.693
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.001
article - articoli 3.628
book - libri 0
conference - conferenze 7.129
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 244
Totale 22.002
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202128 0 0 0 0 0 0 0 0 0 0 0 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.426 383 320 150 259 190 152 333 137 184 168 127 23
Totale 3.693