VILLA, Tiziano
 Distribuzione geografica
Continente #
NA - Nord America 215
AS - Asia 129
EU - Europa 45
SA - Sud America 27
AF - Africa 1
OC - Oceania 1
Totale 418
Nazione #
US - Stati Uniti d'America 214
SG - Singapore 74
BR - Brasile 17
CN - Cina 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
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 418
Città #
Fairfield 35
Ashburn 32
Singapore 30
San Jose 18
Cambridge 15
Wilmington 15
Woodbridge 12
Hong Kong 11
Beijing 10
Jacksonville 10
Seattle 10
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
Hefei 2
San Diego 2
Abre Campo 1
Amman 1
Baghdad 1
Bandung 1
Barra de São Miguel 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
Dallas 1
Doctor Juan Eulogio Estigarribia 1
Guayaquil 1
Haiphong 1
Hanoi 1
Hortolândia 1
Indaiatuba 1
Itu 1
Jeddah 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
Verona 1
Vientiane 1
Villa Ángela 1
Totale 311
Nome #
Efficient Minimization of Fully Testable 2-SPP Networks 139
Compositionally progressive solutions of synchronous FSM equations 120
Reachability computation for hybrid systems with Ariadne 64
Proceedings of GANDALF 2013, Fourth International Symposium on Games, Automata, Logics and Formal Verification 57
Improving reachability analysis of hybrid automata for engine control 50
Totale 430
Categoria #
all - tutte 1.856
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.856


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20215 0 0 0 0 0 0 0 0 0 1 3 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/2026146 22 15 21 17 23 8 21 4 8 7 0 0
Totale 430