GERETTI, Luca
 Distribuzione geografica
Continente #
EU - Europa 883
NA - Nord America 815
AS - Asia 459
AF - Africa 9
SA - Sud America 5
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 2.175
Nazione #
US - Stati Uniti d'America 810
CN - Cina 288
GB - Regno Unito 271
SG - Singapore 125
IT - Italia 119
RU - Federazione Russa 88
SE - Svezia 81
IE - Irlanda 72
FI - Finlandia 71
FR - Francia 70
DE - Germania 55
KR - Corea 28
UA - Ucraina 16
BE - Belgio 13
NL - Olanda 12
TG - Togo 7
CA - Canada 4
HK - Hong Kong 4
VN - Vietnam 4
SA - Arabia Saudita 3
AU - Australia 2
BR - Brasile 2
EC - Ecuador 2
ID - Indonesia 2
JP - Giappone 2
LU - Lussemburgo 2
MD - Moldavia 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
CH - Svizzera 1
CR - Costa Rica 1
DK - Danimarca 1
ES - Italia 1
EU - Europa 1
HR - Croazia 1
HU - Ungheria 1
KE - Kenya 1
KG - Kirghizistan 1
LT - Lituania 1
MY - Malesia 1
PE - Perù 1
PT - Portogallo 1
RO - Romania 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 2.175
Città #
Southend 210
Chandler 153
Singapore 109
Ann Arbor 104
Woodbridge 76
Dublin 72
Houston 65
Jacksonville 64
Beijing 49
Lancaster 42
Verona 42
Helsinki 36
Nanjing 30
Ashburn 26
Seoul 26
Wilmington 26
Lawrence 25
Princeton 25
Jinan 17
Shenyang 16
Brussels 13
New York 13
Ningbo 13
Falkenstein 12
Santa Clara 12
Changsha 10
Nanchang 10
Hebei 8
Jiaxing 8
Hangzhou 7
Lomé 7
San Francisco 7
Seattle 7
Taizhou 7
Grezzana 6
Haikou 6
Sindelfingen 6
Tianjin 6
Zhengzhou 6
Boardman 4
Dong Ket 4
Genoa 4
Los Angeles 4
Norwalk 4
Padova 4
Pellestrina 4
Rome 4
Fuzhou 3
Lanzhou 3
Moscow 3
Naples 3
Redwood City 3
Riyadh 3
Toronto 3
Auburn Hills 2
Civitavecchia 2
Frankfurt am Main 2
Guangzhou 2
Hilden 2
Hong Kong 2
Kent 2
Kyiv 2
London 2
Luxembourg 2
Mariglianella 2
Milan 2
Redmond 2
Romola 2
Rotterdam 2
Shenzhen 2
Stockholm 2
Tokyo 2
Udine 2
Vicenza 2
Wuhan 2
Xi'an 2
Amsterdam 1
Anguillara Sabazia 1
Atlanta 1
Bishkek 1
Bologna 1
Bratislava 1
Bucharest 1
Budapest 1
Canberra 1
Castelfranco Veneto 1
Central 1
Changzhou 1
Chicago 1
Chions 1
Chisinau 1
Dalian 1
Dallas 1
Des Moines 1
Dongguan 1
Edinburgh 1
Esslingen 1
Esslingen am Neckar 1
Fairfield 1
Guayaquil 1
Totale 1.498
Nome #
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 113
Open Problems in Verification and Refinement of Autonomous Robotic Systems 106
An Introduction to the Verification of Hybrid Systems using Ariadne 103
Formal Verification Applied to Robotic Surgery 99
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 98
Computing the evolution of hybrid systems using rigorous function calculus 97
Parametric formal verification: the robotic paint spraying case study 93
Correct-by-construction code generation from hybrid automata specification 88
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 87
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 81
Formal verification of robotic surgery tasks by reachability analysis 79
Robotic surgery 76
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 74
Formal verification of medical CPS: a laser incision case study 69
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 65
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 64
A service-oriented gateway for remote monitoring of building sensor networks 64
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 63
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 61
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 60
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 60
A computable and compositional semantics for hybrid automata 58
Rigorous continuous evolution of uncertain systems 51
Higher Order Method for Differential Inclusions 50
Process-driven Collision Prediction in Human-Robot Work Environments 48
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 48
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics 42
A higher order method for input-affine uncertain systems 41
Special issue: Formal verification of cyber-physical systems 34
Automating Numerical Parameters Along the Evolution of a Nonlinear System 27
Enhancing Safety and Privacy in Industry 4.0: The ICE Laboratory Case Study 23
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 23
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 23
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 22
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 20
A computable and compositional semantics for hybrid systems 14
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems 10
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties 8
ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 6
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 5
Totale 2.253
Categoria #
all - tutte 8.823
article - articoli 2.555
book - libri 0
conference - conferenze 5.039
curatela - curatele 0
other - altro 206
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.023
Totale 17.646


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020113 0 0 0 0 0 8 24 7 37 15 8 14
2020/2021240 25 33 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/2025383 41 56 40 148 44 54 0 0 0 0 0 0
Totale 2.253