VUOTTO, SIMONE
 Distribuzione geografica
Continente #
EU - Europa 790
AS - Asia 125
NA - Nord America 68
AF - Africa 9
SA - Sud America 8
Totale 1.000
Nazione #
IT - Italia 768
US - Stati Uniti d'America 65
SG - Singapore 51
CN - Cina 33
VN - Vietnam 28
BR - Brasile 6
DE - Germania 6
FR - Francia 6
HK - Hong Kong 6
ZA - Sudafrica 6
CA - Canada 3
FI - Finlandia 3
ES - Italia 2
PK - Pakistan 2
AR - Argentina 1
BD - Bangladesh 1
BH - Bahrain 1
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
GB - Regno Unito 1
IQ - Iraq 1
KG - Kirghizistan 1
LT - Lituania 1
MA - Marocco 1
NP - Nepal 1
PT - Portogallo 1
RU - Federazione Russa 1
UA - Ucraina 1
Totale 1.000
Città #
Genova 376
Genoa 256
Rapallo 90
Vado Ligure 40
Singapore 34
San Jose 17
Ho Chi Minh City 15
Cape Town 6
Hong Kong 6
Beijing 5
Lauterbourg 5
Ashburn 4
Frankfurt am Main 4
Council Bluffs 3
Hanoi 3
The Dalles 3
Chicago 2
Helsinki 2
Los Angeles 2
Ninh Bình 2
Bishkek 1
Bordighera 1
Bridgeport 1
Cairo 1
Cherkasy 1
Clermont 1
Columbus 1
Córdoba 1
Dayton 1
Feliz 1
Franca 1
Franco da Rocha 1
Fredericksburg 1
Guangzhou 1
Guayaquil 1
Hungen 1
Hưng Yên 1
Iconha 1
Karachi 1
LaSalle 1
Lahore 1
Lappeenranta 1
Leipzig 1
London 1
Long Xuyen 1
Louisburg 1
Madrid 1
Maia 1
Manama 1
Memphis 1
Moscow 1
New York 1
Oklahoma City 1
Orillia 1
Oujda 1
Phoenix 1
Rome 1
Sacramento 1
Santa Clara 1
Senoia 1
Serra 1
São Luís 1
Taylor 1
Thu Dau Mot 1
Timberlea 1
Tlemcen 1
Toulouse 1
Tây Ninh 1
Verona 1
West Bloomfield 1
West Valley City 1
Totale 926
Nome #
Formal Requirements Analysis and Specification-Based Testing in Cyber-Physical Systems 203
Poster: Automatic Consistency Checking of Requirements with ReqV 191
Consistency of property specification patterns with boolean and constrained numerical signals 188
Combining static and runtime methods to achieve safe standing-up for humanoid robots 158
Automata based test generation with SpecPro 147
Property specification patterns at work: verification and inconsistency explanation 132
Totale 1.019
Categoria #
all - tutte 3.381
article - articoli 500
book - libri 0
conference - conferenze 2.139
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.020


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202113 0 0 0 0 0 0 0 0 0 0 0 13
2021/202279 2 5 4 5 2 5 5 16 9 4 6 16
2022/2023111 11 14 1 15 17 15 0 12 13 3 8 2
2023/202451 3 8 0 9 3 7 1 9 2 1 3 5
2024/2025154 1 8 2 5 17 8 14 43 8 7 24 17
2025/2026308 33 10 22 8 41 22 56 20 28 35 22 11
Totale 1.019