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.603
EU - Europa 1.200
AS - Asia 983
SA - Sud America 184
AF - Africa 50
Continente sconosciuto - Info sul continente non disponibili 41
OC - Oceania 2
Totale 4.063
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.536
RU - Federazione Russa 463
IT - Italia 405
SG - Singapore 355
CN - Cina 279
BR - Brasile 150
VN - Vietnam 91
DE - Germania 76
KR - Corea 67
JP - Giappone 64
FR - Francia 56
GB - Regno Unito 47
FI - Finlandia 45
CA - Canada 36
MA - Marocco 23
ID - Indonesia 20
HK - Hong Kong 19
IE - Irlanda 17
SE - Svezia 15
IN - India 14
ES - Italia 13
AT - Austria 12
ZA - Sudafrica 12
NL - Olanda 11
JM - Giamaica 10
TR - Turchia 10
CH - Svizzera 9
JO - Giordania 9
BD - Bangladesh 8
BE - Belgio 8
MX - Messico 8
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
GT - Guatemala 4
PE - Perù 4
PH - Filippine 4
UY - Uruguay 4
UZ - Uzbekistan 4
BG - Bulgaria 3
EC - Ecuador 3
HN - Honduras 3
LB - Libano 3
AL - Albania 2
AU - Australia 2
BB - Barbados 2
BH - Bahrain 2
BJ - Benin 2
CR - Costa Rica 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
DK - Danimarca 1
EE - Estonia 1
EU - Europa 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
PY - Paraguay 1
RE - Reunion 1
RO - Romania 1
SR - Suriname 1
Totale 4.023
Salva come PNG Salva come JPEG
Città #
Ashburn 276
Singapore 222
San Jose 166
Milan 153
Santa Clara 106
Moscow 75
Chandler 73
Seoul 65
Tokyo 61
Hefei 57
Council Bluffs 49
New York 47
Boardman 42
Beijing 40
Los Angeles 36
Dallas 33
Helsinki 33
Fairfield 32
Rome 30
Lauterbourg 29
London 28
The Dalles 27
Memphis 26
Wilmington 24
Houston 22
Turin 21
Buffalo 20
Ho Chi Minh City 20
North Charleston 20
Woodbridge 20
Frankfurt am Main 19
Jakarta 19
Hanoi 18
Hong Kong 17
Chicago 15
Kenitra 15
Orem 15
Seattle 14
Dublin 13
Montreal 13
Kent 12
São Paulo 11
Cambridge 10
Frisco 10
Medford 10
Amman 9
Munich 9
Washington 9
Bologna 8
Denver 8
Johannesburg 8
Lawrence 8
Ann Arbor 7
Atlanta 7
Casablanca 7
Guangzhou 7
Kingston 7
Rio de Janeiro 7
San Diego 7
Vienna 7
Chennai 6
Lappeenranta 6
Phoenix 6
Redmond 6
Turku 6
Berlin 5
Bern 5
Brasília 5
Haiphong 5
Las Vegas 5
Naples 5
Nuremberg 5
Palo del Colle 5
Poplar 5
Roubaix 5
Salt Lake City 5
Shijiazhuang 5
Taipei 5
Xi'an 5
Abidjan 4
Baghdad 4
Bari 4
Belo Horizonte 4
Biên Hòa 4
Brooklyn 4
Düsseldorf 4
Figino 4
Forlì 4
Grumello del Monte 4
Guatemala City 4
Jeddah 4
Karlsruhe 4
Lainate 4
Lima 4
Messina 4
Newark 4
Palermo 4
Pescara 4
Piscataway 4
Redwood City 4
Totale 2.363
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 221
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 213
Specification, stochastic modeling and analysis of interactive service robotic applications 207
A Deployment Framework for Formally Verified Human-Robot Interactions 206
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 203
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 191
Formally-based Model-Driven Development of Collaborative Robotic Applications 179
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 175
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 174
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 167
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 164
Statistical Model Checking of Human-Robot Interaction Scenarios 159
Model-Driven Development of Formally Verified Human-Robot Interactions 147
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 147
Verification-Oriented Specification of Multi-agent Interaction Patterns 142
Towards Verifiable Multi-Agent Interaction Pattern Specification 141
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 135
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 133
A Conversational Framework for Faithful Multi-perspective Analysis of Production Systems 131
Proactive self-adaptation and assurance of explainable Human–Machine Teaming 123
Architecting Explainable Service Robots 114
Model-Driven Development of Formally Verified Human-Robot Interactions 112
Preliminary Study of DSL Code Generation for Robotics with LLMs 98
How Toxic Can You Get? Search-based Toxicity Testing for Large Language Models 84
Architecting Federated Learning Systems: A Requirement-Driven Approach 78
Detecting Dependability Failures in Healthcare Scenarios via Digital Shadows 73
Preliminary Study of DSL Code Generation for Robotics with LLMs 68
Federated Learning for Cross-Dataset Generalization in Litter Detection 21
FIDES: A Neuro-Symbolic Conversational Tool for Faithful Production Process Intelligence 20
Verify, Augment, Improve: Self-Adaptation Repair via Automated Knowledge Augmentation from Mistakes 14
Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services 9
Ubi-AAL: A Self-Adaptive Ubiquitous Computing System Problem Exemplar in Ambient Assisted Living 7
Adaptive Toggling of Architectural Patterns for Federated Learning 7
Totale 4.063
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.207
article - articoli 3.939
book - libri 0
conference - conferenze 7.994
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 274
Totale 24.414
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022117 0 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.575 383 320 150 259 190 152 333 137 184 168 127 172
2026/2027221 135 86 0 0 0 0 0 0 0 0 0 0
Totale 4.063