CATALOGO DEI PRODOTTI DELLA RICERCA

GERETTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.759
NA - Nord America 1.325
AS - Asia 1.042
SA - Sud America 154
AF - Africa 36
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.322
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.296
RU - Federazione Russa 798
SG - Singapore 400
CN - Cina 355
GB - Regno Unito 300
IT - Italia 175
BR - Brasile 132
HK - Hong Kong 127
FR - Francia 91
SE - Svezia 85
FI - Finlandia 75
IE - Irlanda 74
DE - Germania 66
VN - Vietnam 64
KR - Corea 50
UA - Ucraina 18
NL - Olanda 16
ZA - Sudafrica 15
BE - Belgio 13
MX - Messico 13
AR - Argentina 11
CA - Canada 11
AT - Austria 10
PL - Polonia 8
BD - Bangladesh 7
BJ - Benin 7
ES - Italia 7
TG - Togo 7
TR - Turchia 7
EC - Ecuador 5
JP - Giappone 5
LT - Lituania 5
AU - Australia 4
IN - India 4
SA - Arabia Saudita 4
AE - Emirati Arabi Uniti 3
CO - Colombia 3
HU - Ungheria 3
ID - Indonesia 3
EG - Egitto 2
KG - Kirghizistan 2
KZ - Kazakistan 2
LU - Lussemburgo 2
MD - Moldavia 2
PK - Pakistan 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
CR - Costa Rica 1
CY - Cipro 1
DK - Danimarca 1
EU - Europa 1
GD - Grenada 1
HN - Honduras 1
HR - Croazia 1
IL - Israele 1
IQ - Iraq 1
JM - Giamaica 1
JO - Giordania 1
KE - Kenya 1
LV - Lettonia 1
MA - Marocco 1
MY - Malesia 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
VE - Venezuela 1
Totale 4.322
Salva come PNG Salva come JPEG
Città #
Moscow 289
Southend 210
Singapore 174
Chandler 153
Dallas 151
Hong Kong 125
Ann Arbor 104
Ashburn 93
Woodbridge 76
Dublin 74
Houston 72
Beijing 68
Jacksonville 65
Verona 58
Lancaster 42
Los Angeles 39
Helsinki 37
The Dalles 36
New York 34
Nanjing 30
Seoul 26
Wilmington 26
Lawrence 25
Princeton 25
Ho Chi Minh City 19
Jinan 17
Santa Clara 16
Shenyang 16
São Paulo 16
Buffalo 15
Redondo Beach 15
Brussels 13
Columbus 13
Ningbo 13
Falkenstein 12
Hanoi 12
Johannesburg 12
London 12
Changsha 10
Nanchang 10
San Francisco 10
Jiaxing 9
Milan 9
Seattle 9
Denver 8
Hangzhou 8
Hebei 8
Cotonou 7
Lomé 7
Rio de Janeiro 7
Rome 7
Taizhou 7
Tianjin 7
Chicago 6
Grezzana 6
Haikou 6
Munich 6
Sindelfingen 6
Toronto 6
Vienna 6
Warsaw 6
Zhengzhou 6
Atlanta 5
Belo Horizonte 5
Boardman 5
Boston 5
Brooklyn 5
Frankfurt am Main 5
Fuzhou 5
Manchester 5
Naples 5
Phoenix 5
Roubaix 5
Stockholm 5
Tokyo 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
Padova 4
Pellestrina 4
Bexley 3
Biên Hòa 3
Guangzhou 3
Guayaquil 3
Lappeenranta 3
Nuremberg 3
Querétaro 3
Redwood City 3
Riyadh 3
Vicenza 3
Ankara 2
Auburn Hills 2
Totale 2.561
Salva come PNG Salva come JPEG
Nome #
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 170
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 169
An Introduction to the Verification of Hybrid Systems using Ariadne 166
Open Problems in Verification and Refinement of Autonomous Robotic Systems 155
Correct-by-construction code generation from hybrid automata specification 149
Computing the evolution of hybrid systems using rigorous function calculus 149
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 138
Formal Verification Applied to Robotic Surgery 131
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 131
A service-oriented gateway for remote monitoring of building sensor networks 126
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 125
Formal verification of medical CPS: a laser incision case study 122
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 119
Parametric formal verification: the robotic paint spraying case study 118
A computable and compositional semantics for hybrid systems 115
A computable and compositional semantics for hybrid automata 113
Process-driven Collision Prediction in Human-Robot Work Environments 112
A higher order method for input-affine uncertain systems 111
Formal verification of robotic surgery tasks by reachability analysis 110
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 103
Robotic surgery 101
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 100
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 99
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 98
Special issue: Formal verification of cyber-physical systems 97
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 97
Rigorous continuous evolution of uncertain systems 97
Automating Numerical Parameters Along the Evolution of a Nonlinear System 88
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 87
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics 86
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 84
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 83
Recent Results on Computable and Compositional Semantics for Hybrid Systems 79
Higher Order Method for Differential Inclusions 75
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties 74
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 73
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 70
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 68
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 64
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 63
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 63
Rigorous Function Calculi in Ariadne 30
Totale 4.408
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.139
article - articoli 4.606
book - libri 0
conference - conferenze 8.594
curatela - curatele 0
other - altro 309
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.630
Totale 30.278
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021124 0 0 0 0 30 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/20261.642 177 137 176 465 687 0 0 0 0 0 0 0
Totale 4.408