VILLA, Tiziano
 Distribuzione geografica
Continente #
NA - Nord America 234
AS - Asia 132
EU - Europa 45
SA - Sud America 27
AF - Africa 1
OC - Oceania 1
Totale 440
Nazione #
US - Stati Uniti d'America 232
SG - Singapore 75
CN - Cina 19
BR - Brasile 17
VN - Vietnam 13
UA - Ucraina 12
HK - Hong Kong 11
RU - Federazione Russa 6
AR - Argentina 5
FR - Francia 5
DE - Germania 4
FI - Finlandia 4
KR - Corea 4
BE - Belgio 3
IE - Irlanda 3
EC - Ecuador 2
ES - Italia 2
ID - Indonesia 2
IT - Italia 2
SE - Svezia 2
VE - Venezuela 2
AU - Australia 1
BD - Bangladesh 1
BG - Bulgaria 1
CZ - Repubblica Ceca 1
IN - India 1
IQ - Iraq 1
JM - Giamaica 1
JO - Giordania 1
JP - Giappone 1
LA - Repubblica Popolare Democratica del Laos 1
MX - Messico 1
PH - Filippine 1
PY - Paraguay 1
SA - Arabia Saudita 1
TN - Tunisia 1
Totale 440
Città #
Fairfield 35
Ashburn 32
Singapore 30
San Jose 23
Cambridge 15
Wilmington 15
Woodbridge 12
Hong Kong 11
Beijing 10
Jacksonville 10
Seattle 10
Council Bluffs 8
Houston 8
Ann Arbor 6
Dearborn 6
Boardman 5
Ho Chi Minh City 5
Lauterbourg 4
Seoul 4
Brussels 3
Dublin 3
Los Angeles 3
Princeton 3
Redondo Beach 3
Caracas 2
Dallas 2
Hefei 2
San Diego 2
Abre Campo 1
Amman 1
Baghdad 1
Baltimore 1
Bandung 1
Barra de São Miguel 1
Belcourt 1
Biên Hòa 1
Buenos Aires 1
Buffalo 1
Bắc Ninh 1
Coronel Fabriciano 1
Cubatão 1
Curitiba 1
Da Nang 1
Doctor Juan Eulogio Estigarribia 1
Guayaquil 1
Haiphong 1
Hangzhou 1
Hanoi 1
Hortolândia 1
Indaiatuba 1
Itu 1
Jeddah 1
Kingston 1
Luján 1
Lấp Vò 1
Morelia 1
Nanjing 1
Natal 1
New Delhi 1
Norwalk 1
Ogden 1
Paris 1
Petrolina 1
Pittsburgh 1
Praia Grande 1
Quito 1
Ribeirão Preto 1
Rosario 1
Sahline 1
San Antonio de Padua 1
Sofia 1
Sorriso 1
Stockholm 1
Sydney 1
São Bernardo do Campo 1
São Gonçalo 1
São Paulo 1
Tarlac City 1
Taubaté 1
The Dalles 1
Thái Bình 1
Tokyo 1
Vero Beach 1
Verona 1
Vientiane 1
Villa Ángela 1
West Springfield 1
Totale 331
Nome #
Efficient Minimization of Fully Testable 2-SPP Networks 141
Compositionally progressive solutions of synchronous FSM equations 120
Reachability computation for hybrid systems with Ariadne 69
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 62
Improving reachability analysis of hybrid automata for engine control 60
Totale 452
Categoria #
all - tutte 1.941
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 1.941


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211 0 0 0 0 0 0 0 0 0 0 0 1
2021/202239 1 14 0 1 0 2 1 0 1 5 11 3
2022/20238 4 0 0 1 0 3 0 0 0 0 0 0
2023/202414 0 0 0 3 4 0 0 0 2 0 0 5
2024/202591 4 8 1 3 7 4 2 8 18 2 18 16
2025/2026168 22 15 21 17 23 8 21 4 8 9 13 7
Totale 452