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

LESTINGI, LIVIA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 976
NA - Nord America 972
AS - Asia 606
SA - Sud America 164
AF - Africa 45
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.764
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 950
RU - Federazione Russa 463
SG - Singapore 267
IT - Italia 245
CN - Cina 191
BR - Brasile 140
DE - Germania 65
VN - Vietnam 52
GB - Regno Unito 45
FI - Finlandia 40
FR - Francia 28
MA - Marocco 23
ID - Indonesia 20
SE - Svezia 15
IE - Irlanda 14
CA - Canada 13
KR - Corea 12
AT - Austria 11
NL - Olanda 11
ES - Italia 10
JP - Giappone 9
ZA - Sudafrica 9
TR - Turchia 8
BE - Belgio 7
HK - Hong Kong 7
JO - Giordania 7
PL - Polonia 7
CH - Svizzera 6
MX - Messico 6
AR - Argentina 5
BD - Bangladesh 5
CI - Costa d'Avorio 4
CL - Cile 4
IN - India 4
UY - Uruguay 4
BG - Bulgaria 3
CO - Colombia 3
EC - Ecuador 3
IQ - Iraq 3
PH - Filippine 3
TW - Taiwan 3
UZ - Uzbekistan 3
BJ - Benin 2
EG - Egitto 2
KZ - Kazakistan 2
PE - Perù 2
TN - Tunisia 2
VE - Venezuela 2
AL - Albania 1
BH - Bahrain 1
BO - Bolivia 1
DK - Danimarca 1
ET - Etiopia 1
EU - Europa 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
IR - Iran 1
JM - Giamaica 1
LK - Sri Lanka 1
NG - Nigeria 1
NP - Nepal 1
OM - Oman 1
PA - Panama 1
PK - Pakistan 1
PS - Palestinian Territory 1
PT - Portogallo 1
RE - Reunion 1
RO - Romania 1
SA - Arabia Saudita 1
TH - Thailandia 1
UA - Ucraina 1
Totale 2.764
Salva come PNG Salva come JPEG
Città #
Ashburn 182
Singapore 162
Milan 100
Santa Clara 91
Moscow 75
Chandler 72
Hefei 56
San Jose 46
New York 38
Boardman 34
Fairfield 32
Beijing 31
Helsinki 28
London 28
Los Angeles 25
Wilmington 23
Dallas 22
Woodbridge 20
Jakarta 19
Council Bluffs 18
Houston 18
Turin 16
Frankfurt am Main 15
Kenitra 15
Seattle 14
Buffalo 12
Chicago 12
Hanoi 12
Kent 12
Ho Chi Minh City 11
Seoul 11
Cambridge 10
Dublin 10
São Paulo 10
Munich 9
Washington 9
Denver 8
Lawrence 8
Medford 8
Orem 8
Amman 7
Ann Arbor 7
Casablanca 7
Rio de Janeiro 7
Tokyo 7
Vienna 7
Guangzhou 6
Hong Kong 6
Lappeenranta 6
Redmond 6
San Diego 6
Turku 6
Berlin 5
Bern 5
Bologna 5
Brasília 5
Johannesburg 5
Montreal 5
Phoenix 5
Poplar 5
Rome 5
Roubaix 5
The Dalles 5
Abidjan 4
Atlanta 4
Biên Hòa 4
Düsseldorf 4
Forlì 4
Grumello del Monte 4
Karlsruhe 4
Lainate 4
Messina 4
Nuremberg 4
Pescara 4
Redwood City 4
Stockholm 4
Warsaw 4
Amsterdam 3
Ankara 3
Baghdad 3
Belo Horizonte 3
Brescia 3
Brooklyn 3
Cantu 3
Chennai 3
Copiapó 3
Fortaleza 3
Fucecchio 3
Lauterbourg 3
Montevideo 3
Novara 3
Oldenburg 3
Palermo 3
Porto Alegre 3
State College 3
Taipei 3
Tashkent 3
Vigodarzere 3
Wroclaw 3
Xi'an 3
Totale 1.588
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 180
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 178
A Deployment Framework for Formally Verified Human-Robot Interactions 168
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 163
Formally-based Model-Driven Development of Collaborative Robotic Applications 142
Statistical Model Checking of Human-Robot Interaction Scenarios 137
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 133
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 132
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 131
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 130
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 116
Model-Driven Development of Formally Verified Human-Robot Interactions 112
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 111
Towards Verifiable Multi-Agent Interaction Pattern Specification 109
Specification, stochastic modeling and analysis of interactive service robotic applications 109
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 105
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 100
Verification-Oriented Specification of Multi-agent Interaction Patterns 98
A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems 95
Model-Driven Development of Formally Verified Human-Robot Interactions 84
Architecting Explainable Service Robots 78
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models 42
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 39
Architecting Federated Learning Systems: A Requirement-Driven Approach 38
Preliminary Study of DSL Code Generation for Robotics with LLMs 34
Preliminary Study of DSL Code Generation for Robotics with LLMs 24
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 9
Totale 2.797
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.225
article - articoli 3.027
book - libri 0
conference - conferenze 5.999
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 199
Totale 18.450
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202163 0 0 0 0 0 0 11 6 5 6 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/20261.530 383 320 150 259 190 152 76 0 0 0 0 0
Totale 2.797