ALLARA, ALBERTO
 Distribuzione geografica
Continente #
NA - Nord America 242
EU - Europa 107
AS - Asia 61
SA - Sud America 29
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 441
Nazione #
US - Stati Uniti d'America 238
SG - Singapore 31
BR - Brasile 29
UA - Ucraina 24
DE - Germania 17
IT - Italia 16
FI - Finlandia 15
GB - Regno Unito 11
VN - Vietnam 8
CN - Cina 7
SE - Svezia 7
IE - Irlanda 5
AT - Austria 3
BD - Bangladesh 3
FR - Francia 3
TR - Turchia 3
CA - Canada 2
ES - Italia 2
IN - India 2
PL - Polonia 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AZ - Azerbaigian 1
IQ - Iraq 1
KR - Corea 1
NL - Olanda 1
PA - Panama 1
RU - Federazione Russa 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 441
Città #
Houston 46
Chandler 25
Woodbridge 24
Singapore 18
Wilmington 14
Jacksonville 13
Ann Arbor 10
Fairfield 8
Ashburn 6
Boardman 6
Council Bluffs 6
Dearborn 6
Lawrence 6
Medford 6
Beijing 5
Dong Ket 5
Dublin 5
Espoo 5
Seattle 5
New York 4
Cambridge 3
Düsseldorf 3
Helsinki 3
Vienna 3
Ankara 2
Auburn Hills 2
Des Moines 2
Milan 2
Ottawa 2
Salvador 2
São Paulo 2
Alcalá De Henares 1
Amsterdam 1
Baku 1
Belo Horizonte 1
Camapuã 1
Campinas 1
Campo Mourão 1
Changsha 1
Columbus 1
Curitiba 1
Cândido Sales 1
Dhaka 1
Dillon 1
Elkhart 1
Eunápolis 1
Franco da Rocha 1
Guarulhos 1
Houmt Souk 1
Hyderabad 1
Ibiporã 1
Itabira 1
Itumbiara 1
Jeddah 1
Kilburn 1
Lauterbourg 1
Limeira 1
Los Angeles 1
Manaus 1
Marlborough 1
Mineiros 1
Mosul 1
Mumbai 1
Muğla 1
Málaga 1
Mãe do Rio 1
Novo Hamburgo 1
Oeiras do Pará 1
Osasco 1
Palo Alto 1
Panama City 1
Paris 1
Pisa 1
Porteirinha 1
Portsmouth 1
Pristina 1
Riyadh 1
Sacramento 1
Salt Lake City 1
San Diego 1
San Fernando 1
Seongnam 1
Sochi 1
Sorocaba 1
São Borja 1
Taboão da Serra 1
Tashkent 1
The Dalles 1
Turku 1
Uberlândia 1
Vargem Grande do Sul 1
Verona 1
Warsaw 1
Totale 311
Nome #
Specification of Embedded Monitors for Property Checking 91
A Case Study in Design Space Exploration: The TOSCA Environment Applied to a Telecom Link Controller 89
An Open Database for the Open Verification Methodology 76
System Verification using User-Friendly Interfaces 69
TOSCA: a Flexible System-level Analysis for Embedded Systems Codesign 64
Guidelines for Property Verification of VHDL Models: an Industrial Perspective 57
Totale 446
Categoria #
all - tutte 1.532
article - articoli 368
book - libri 0
conference - conferenze 852
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 312
Totale 3.064


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202137 5 0 2 1 3 2 5 4 1 5 1 8
2021/202238 1 7 0 1 3 0 2 5 4 2 5 8
2022/202354 6 0 0 4 8 9 0 8 10 2 3 4
2023/202429 4 6 5 0 0 4 4 1 0 0 0 5
2024/202599 0 2 5 3 6 1 7 14 18 13 13 17
2025/202612 12 0 0 0 0 0 0 0 0 0 0 0
Totale 446