CATALOGO DEI PRODOTTI DELLA RICERCA

GERETTI, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.105
EU - Europa 1.013
AS - Asia 859
SA - Sud America 111
AF - Africa 16
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.109
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.090
SG - Singapore 331
CN - Cina 307
GB - Regno Unito 281
IT - Italia 167
HK - Hong Kong 127
BR - Brasile 103
RU - Federazione Russa 92
FR - Francia 90
SE - Svezia 84
FI - Finlandia 74
IE - Irlanda 74
DE - Germania 66
KR - Corea 48
UA - Ucraina 17
VN - Vietnam 17
NL - Olanda 15
BE - Belgio 13
AT - Austria 9
CA - Canada 7
TG - Togo 7
ES - Italia 6
PL - Polonia 6
MX - Messico 5
TR - Turchia 5
ZA - Sudafrica 5
JP - Giappone 4
SA - Arabia Saudita 4
AU - Australia 3
LT - Lituania 3
AR - Argentina 2
CO - Colombia 2
EC - Ecuador 2
HU - Ungheria 2
ID - Indonesia 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
AE - Emirati Arabi Uniti 1
AL - Albania 1
BD - Bangladesh 1
CD - Congo 1
CH - Svizzera 1
CR - Costa Rica 1
CY - Cipro 1
DK - Danimarca 1
EG - Egitto 1
EU - Europa 1
HR - Croazia 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
RO - Romania 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
Totale 3.109
Salva come PNG Salva come JPEG
Città #
Southend 210
Singapore 169
Chandler 153
Dallas 132
Hong Kong 125
Ann Arbor 104
Woodbridge 76
Dublin 74
Houston 66
Jacksonville 65
Verona 57
Beijing 51
Ashburn 42
Lancaster 42
Helsinki 36
The Dalles 36
Nanjing 30
Seoul 26
Wilmington 26
Lawrence 25
Princeton 25
Los Angeles 19
New York 18
Jinan 17
Shenyang 16
Santa Clara 14
Brussels 13
Columbus 13
Ningbo 13
Falkenstein 12
São Paulo 12
Changsha 10
Nanchang 10
San Francisco 10
Jiaxing 9
Milan 9
Hangzhou 8
Hebei 8
Seattle 8
Lomé 7
Rome 7
Taizhou 7
Grezzana 6
Haikou 6
Munich 6
Sindelfingen 6
Tianjin 6
Vienna 6
Zhengzhou 6
Boardman 5
Brooklyn 5
Frankfurt am Main 5
Naples 5
Roubaix 5
Toronto 5
Atlanta 4
Belo Horizonte 4
Boston 4
Dong Ket 4
Genoa 4
London 4
Moscow 4
Norwalk 4
Padova 4
Pellestrina 4
Rio de Janeiro 4
Stockholm 4
Tokyo 4
Warsaw 4
Amsterdam 3
Bexley 3
Buffalo 3
Chicago 3
Fuzhou 3
Guangzhou 3
Hanoi 3
Johannesburg 3
Lanzhou 3
Lappeenranta 3
Manchester 3
Nuremberg 3
Redwood City 3
Riyadh 3
Vicenza 3
Auburn Hills 2
Bishkek 2
Brescia 2
Budapest 2
Can Tho 2
Cape Town 2
Caxias do Sul 2
Caçapava 2
Civitavecchia 2
Curitiba 2
Dalian 2
Fairfield 2
Goiânia 2
Guarulhos 2
Hilden 2
Ho Chi Minh City 2
Totale 2.015
Salva come PNG Salva come JPEG
Nome #
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 138
Open Problems in Verification and Refinement of Autonomous Robotic Systems 131
An Introduction to the Verification of Hybrid Systems using Ariadne 129
Computing the evolution of hybrid systems using rigorous function calculus 124
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 124
Correct-by-construction code generation from hybrid automata specification 123
Formal Verification Applied to Robotic Surgery 116
Parametric formal verification: the robotic paint spraying case study 103
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 99
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 98
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 97
Formal verification of robotic surgery tasks by reachability analysis 96
Robotic surgery 89
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 88
A service-oriented gateway for remote monitoring of building sensor networks 88
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 87
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 86
Formal verification of medical CPS: a laser incision case study 86
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 84
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 79
Process-driven Collision Prediction in Human-Robot Work Environments 77
A computable and compositional semantics for hybrid automata 77
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 74
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 73
Rigorous continuous evolution of uncertain systems 71
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 70
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics 64
Higher Order Method for Differential Inclusions 62
A higher order method for input-affine uncertain systems 61
Special issue: Formal verification of cyber-physical systems 59
A computable and compositional semantics for hybrid systems 58
Automating Numerical Parameters Along the Evolution of a Nonlinear System 57
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 46
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 44
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 40
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 38
Recent Results on Computable and Compositional Semantics for Hybrid Systems 35
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties 33
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 32
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 30
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 28
Totale 3.194
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.819
article - articoli 3.817
book - libri 0
conference - conferenze 7.309
curatela - curatele 0
other - altro 275
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.418
Totale 25.638
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021182 0 0 31 27 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/2026428 177 137 114 0 0 0 0 0 0 0 0 0
Totale 3.194