LESTINGI, LIVIA
 Distribuzione geografica
Continente #
NA - Nord America 466
EU - Europa 273
AS - Asia 91
AF - Africa 5
SA - Sud America 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 840
Nazione #
US - Stati Uniti d'America 460
IT - Italia 166
SG - Singapore 31
FI - Finlandia 28
DE - Germania 24
CN - Cina 17
ID - Indonesia 16
IE - Irlanda 13
SE - Svezia 10
VN - Vietnam 10
GB - Regno Unito 8
CA - Canada 6
JO - Giordania 6
CH - Svizzera 5
AT - Austria 4
BG - Bulgaria 3
CI - Costa d'Avorio 3
FR - Francia 3
PH - Filippine 3
TR - Turchia 3
BE - Belgio 2
BJ - Benin 2
BR - Brasile 2
ES - Italia 2
HK - Hong Kong 2
JP - Giappone 2
CL - Cile 1
DK - Danimarca 1
EU - Europa 1
HR - Croazia 1
IR - Iran 1
PT - Portogallo 1
RO - Romania 1
RU - Federazione Russa 1
UY - Uruguay 1
Totale 840
Città #
Milan 75
Chandler 72
Santa Clara 58
Boardman 34
Fairfield 32
Ashburn 29
New York 29
Helsinki 25
Wilmington 23
Singapore 20
Woodbridge 20
Jakarta 16
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
Berlin 4
Forlì 4
Messina 4
Redwood City 4
Abidjan 3
Bologna 3
Cantu 3
Fucecchio 3
Lappeenranta 3
Palermo 3
Rome 3
State College 3
Vienna 3
Albano Laziale 2
Brussels 2
Cotonou 2
Erlangen 2
Frankfurt am Main 2
Genoa 2
Liverpool 2
London 2
Manila 2
Montreal 2
Munich 2
Málaga 2
Nagano 2
Norwalk 2
Portland 2
Springfield 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
Eden Prairie 1
Forest City 1
Hong Kong 1
Istanbul 1
Karlsruhe 1
Loures 1
Menlo Park 1
Merone 1
Miami 1
Montechiarugolo 1
Montevideo 1
Monza 1
Odense 1
Rovigo 1
Santiago 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 664
Nome #
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications 115
Formal Verification of Human-Robot Interaction in Healthcare Scenarios 115
Statistical Model Checking of Human-Robot Interaction Scenarios 74
A Deployment Framework for Formally Verified Human-Robot Interactions 74
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 73
Formally-based Model-Driven Development of Collaborative Robotic Applications 69
Model-Driven Development of Formally Verified Human-Robot Interactions 55
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings 41
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper) 41
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification 28
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 28
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 27
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 24
Specification, stochastic modeling and analysis of interactive service robotic applications 23
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior 21
Data-Driven Energy Modeling of Machining Centers Through Automata Learning 15
Towards Verifiable Multi-Agent Interaction Pattern Specification 13
Architecting Explainable Service Robots 13
Model-Driven Development of Formally Verified Human-Robot Interactions 9
Verification-Oriented Specification of Multi-agent Interaction Patterns 7
Totale 865
Categoria #
all - tutte 4.797
article - articoli 1.642
book - libri 0
conference - conferenze 3.105
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 50
Totale 9.594


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/2024219 9 30 9 20 16 38 20 20 1 17 0 39
2024/2025144 6 8 17 14 99 0 0 0 0 0 0 0
Totale 865