CATALOGO DEI PRODOTTI DELLA RICERCA

GERETTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.506
NA - Nord America 1.858
AS - Asia 1.406
SA - Sud America 189
AF - Africa 52
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 6.017
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.814
RU - Federazione Russa 862
SG - Singapore 584
NL - Olanda 572
CN - Cina 383
GB - Regno Unito 309
IT - Italia 262
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 24
BD - Bangladesh 22
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
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
NO - Norvegia 1
OM - Oman 1
PT - Portogallo 1
PY - Paraguay 1
RE - Reunion 1
SN - Senegal 1
TT - Trinidad e Tobago 1
Totale 6.017
Salva come PNG Salva come JPEG
Città #
Eygelshoven 554
Singapore 330
Moscow 312
Ashburn 226
San Jose 224
Southend 210
Dallas 155
Chandler 153
Hong Kong 133
Verona 126
Ann Arbor 104
Woodbridge 77
Dublin 76
Houston 73
Beijing 68
Jacksonville 65
The Dalles 62
New York 52
Los Angeles 46
Lancaster 42
Ho Chi Minh City 41
Helsinki 39
Hanoi 33
Council Bluffs 31
Nanjing 31
Seoul 26
Wilmington 26
Lawrence 25
Princeton 25
Santa Clara 20
São Paulo 20
Buffalo 18
Jinan 17
Shenyang 16
Johannesburg 15
Redondo Beach 15
Brussels 14
Columbus 13
London 13
Ningbo 13
Falkenstein 12
Rome 12
Milan 11
San Francisco 11
Changsha 10
Denver 10
Montreal 10
Nanchang 10
Tokyo 10
Warsaw 10
Jiaxing 9
Seattle 9
Toronto 9
Frankfurt am Main 8
Hangzhou 8
Hebei 8
Phoenix 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
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.936
Salva come PNG Salva come JPEG
Nome #
Special issue: Formal verification of cyber-physical systems 403
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 370
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 208
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 208
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 197
An Introduction to the Verification of Hybrid Systems using Ariadne 186
Open Problems in Verification and Refinement of Autonomous Robotic Systems 174
A service-oriented gateway for remote monitoring of building sensor networks 174
Correct-by-construction code generation from hybrid automata specification 169
Computing the evolution of hybrid systems using rigorous function calculus 169
Formal Verification Applied to Robotic Surgery 158
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 157
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 151
A computable and compositional semantics for hybrid systems 150
Formal verification of medical CPS: a laser incision case study 150
A higher order method for input-affine uncertain systems 149
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 142
A computable and compositional semantics for hybrid automata 142
Parametric formal verification: the robotic paint spraying case study 137
Process-driven Collision Prediction in Human-Robot Work Environments 131
Formal verification of robotic surgery tasks by reachability analysis 130
Robotic surgery 127
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 123
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 122
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 118
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 117
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics 115
Rigorous continuous evolution of uncertain systems 115
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 113
Recent Results on Computable and Compositional Semantics for Hybrid Systems 113
Automating Numerical Parameters Along the Evolution of a Nonlinear System 112
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 109
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 109
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 107
Higher Order Method for Differential Inclusions 100
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 98
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 98
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties 95
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 91
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 87
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 83
Rigorous Function Calculi in Ariadne 49
Collision prediction using plan learning in mixed human–robot work cells 31
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 19
Totale 6.106
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.828
article - articoli 5.702
book - libri 0
conference - conferenze 10.605
curatela - curatele 0
other - altro 363
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.158
Totale 37.656
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202115 0 0 0 0 0 0 0 0 0 0 0 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.340 177 137 176 465 756 735 242 178 169 194 64 47
Totale 6.106