VILLANUEVA, Alicia
 Distribuzione geografica
Continente #
NA - Nord America 365
AS - Asia 126
EU - Europa 96
SA - Sud America 12
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 0
Totale 600
Nazione #
US - Stati Uniti d'America 362
SG - Singapore 55
CN - Cina 40
UA - Ucraina 26
DE - Germania 25
FI - Finlandia 11
HK - Hong Kong 11
IT - Italia 11
VN - Vietnam 9
BR - Brasile 6
RU - Federazione Russa 6
FR - Francia 5
IE - Irlanda 4
IN - India 4
GB - Regno Unito 3
CL - Cile 2
MX - Messico 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
CA - Canada 1
CH - Svizzera 1
CO - Colombia 1
CZ - Repubblica Ceca 1
ES - Italia 1
GN - Guinea 1
IQ - Iraq 1
JO - Giordania 1
KR - Corea 1
MV - Maldive 1
PL - Polonia 1
PY - Paraguay 1
SA - Arabia Saudita 1
SE - Svezia 1
TR - Turchia 1
UY - Uruguay 1
Totale 600
Città #
Woodbridge 58
Houston 42
Fairfield 37
Chandler 28
Singapore 25
San Jose 23
Beijing 19
Jacksonville 16
Ashburn 12
Hong Kong 11
Wilmington 11
Seattle 10
Cambridge 9
Council Bluffs 9
Dearborn 7
Dallas 6
Boardman 5
Frankfurt am Main 5
Buffalo 4
Dublin 4
Lauterbourg 4
Princeton 4
Staranzano 4
Ann Arbor 3
Da Nang 3
Los Angeles 3
Turku 3
Udine 3
Des Moines 2
Ho Chi Minh City 2
Jiaxing 2
Jinan 2
Mumbai 2
San Antonio 2
San Diego 2
Albany 1
Amman 1
Amritsar 1
Arica 1
Asunción 1
Baotou 1
Bắc Ninh 1
Capitão Poço 1
Changsha 1
Charlotte 1
Chula Vista 1
Columbus 1
Conakry 1
Croydon 1
Denver 1
Detroit 1
Diadema 1
Dubai 1
Estância 1
Gonzales 1
Griffin 1
Guadalajara 1
Guangzhou 1
Hanoi 1
Hebei 1
Ixtapaluca 1
Kholodna Balka 1
Lima 1
Long An 1
Luhansk 1
Malé 1
Montevideo 1
Munich 1
Nanchang 1
Nanjing 1
New York 1
North Bergen 1
Nuremberg 1
Orem 1
Osmaniye 1
Parauapebas 1
Passos 1
Philadelphia 1
Phoenix 1
Poplar 1
Prague 1
Puerto Iguazú 1
Redondo Beach 1
Riyadh 1
Rochester 1
San Francisco 1
Santa Clara 1
Santiago 1
Seoul 1
Shanghai 1
Soacha 1
Springfield 1
St Louis 1
Stockholm 1
Stoke-on-Trent 1
Strongsville 1
Suffolk 1
São Paulo 1
The Dalles 1
Thái Nguyên 1
Totale 447
Nome #
Abstract diagnosis for timed concurrent constraint programs 183
Automatic Synthesis of Specifications for First Order Curry Programs 180
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 124
Towards an Effective Decision Procedure for LTL formulas with Constraints 113
Totale 600
Categoria #
all - tutte 2.229
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.229


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202217 0 0 0 0 0 1 1 1 0 6 4 4
2022/202360 4 6 1 10 6 12 0 3 13 1 2 2
2023/20247 2 1 0 0 0 0 0 3 0 0 1 0
2024/202563 2 6 0 0 10 4 7 5 1 2 11 15
2025/2026136 1 20 8 8 15 12 32 6 8 13 10 3
2026/202744 1 8 11 22 2 0 0 0 0 0 0 0
Totale 600