LESTINGI, LIVIA
 Distribuzione geografica
Continente #
NA - Nord America 369
EU - Europa 243
AS - Asia 41
SA - Sud America 4
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 661
Nazione #
US - Stati Uniti d'America 363
IT - Italia 153
FI - Finlandia 22
DE - Germania 16
CN - Cina 14
IE - Irlanda 13
SE - Svezia 10
VN - Vietnam 10
GB - Regno Unito 7
CA - Canada 6
JO - Giordania 6
CH - Svizzera 5
SG - Singapore 4
BG - Bulgaria 3
CI - Costa d'Avorio 3
FR - Francia 3
TR - Turchia 3
AT - Austria 2
BE - Belgio 2
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
PH - Filippine 1
PT - Portogallo 1
RO - Romania 1
RU - Federazione Russa 1
UY - Uruguay 1
Totale 661
Città #
Chandler 72
Milan 65
Fairfield 32
Ashburn 29
New York 29
Wilmington 23
Helsinki 21
Woodbridge 20
Houston 15
Turin 12
Seattle 11
Cambridge 10
Dublin 9
Washington 9
Lawrence 8
Medford 8
Ann Arbor 7
Amman 6
Redmond 6
San Diego 6
Bern 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
Brussels 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
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
Vienna 1
Vigolzone 1
Vimodrone 1
Wellington 1
Winchester 1
Totale 502
Nome #
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 107
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 107
Statistical Model Checking of Human-Robot Interaction Scenarios 65
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 63
A Deployment Framework for Formally Verified Human-Robot Interactions 63
Formally-based Model-Driven Development of Collaborative Robotic Applications 61
Model-Driven Development of Formally Verified Human-Robot Interactions 46
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 33
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 30
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 20
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 19
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 19
Specification, stochastic modeling and analysis of interactive service robotic applications 16
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 7
Totale 682
Categoria #
all - tutte 3.281
article - articoli 1.083
book - libri 0
conference - conferenze 2.198
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.562


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/2023222 26 21 29 24 19 16 4 6 30 20 16 11
2023/2024180 9 30 9 20 16 38 20 20 1 17 0 0
Totale 682