CATALOGO DEI PRODOTTI DELLA RICERCA

GERETTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.391
NA - Nord America 1.369
AS - Asia 1.142
SA - Sud America 163
AF - Africa 36
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.107
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.340
RU - Federazione Russa 861
NL - Olanda 570
SG - Singapore 466
CN - Cina 361
GB - Regno Unito 303
IT - Italia 179
BR - Brasile 135
HK - Hong Kong 128
FR - Francia 91
SE - Svezia 85
VN - Vietnam 81
FI - Finlandia 76
IE - Irlanda 74
DE - Germania 67
KR - Corea 54
UA - Ucraina 18
ZA - Sudafrica 15
BE - Belgio 13
MX - Messico 13
AR - Argentina 12
AT - Austria 12
CA - Canada 11
PL - Polonia 11
BD - Bangladesh 7
BJ - Benin 7
ES - Italia 7
TG - Togo 7
TR - Turchia 7
EC - Ecuador 6
JP - Giappone 6
LT - Lituania 5
AE - Emirati Arabi Uniti 4
AU - Australia 4
IN - India 4
SA - Arabia Saudita 4
VE - Venezuela 4
CO - Colombia 3
HU - Ungheria 3
ID - Indonesia 3
IQ - Iraq 3
PK - Pakistan 3
EG - Egitto 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LU - Lussemburgo 2
MD - Moldavia 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AD - Andorra 1
AL - Albania 1
AO - Angola 1
BG - Bulgaria 1
CD - Congo 1
CH - Svizzera 1
CL - Cile 1
CR - Costa Rica 1
CY - Cipro 1
DK - Danimarca 1
EU - Europa 1
GD - Grenada 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
LV - Lettonia 1
MA - Marocco 1
MY - Malesia 1
NO - Norvegia 1
OM - Oman 1
PE - Perù 1
PT - Portogallo 1
PY - Paraguay 1
RE - Reunion 1
RO - Romania 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 5.107
Salva come PNG Salva come JPEG
Città #
Eygelshoven 554
Moscow 312
Singapore 238
Southend 210
Chandler 153
Dallas 152
Hong Kong 126
Ashburn 111
Ann Arbor 104
Woodbridge 76
Dublin 74
Houston 72
Beijing 68
Jacksonville 65
Verona 59
Lancaster 42
The Dalles 42
Los Angeles 41
New York 39
Helsinki 38
Nanjing 31
Ho Chi Minh City 26
Seoul 26
Wilmington 26
Lawrence 25
Princeton 25
Hanoi 18
Jinan 17
São Paulo 17
Santa Clara 16
Shenyang 16
Buffalo 15
Redondo Beach 15
Brussels 13
Columbus 13
Ningbo 13
Falkenstein 12
Johannesburg 12
London 12
Changsha 10
Nanchang 10
Rome 10
San Francisco 10
Denver 9
Jiaxing 9
Milan 9
Seattle 9
Warsaw 9
Hangzhou 8
Hebei 8
Tianjin 8
Chicago 7
Cotonou 7
Lomé 7
Phoenix 7
Rio de Janeiro 7
Taizhou 7
Vienna 7
Atlanta 6
Grezzana 6
Haikou 6
Manchester 6
Munich 6
Sindelfingen 6
Tokyo 6
Toronto 6
Zhengzhou 6
Belo Horizonte 5
Boardman 5
Boston 5
Brooklyn 5
Frankfurt am Main 5
Fuzhou 5
Guangzhou 5
Naples 5
Roubaix 5
Stockholm 5
Amsterdam 4
Chennai 4
Curitiba 4
Des Moines 4
Dong Ket 4
Genoa 4
Lanzhou 4
Meda 4
Mexico City 4
Montreal 4
Norwalk 4
Nuremberg 4
Orem 4
Padova 4
Pellestrina 4
Poplar 4
Baghdad 3
Bexley 3
Biên Hòa 3
Da Nang 3
Guayaquil 3
Lappeenranta 3
Querétaro 3
Totale 3.271
Salva come PNG Salva come JPEG
Nome #
Special issue: Formal verification of cyber-physical systems 379
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 344
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 178
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 178
An Introduction to the Verification of Hybrid Systems using Ariadne 170
Open Problems in Verification and Refinement of Autonomous Robotic Systems 162
Computing the evolution of hybrid systems using rigorous function calculus 157
Correct-by-construction code generation from hybrid automata specification 154
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 149
Formal Verification Applied to Robotic Surgery 136
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 136
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 133
A service-oriented gateway for remote monitoring of building sensor networks 129
Formal verification of medical CPS: a laser incision case study 128
A computable and compositional semantics for hybrid systems 122
A higher order method for input-affine uncertain systems 121
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 121
Parametric formal verification: the robotic paint spraying case study 120
A computable and compositional semantics for hybrid automata 119
Process-driven Collision Prediction in Human-Robot Work Environments 117
Formal verification of robotic surgery tasks by reachability analysis 112
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 109
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 106
Robotic surgery 105
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 103
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 103
Rigorous continuous evolution of uncertain systems 100
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 99
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics 94
Automating Numerical Parameters Along the Evolution of a Nonlinear System 93
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 89
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 88
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 86
Recent Results on Computable and Compositional Semantics for Hybrid Systems 83
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 81
Higher Order Method for Differential Inclusions 80
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties 78
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 75
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 75
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 69
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 68
Rigorous Function Calculi in Ariadne 35
Collision prediction using plan learning in mixed human–robot work cells 11
Totale 5.195
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.274
article - articoli 4.827
book - libri 0
conference - conferenze 9.174
curatela - curatele 0
other - altro 318
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.955
Totale 32.548
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202194 0 0 0 0 0 36 5 5 15 4 14 15
2021/2022184 12 39 5 5 12 4 7 12 9 9 14 56
2022/2023489 29 64 44 55 50 113 11 41 64 4 10 4
2023/2024254 21 21 23 15 22 32 13 18 4 41 33 11
2024/2025896 41 56 40 148 44 57 23 82 109 83 77 136
2025/20262.429 177 137 176 465 756 718 0 0 0 0 0 0
Totale 5.195