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.408
EU - Europa 1.077
AS - Asia 966
SA - Sud America 177
AF - Africa 50
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 3.681
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.368
RU - Federazione Russa 463
SG - Singapore 347
IT - Italia 286
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
BD - Bangladesh 8
BE - Belgio 8
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
GT - Guatemala 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.681
Salva come PNG Salva come JPEG
Città #
Ashburn 252
Singapore 219
San Jose 164
Milan 111
Santa Clara 100
Moscow 75
Chandler 72
Seoul 65
Tokyo 61
Hefei 57
New York 43
Boardman 42
Beijing 39
Council Bluffs 35
Dallas 33
Helsinki 33
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
Frisco 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
Totale 2.195
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 211
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 200
A Deployment Framework for Formally Verified Human-Robot Interactions 197
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 194
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 185
Specification, stochastic modeling and analysis of interactive service robotic applications 184
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 144
Towards Verifiable Multi-Agent Interaction Pattern Specification 137
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 135
Verification-Oriented Specification of Multi-agent Interaction Patterns 131
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 128
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 126
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 97
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models 79
Preliminary Study of DSL Code Generation for Robotics with LLMs 73
Architecting Federated Learning Systems: A Requirement-Driven Approach 70
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 56
Preliminary Study of DSL Code Generation for Robotics with LLMs 55
Federated Learning for Cross-Dataset Generalization in Litter Detection 10
Totale 3.716
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.192
article - articoli 3.677
book - libri 0
conference - conferenze 7.265
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 250
Totale 22.384
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.449 383 320 150 259 190 152 333 137 184 168 127 46
Totale 3.716