LEOFANTE, FRANCESCO
 Distribuzione geografica
Continente #
EU - Europa 1.514
AS - Asia 206
NA - Nord America 83
SA - Sud America 23
AF - Africa 4
OC - Oceania 1
Totale 1.831
Nazione #
IT - Italia 1.488
SG - Singapore 79
US - Stati Uniti d'America 79
CN - Cina 54
VN - Vietnam 42
BR - Brasile 16
FR - Francia 11
HK - Hong Kong 9
JP - Giappone 5
DE - Germania 3
GB - Regno Unito 3
ID - Indonesia 3
AR - Argentina 2
EC - Ecuador 2
IE - Irlanda 2
IN - India 2
KG - Kirghizistan 2
LT - Lituania 2
PK - Pakistan 2
ZA - Sudafrica 2
AU - Australia 1
BA - Bosnia-Erzegovina 1
BD - Bangladesh 1
CA - Canada 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
CY - Cipro 1
ES - Italia 1
FI - Finlandia 1
IQ - Iraq 1
IR - Iran 1
KE - Kenya 1
MA - Marocco 1
MX - Messico 1
MY - Malesia 1
NI - Nicaragua 1
NP - Nepal 1
PH - Filippine 1
PY - Paraguay 1
RU - Federazione Russa 1
TR - Turchia 1
UA - Ucraina 1
Totale 1.831
Città #
Genova 813
Genoa 483
Rapallo 103
Vado Ligure 78
Singapore 37
San Jose 33
Ho Chi Minh City 19
Lauterbourg 10
Beijing 9
Hong Kong 7
Naples 7
Ashburn 6
Hanoi 5
New York 4
Rome 4
Council Bluffs 3
Des Moines 3
Frankfurt am Main 3
Tokyo 3
Bishkek 2
Dublin 2
Hải Dương 2
Ninh Bình 2
Orem 2
Araci 1
Atlanta 1
Baghdad 1
Bahawalpur 1
Bandung 1
Belém 1
Biên Hòa 1
Bocaue 1
Brumadinho 1
Buffalo 1
Cabo Frio 1
Cape Town 1
Changsha 1
Chennai 1
Ciudad del Este 1
Colatina 1
Curitiba 1
Freehold 1
Germantown 1
Greenwich 1
Ha Long 1
Haiphong 1
Houston 1
Iguape 1
Ituzaingó 1
Izmir 1
Jaboatão dos Guararapes 1
Jinan 1
Johannesburg 1
Juazeirinho 1
Kathmandu 1
Kolomyia 1
Lahore 1
Lappeenranta 1
Limassol 1
London 1
Los Angeles 1
Lumajang 1
Lấp Vò 1
Maceió 1
Managua 1
Manaus 1
Manchester 1
Melbourne 1
Mexico City 1
Morro Agudo 1
Moscow 1
Mumbai 1
Nairobi 1
Natal 1
North Charleston 1
Oujda 1
Quibdó 1
Quito 1
Riobamba 1
San Bernardo 1
San José 1
Santa Clara 1
Santa Fe 1
Surabaya 1
São Caetano do Sul 1
São José dos Campos 1
São Leopoldo 1
Valencia 1
Vancouver 1
Vĩnh Long 1
Wuhan 1
Totale 1.707
Nome #
Optimal Planning Modulo Theories 287
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics 203
Repairing Learned Controllers with Convex Optimization: A Case Study 160
Combining static and runtime methods to achieve safe standing-up for humanoid robots 155
Improving Reliability of Myocontrol Using Formal Verification 152
SMT-based Planning for Robots in Smart Factories 139
On the synthesis of guaranteed-quality plans for robot fleets in logistics scenarios via optimization modulo theories 129
Learning in physical domains: Mating safety requirements and costly sampling 122
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 113
Task planning with OMT: An application to production logistics 103
Engineering controllers for swarm robotics via reachability analysis in hybrid systems 90
null 65
Optimal Planning Modulo Theories 55
Interval abstractions for robust counterfactual explanations 50
Robot Swarms as Hybrid Systems: Modelling and Verification 45
Totale 1.868
Categoria #
all - tutte 6.285
article - articoli 1.132
book - libri 0
conference - conferenze 4.203
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 11.620


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202156 0 0 0 0 0 0 0 0 0 25 16 15
2021/2022182 7 12 15 12 8 16 10 32 19 19 14 18
2022/2023143 18 6 3 9 14 22 1 9 28 2 25 6
2023/2024134 8 19 5 17 9 24 3 7 4 17 9 12
2024/2025287 10 15 7 4 26 25 18 74 14 35 37 22
2025/2026458 54 6 27 27 95 42 83 27 51 46 0 0
Totale 1.868