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


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/2023266 6 9 33 30 17 25 28 13 29 18 32 26
2023/2024564 24 42 41 62 57 77 75 72 48 64 2 0
Totale 1.228