CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202133 0 0 0 0 0 0 0 0 0 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/20263.218 177 137 176 465 756 735 242 178 169 183 0 0
Totale 5.984