LESTINGI, LIVIA
 Distribuzione geografica
Continente #
EU - Europa 528
NA - Nord America 368
AS - Asia 163
SA - Sud America 24
AF - Africa 20
OC - Oceania 10
Totale 1.113
Nazione #
US - Stati Uniti d'America 351
IT - Italia 194
DE - Germania 81
FR - Francia 70
GB - Regno Unito 33
CN - Cina 32
RO - Romania 24
JP - Giappone 21
IN - India 20
SE - Svezia 20
SG - Singapore 19
PL - Polonia 17
NL - Olanda 16
CA - Canada 15
BR - Brasile 14
ID - Indonesia 14
UA - Ucraina 13
AT - Austria 11
TR - Turchia 11
RU - Federazione Russa 10
AU - Australia 9
PK - Pakistan 8
CL - Cile 7
DZ - Algeria 7
FI - Finlandia 7
HK - Hong Kong 7
VN - Vietnam 7
CH - Svizzera 6
DK - Danimarca 6
MY - Malesia 6
EG - Egitto 5
AE - Emirati Arabi Uniti 4
HU - Ungheria 4
KR - Corea 4
NO - Norvegia 4
CZ - Repubblica Ceca 3
IE - Irlanda 3
KE - Kenya 3
TW - Taiwan 3
BE - Belgio 2
KW - Kuwait 2
MA - Marocco 2
AR - Argentina 1
CR - Costa Rica 1
ES - Italia 1
ET - Etiopia 1
GR - Grecia 1
IL - Israele 1
IR - Iran 1
KZ - Kazakistan 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
PR - Porto Rico 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
TH - Thailandia 1
TN - Tunisia 1
Totale 1.113
Città #
Milan 58
Houston 28
Ashburn 27
Santa Cruz 16
Atlanta 13
Cluj-Napoca 13
Fairfield 13
Rome 13
Chicago 12
Santa Clara 10
Pontiac 9
Seattle 9
Beijing 8
Limhamn 8
Vancouver 8
Boardman 7
Bresso 7
Fleming Island 7
Graz 7
Paris 7
Rochester Hills 7
Shanghai 7
Singapore 7
Tokyo 7
Utica 7
Warsaw 7
Hamburg 6
Istanbul 6
Santiago 6
State College 6
Wilmington 6
Brescia 5
Buffalo 5
Ealing 5
Forlì 5
Madison 5
San Diego 5
Stockholm 5
São Paulo 5
Taranto 5
Amsterdam 4
Ann Arbor 4
Avranches 4
Bucharest 4
Cambridge 4
Council Bluffs 4
Cremona 4
Dresden 4
Esslingen am Neckar 4
Ghimbav 4
Grenoble 4
London 4
Los Angeles 4
Munich 4
Odense 4
Oslo 4
Remseck am Neckar 4
Vedano al Lambro 4
Zielona Góra 4
Adelaide 3
Albano Laziale 3
Ankara 3
Brooklyn 3
Cairo 3
Casnate Con Bernate 3
Cedar Knolls 3
Central 3
Chennai 3
Cheyenne 3
Dublin 3
Dunakeszi 3
Hangzhou 3
Helsinki 3
Jakarta 3
Lafayette 3
Miami 3
Montbéliard 3
Nagoya 3
Nanjing 3
Newcastle upon Tyne 3
Nuremberg 3
Oran 3
Rockville 3
Suri 3
Thiais 3
Woodbridge 3
Aarhus 2
Afyonkarahisar 2
Al Ain City 2
Almenno San Bartolomeo 2
Bandar Baru Bangi 2
Bari 2
Bengaluru 2
Bergamo 2
Berlin 2
Billerica 2
Bleiswijk 2
Bogor 2
Boulder 2
Bourne 2
Totale 582
Nome #
Formal Verification of Human-Robot Interaction in Healthcare Scenarios, file e0c31c10-00c3-4599-e053-1705fe0aef77 323
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios, file e0c31c10-4944-4599-e053-1705fe0aef77 193
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper), file e0c31c11-f1f5-4599-e053-1705fe0aef77 94
Towards Better Trust in Human-Machine Teaming through Explainable Dependability, file 82c6cdb9-b2c3-4955-bcc8-05d44f49340c 82
Model-Driven Development of Formally Verified Human-Robot Interactions, file e0c31c12-083a-4599-e053-1705fe0aef77 76
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior, file 0dada564-cb99-415b-a4a4-4d16a656a344 72
Specification, stochastic modeling and analysis of interactive service robotic applications, file d44c1a4c-48b7-4f9a-9ebf-6603d239593f 72
Architecting Explainable Service Robots, file 7df0c22a-8220-4e78-ab53-f47b16397fe4 65
Formally-based Model-Driven Development of Collaborative Robotic Applications, file e0c31c11-4d5a-4599-e053-1705fe0aef77 64
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems, file 75d1e0f0-e8af-4acf-8524-ce107dc721f2 58
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification, file f7d6472d-77c3-4a43-8399-df13fa2b28b8 21
A Deployment Framework for Formally Verified Human-Robot Interactions, file e0c31c12-60de-4599-e053-1705fe0aef77 16
Formal Verification of Human-Robot Interaction in Healthcare Scenarios, file e0c31c0f-abb1-4599-e053-1705fe0aef77 1
Statistical Model Checking of Human-Robot Interaction Scenarios, file e0c31c0f-e412-4599-e053-1705fe0aef77 1
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios, file e0c31c10-75b7-4599-e053-1705fe0aef77 1
Totale 1.139
Categoria #
all - tutte 2.619
article - articoli 980
book - libri 0
conference - conferenze 1.639
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.238


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021116 0 0 3 5 6 20 30 8 15 3 13 13
2021/2022282 21 4 14 19 57 32 21 19 24 28 30 13
2022/2023281 6 9 33 30 17 25 31 14 36 20 34 26
2023/2024460 27 43 41 63 57 77 75 72 5 0 0 0
Totale 1.139