LESTINGI, LIVIA
 Distribuzione geografica
Continente #
NA - Nord America 362
EU - Europa 245
AS - Asia 41
SA - Sud America 4
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 656
Nazione #
US - Stati Uniti d'America 356
IT - Italia 145
FI - Finlandia 22
DE - Germania 16
CN - Cina 14
IE - Irlanda 13
SE - Svezia 10
VN - Vietnam 10
AT - Austria 8
BE - Belgio 6
CA - Canada 6
GB - Regno Unito 6
JO - Giordania 6
CH - Svizzera 5
SG - Singapore 4
BG - Bulgaria 3
CI - Costa d'Avorio 3
FR - Francia 3
TR - Turchia 3
BR - Brasile 2
ES - Italia 2
CL - Cile 1
DK - Danimarca 1
EU - Europa 1
HK - Hong Kong 1
HR - Croazia 1
ID - Indonesia 1
IR - Iran 1
NL - Olanda 1
PH - Filippine 1
PT - Portogallo 1
RO - Romania 1
RU - Federazione Russa 1
UY - Uruguay 1
Totale 656
Città #
Chandler 72
Milan 64
Fairfield 32
Ashburn 29
New York 29
Wilmington 23
Helsinki 21
Woodbridge 20
Houston 15
Turin 12
Seattle 11
Cambridge 10
Dublin 9
Lawrence 8
Medford 8
Ann Arbor 7
Amman 6
Brussels 6
Redmond 6
San Diego 6
Bern 5
Vienna 5
Forlì 4
Messina 4
Redwood City 4
Abidjan 3
Bologna 3
Cantu 3
Fucecchio 3
Palermo 3
Rome 3
State College 3
Albano Laziale 2
Berlin 2
Boydton 2
Erlangen 2
Genoa 2
Liverpool 2
Montreal 2
Málaga 2
Norwalk 2
Portland 2
Americana 1
Ancona 1
Bergamo 1
Boulder 1
Braunschweig 1
Busto Arsizio 1
Cardiff 1
Catania 1
Central District 1
Cincinnati 1
Cinisello Balsamo 1
Cluj-napoca 1
Cologno Monzese 1
Columbia 1
Core 1
Dortmund 1
Ebersberg 1
Groningen 1
Istanbul 1
Jakarta 1
Karlsruhe 1
Lappeenranta 1
London 1
Loures 1
Menlo Park 1
Merone 1
Miami 1
Montechiarugolo 1
Montevideo 1
Monza 1
Odense 1
Rovigo 1
Santiago 1
Singapore 1
Spoltore 1
Subbiano 1
São Paulo 1
Taranto 1
Troy 1
Urbino 1
Vancouver 1
Varese 1
Vigolzone 1
Vimodrone 1
Wellington 1
Winchester 1
Totale 503
Nome #
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 106
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 105
A Deployment Framework for Formally Verified Human-Robot Interactions 66
Statistical Model Checking of Human-Robot Interaction Scenarios 63
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 62
Formally-based Model-Driven Development of Collaborative Robotic Applications 60
Model-Driven Development of Formally Verified Human-Robot Interactions 45
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 32
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 29
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 23
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 19
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 18
Specification, stochastic modeling and analysis of interactive service robotic applications 17
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 15
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 11
Architecting Explainable Service Robots 6
Totale 677
Categoria #
all - tutte 3.028
article - articoli 1.004
book - libri 0
conference - conferenze 2.024
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.056


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021156 0 0 13 64 4 12 11 6 5 6 7 28
2021/2022124 7 7 2 23 36 6 6 7 7 6 7 10
2022/2023229 26 21 29 24 19 16 5 6 32 21 18 12
2023/2024168 11 32 9 22 16 38 20 20 0 0 0 0
Totale 677