GERETTI, Luca
 Distribuzione geografica
Continente #
NA - Nord America 776
EU - Europa 729
AS - Asia 310
SA - Sud America 4
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
OC - Oceania 2
Totale 1.825
Nazione #
US - Stati Uniti d'America 771
GB - Regno Unito 270
CN - Cina 241
IT - Italia 86
SE - Svezia 81
FR - Francia 70
IE - Irlanda 69
FI - Finlandia 44
DE - Germania 39
KR - Corea 28
SG - Singapore 28
RU - Federazione Russa 22
UA - Ucraina 14
BE - Belgio 13
NL - Olanda 9
CA - Canada 4
VN - Vietnam 4
SA - Arabia Saudita 3
AU - Australia 2
BR - Brasile 2
HK - Hong Kong 2
LU - Lussemburgo 2
MD - Moldavia 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
CH - Svizzera 1
CR - Costa Rica 1
EC - Ecuador 1
ES - Italia 1
EU - Europa 1
HR - Croazia 1
HU - Ungheria 1
JP - Giappone 1
KE - Kenya 1
KG - Kirghizistan 1
LT - Lituania 1
MY - Malesia 1
PE - Perù 1
RO - Romania 1
TR - Turchia 1
ZA - Sudafrica 1
Totale 1.825
Città #
Southend 210
Chandler 153
Ann Arbor 103
Woodbridge 76
Dublin 69
Houston 65
Jacksonville 64
Beijing 49
Lancaster 42
Verona 33
Nanjing 30
Seoul 26
Wilmington 26
Lawrence 25
Princeton 25
Ashburn 24
Singapore 20
Jinan 17
Shenyang 16
Brussels 13
New York 13
Ningbo 13
Changsha 10
Nanchang 10
Helsinki 9
Hebei 8
Jiaxing 8
San Francisco 7
Seattle 7
Taizhou 7
Grezzana 6
Haikou 6
Hangzhou 6
Sindelfingen 6
Tianjin 6
Zhengzhou 6
Boardman 4
Dong Ket 4
Los Angeles 4
Norwalk 4
Pellestrina 4
Fuzhou 3
Lanzhou 3
Redwood City 3
Riyadh 3
Toronto 3
Auburn Hills 2
Civitavecchia 2
Hilden 2
Kent 2
Kyiv 2
Luxembourg 2
Mariglianella 2
Milan 2
Padova 2
Redmond 2
Rome 2
Rotterdam 2
Stockholm 2
Udine 2
Xi'an 2
Anguillara Sabazia 1
Atlanta 1
Bishkek 1
Bologna 1
Bratislava 1
Bucharest 1
Budapest 1
Canberra 1
Central 1
Changzhou 1
Chicago 1
Chions 1
Chisinau 1
Dongguan 1
Edinburgh 1
Esslingen 1
Esslingen am Neckar 1
Fairfield 1
Falkenstein 1
Guayaquil 1
Hanover 1
Johannesburg 1
Kosice 1
Lappeenranta 1
Lima 1
London 1
Manassas 1
Markham 1
Moscow 1
Nairobi 1
Nettuno 1
Neubiberg 1
Newark 1
Nuremberg 1
Paris 1
Pavia 1
San Jose 1
San José 1
Solagna 1
Totale 1.318
Nome #
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis 103
An Introduction to the Verification of Hybrid Systems using Ariadne 97
Open Problems in Verification and Refinement of Autonomous Robotic Systems 96
Formal Verification Applied to Robotic Surgery 92
Computing the evolution of hybrid systems using rigorous function calculus 88
A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems 87
Parametric formal verification: the robotic paint spraying case study 87
Ongoing work on automated verification of noisy nonlinear systems with Ariadne 83
Correct-by-construction code generation from hybrid automata specification 78
Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne 73
Formal verification of robotic surgery tasks by reachability analysis 72
Robotic surgery 69
Assume-guarantee verification of nonlinear hybrid systems with Ariadne 66
Formal verification of medical CPS: a laser incision case study 61
The Synthesis of a Stochastic Artificial Neural Network Application Using a Genetic Algorithm Approach 59
Mixed Convex/Non-Convex Distributed Localization Algorithm for the Deployment of Indoor Positioning Services 58
Distributed Multilevel Hierarchic Strategy for Broadcast Collaborative Mobile Networks 57
A service-oriented gateway for remote monitoring of building sensor networks 57
The correspondence between deterministic and stochastic digital neurons: analysis and methodology 55
Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools 54
A Mixed Convex/Nonconvex Distributed Localization Approach for the Deployment of Indoor Positioning Services 54
A computable and compositional semantics for hybrid automata 48
Rigorous continuous evolution of uncertain systems 45
Higher Order Method for Differential Inclusions 43
Process-driven Collision Prediction in Human-Robot Work Environments 37
A higher order method for input-affine uncertain systems 33
Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation 30
Arch-comp19 category report: Continuous and hybrid systems with nonlinear dynamics 30
Automating Numerical Parameters Along the Evolution of a Nonlinear System 19
Special issue: Formal verification of cyber-physical systems 15
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 14
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 12
HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package 12
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics 10
Totale 1.894
Categoria #
all - tutte 6.766
article - articoli 1.886
book - libri 0
conference - conferenze 3.896
curatela - curatele 0
other - altro 166
patent - brevetti 0
selected - selezionate 0
volume - volumi 818
Totale 13.532


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020180 22 1 8 11 25 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/202524 24 0 0 0 0 0 0 0 0 0 0 0
Totale 1.894