GENTILE, UGO
 Distribuzione geografica
Continente #
NA - Nord America 242
EU - Europa 213
AS - Asia 87
AF - Africa 15
SA - Sud America 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 562
Nazione #
US - Stati Uniti d'America 236
IT - Italia 149
SG - Singapore 46
HK - Hong Kong 20
DE - Germania 19
CN - Cina 18
CI - Costa d'Avorio 9
FI - Finlandia 8
RU - Federazione Russa 8
CA - Canada 6
IE - Irlanda 6
ES - Italia 5
NG - Nigeria 5
NL - Olanda 5
UA - Ucraina 5
BR - Brasile 4
GB - Regno Unito 3
VN - Vietnam 3
SE - Svezia 2
AL - Albania 1
AT - Austria 1
EU - Europa 1
LT - Lituania 1
MA - Marocco 1
Totale 562
Città #
Chandler 47
Singapore 29
Santa Clara 19
Hong Kong 17
Naples 16
Napoli 15
Ashburn 13
Millbury 9
Des Moines 7
Princeton 6
Jacksonville 5
Nanjing 5
Woodbridge 5
Aversa 4
Beijing 4
Boston 4
Helsinki 4
Nanchang 4
Ottawa 4
The Dalles 4
Cava De' Tirreni 3
Dearborn 3
Ha Kwai Chung 3
Madrid 3
Wilmington 3
Busto Arsizio 2
Caivano 2
Campagna 2
Castellammare di Stabia 2
Fiumefreddo Bruzio 2
Fuzhou 2
Giugliano in Campania 2
Hellevoetsluis 2
Houston 2
Lawrence 2
Lucca 2
Marcianise 2
Milan 2
Monte Di Procida 2
Montesarchio 2
Nocera Inferiore 2
Port Harcourt 2
Redwood City 2
Rome 2
San Marcellino 2
Seattle 2
São Paulo 2
Tianjin 2
Torino 2
Valencia 2
Abuja 1
Afragola 1
Amsterdam 1
Bacoli 1
Baiano 1
Boardman 1
Calitri 1
Casalnuovo Di Napoli 1
Casavatore 1
Changsha 1
Düsseldorf 1
Fairfield 1
Falkenstein 1
Fes 1
Frattamaggiore 1
Guarulhos 1
Hanoi 1
Indiana 1
Kaiserslautern 1
Kent 1
Lachine 1
Lagos 1
Mountain View 1
Nocera Superiore 1
Nuremberg 1
Nürnberg 1
Osasco 1
Salerno 1
San Giorgio A Cremano 1
Santa Maria A Vico 1
Sessa Aurunca 1
Sorrento 1
Toronto 1
Vietri Sul Mare 1
Villaricca 1
Vimodrone 1
Wuppertal 1
Totale 323
Nome #
From Dynamic State Machines to Promela 109
Modeling railway control systems in promela 95
Dynamic State Machines for Formalizing Railway Control System Specifications 80
Automatic generation of optimization problems in water provisioning systems 63
A cost-energy trade-off model in smart energy grids 56
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 52
A Petri Net pattern-oriented approach for the design of physical protection systems 46
Improving code coverage in android apps testing by exploiting patterns and automatic test case generation 41
An interoperable testing environment for ERTMS/ETCS control systems 38
Totale 580
Categoria #
all - tutte 2.084
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.084


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202016 0 0 0 0 0 0 0 0 0 4 11 1
2020/202159 1 1 5 7 5 8 14 3 6 4 1 4
2021/202278 4 0 7 0 3 4 2 0 7 4 25 22
2022/2023112 9 14 1 10 12 10 9 13 21 3 7 3
2023/202472 7 3 11 1 6 6 0 20 3 2 10 3
2024/2025125 10 12 0 1 21 17 28 24 10 2 0 0
Totale 580