CATALOGO DEI PRODOTTI DELLA RICERCA

GERETTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.613
NA - Nord America 2.272
AS - Asia 1.429
SA - Sud America 191
Continente sconosciuto - Info sul continente non disponibili 94
AF - Africa 58
OC - Oceania 4
Totale 6.661
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.182
RU - Federazione Russa 868
SG - Singapore 594
NL - Olanda 572
CN - Cina 386
IT - Italia 348
GB - Regno Unito 313
BR - Brasile 149
HK - Hong Kong 135
VN - Vietnam 126
FR - Francia 99
SE - Svezia 85
FI - Finlandia 79
IE - Irlanda 76
DE - Germania 73
KR - Corea 68
CA - Canada 40
BD - Bangladesh 25
UA - Ucraina 20
ZA - Sudafrica 19
BE - Belgio 16
JP - Giappone 15
AR - Argentina 14
MX - Messico 14
AT - Austria 12
EC - Ecuador 12
PL - Polonia 12
IN - India 11
IQ - Iraq 10
ES - Italia 9
NG - Nigeria 9
TR - Turchia 9
BJ - Benin 7
GT - Guatemala 7
TG - Togo 7
MY - Malesia 6
SA - Arabia Saudita 6
SC - Seychelles 6
AE - Emirati Arabi Uniti 5
ID - Indonesia 5
LT - Lituania 5
NI - Nicaragua 5
PH - Filippine 5
VE - Venezuela 5
AU - Australia 4
CO - Colombia 4
CR - Costa Rica 4
IL - Israele 4
PK - Pakistan 4
PR - Porto Rico 4
UZ - Uzbekistan 4
AL - Albania 3
CL - Cile 3
CW - ???statistics.table.value.countryCode.CW??? 3
EE - Estonia 3
EG - Egitto 3
HN - Honduras 3
HU - Ungheria 3
KG - Kirghizistan 3
KZ - Kazakistan 3
PE - Perù 3
SV - El Salvador 3
TT - Trinidad e Tobago 3
BS - Bahamas 2
HR - Croazia 2
JM - Giamaica 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
BB - Barbados 1
BG - Bulgaria 1
BZ - Belize 1
CD - Congo 1
CH - Svizzera 1
CY - Cipro 1
DK - Danimarca 1
EU - Europa 1
GD - Grenada 1
GE - Georgia 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
Totale 6.572
Salva come PNG Salva come JPEG
Città #
Eygelshoven 554
Singapore 331
Moscow 312
Ashburn 291
San Jose 258
Southend 210
Dallas 182
Chandler 153
Hong Kong 133
Verona 127
Ann Arbor 104
Woodbridge 79
Dublin 76
Council Bluffs 74
Houston 74
Beijing 69
Jacksonville 66
The Dalles 62
New York 57
Los Angeles 51
Lancaster 42
Ho Chi Minh City 41
Staranzano 41
Helsinki 39
Hanoi 33
Milan 33
Nanjing 31
Santa Clara 27
Princeton 26
Seoul 26
Wilmington 26
Lawrence 25
São Paulo 20
Buffalo 18
Jinan 17
Rome 16
Shenyang 16
Brussels 15
Johannesburg 15
Redondo Beach 15
Columbus 14
Denver 14
London 14
Montreal 13
Ningbo 13
Phoenix 13
Tokyo 13
Falkenstein 12
San Francisco 11
Changsha 10
Chicago 10
Nanchang 10
Toronto 10
Warsaw 10
Jiaxing 9
Seattle 9
Atlanta 8
Frankfurt am Main 8
Hangzhou 8
Hebei 8
Tianjin 8
Cotonou 7
Guatemala City 7
Lomé 7
Manchester 7
Naples 7
Rio de Janeiro 7
Taizhou 7
Vienna 7
Amsterdam 6
Baghdad 6
Brooklyn 6
Genoa 6
Grezzana 6
Guangzhou 6
Haikou 6
Munich 6
Sindelfingen 6
Zhengzhou 6
Belo Horizonte 5
Boardman 5
Boston 5
Chennai 5
Cleveland 5
Des Moines 5
Fuzhou 5
Guayaquil 5
Lagos 5
Lappeenranta 5
Las Vegas 5
McKinney 5
Mexico City 5
Orem 5
Quito 5
Roubaix 5
Stockholm 5
Tampa 5
The Bronx 5
Vancouver 5
Abuja 4
Totale 4.230
Salva come PNG Salva come JPEG
Nome #
Special issue: Formal verification of cyber-physical systems 417
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 384
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 227
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 221
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 219
An Introduction to the Verification of Hybrid Systems using Ariadne 194
A service-oriented gateway for remote monitoring of building sensor networks 185
Computing the evolution of hybrid systems using rigorous function calculus 183
Open Problems in Verification and Refinement of Autonomous Robotic Systems 183
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 176
Correct-by-construction code generation from hybrid automata specification 175
Formal Verification Applied to Robotic Surgery 167
A computable and compositional semantics for hybrid systems 164
A higher order method for input-affine uncertain systems 164
Formal verification of medical CPS: a laser incision case study 164
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 163
A computable and compositional semantics for hybrid automata 155
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 151
Parametric formal verification: the robotic paint spraying case study 145
Robotic surgery 141
Formal verification of robotic surgery tasks by reachability analysis 141
Process-driven Collision Prediction in Human-Robot Work Environments 140
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 138
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 135
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 134
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 133
Rigorous continuous evolution of uncertain systems 126
Automating Numerical Parameters Along the Evolution of a Nonlinear System 125
Recent Results on Computable and Compositional Semantics for Hybrid Systems 125
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics 124
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 123
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 122
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 120
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 117
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 113
Higher Order Method for Differential Inclusions 112
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 108
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties 105
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 99
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 99
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 96
Rigorous Function Calculi in Ariadne 63
Collision prediction using plan learning in mixed human–robot work cells 53
ARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 32
Totale 6.661
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.417
article - articoli 6.587
book - libri 0
conference - conferenze 12.038
curatela - curatele 0
other - altro 410
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.382
Totale 42.834
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022123 0 0 0 0 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/2027555 32 67 139 264 53 0 0 0 0 0 0 0
Totale 6.661