CATALOGO DEI PRODOTTI DELLA RICERCA

GERETTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.511
NA - Nord America 1.939
AS - Asia 1.419
SA - Sud America 189
Continente sconosciuto - Info sul continente non disponibili 91
AF - Africa 53
OC - Oceania 4
Totale 6.206
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.893
RU - Federazione Russa 862
SG - Singapore 592
NL - Olanda 572
CN - Cina 386
GB - Regno Unito 309
IT - Italia 266
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
BD - Bangladesh 24
CA - Canada 24
ZA - Sudafrica 19
UA - Ucraina 18
BE - Belgio 16
AR - Argentina 14
MX - Messico 14
AT - Austria 12
EC - Ecuador 12
JP - Giappone 12
PL - Polonia 12
IN - India 11
IQ - Iraq 10
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
CR - Costa Rica 2
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
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
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PT - Portogallo 1
PY - Paraguay 1
RE - Reunion 1
SC - Seychelles 1
SN - Senegal 1
TT - Trinidad e Tobago 1
Totale 6.117
Salva come PNG Salva come JPEG
Città #
Eygelshoven 554
Singapore 331
Moscow 312
Ashburn 232
San Jose 225
Southend 210
Dallas 156
Chandler 153
Hong Kong 133
Verona 127
Ann Arbor 104
Woodbridge 78
Dublin 76
Council Bluffs 74
Houston 73
Beijing 69
Jacksonville 66
The Dalles 62
New York 53
Los Angeles 46
Lancaster 42
Ho Chi Minh City 41
Helsinki 39
Hanoi 33
Nanjing 31
Seoul 26
Wilmington 26
Lawrence 25
Princeton 25
Santa Clara 23
São Paulo 20
Buffalo 18
Jinan 17
Shenyang 16
Brussels 15
Johannesburg 15
Redondo Beach 15
Columbus 13
London 13
Ningbo 13
Falkenstein 12
Rome 12
Milan 11
San Francisco 11
Changsha 10
Denver 10
Montreal 10
Nanchang 10
Phoenix 10
Tokyo 10
Warsaw 10
Jiaxing 9
Seattle 9
Toronto 9
Frankfurt am Main 8
Hangzhou 8
Hebei 8
Tianjin 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
Naples 6
Sindelfingen 6
Zhengzhou 6
Belo Horizonte 5
Boardman 5
Boston 5
Brooklyn 5
Chennai 5
Des Moines 5
Fuzhou 5
Guayaquil 5
Lagos 5
Lappeenranta 5
Mexico City 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
Nha Trang 4
Totale 4.000
Salva come PNG Salva come JPEG
Nome #
Special issue: Formal verification of cyber-physical systems 404
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 372
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 210
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 209
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 203
An Introduction to the Verification of Hybrid Systems using Ariadne 189
A service-oriented gateway for remote monitoring of building sensor networks 178
Open Problems in Verification and Refinement of Autonomous Robotic Systems 175
Computing the evolution of hybrid systems using rigorous function calculus 172
Correct-by-construction code generation from hybrid automata specification 170
Formal Verification Applied to Robotic Surgery 160
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 158
A higher order method for input-affine uncertain systems 152
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 152
Formal verification of medical CPS: a laser incision case study 152
A computable and compositional semantics for hybrid systems 151
A computable and compositional semantics for hybrid automata 145
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 143
Parametric formal verification: the robotic paint spraying case study 140
Process-driven Collision Prediction in Human-Robot Work Environments 132
Formal verification of robotic surgery tasks by reachability analysis 132
Robotic surgery 129
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 125
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 124
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 123
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 120
Rigorous continuous evolution of uncertain systems 117
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics 116
Automating Numerical Parameters Along the Evolution of a Nonlinear System 115
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 115
Recent Results on Computable and Compositional Semantics for Hybrid Systems 115
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 112
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 110
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 110
Higher Order Method for Differential Inclusions 104
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 102
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 100
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties 95
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 93
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 88
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 85
Rigorous Function Calculi in Ariadne 52
Collision prediction using plan learning in mixed human–robot work cells 36
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 21
Totale 6.206
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.851
article - articoli 6.050
book - libri 0
conference - conferenze 11.173
curatela - curatele 0
other - altro 383
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.245
Totale 39.702
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022172 0 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.340 177 137 176 465 756 735 242 178 169 194 64 47
2026/202799 32 67 0 0 0 0 0 0 0 0 0 0
Totale 6.206