VILLANUEVA, Alicia
 Distribuzione geografica
Continente #
NA - Nord America 330
AS - Asia 126
EU - Europa 88
SA - Sud America 11
AF - Africa 1
Totale 556
Nazione #
US - Stati Uniti d'America 327
SG - Singapore 55
CN - Cina 40
UA - Ucraina 26
DE - Germania 22
FI - Finlandia 11
HK - Hong Kong 11
VN - Vietnam 9
IT - Italia 7
BR - Brasile 6
RU - Federazione Russa 6
FR - Francia 5
IE - Irlanda 4
IN - India 4
CL - Cile 2
GB - Regno Unito 2
MX - Messico 2
AE - Emirati Arabi Uniti 1
AR - Argentina 1
CA - Canada 1
CH - Svizzera 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 556
Città #
Woodbridge 58
Houston 42
Fairfield 37
Chandler 28
Singapore 25
San Jose 22
Beijing 19
Jacksonville 16
Ashburn 12
Hong Kong 11
Wilmington 11
Seattle 10
Cambridge 9
Dearborn 7
Boardman 5
Buffalo 4
Dallas 4
Dublin 4
Lauterbourg 4
Princeton 4
Ann Arbor 3
Council Bluffs 3
Da Nang 3
Turku 3
Udine 3
Des Moines 2
Frankfurt am Main 2
Ho Chi Minh City 2
Jiaxing 2
Jinan 2
Los Angeles 2
Mumbai 2
Amman 1
Amritsar 1
Arica 1
Asunción 1
Baotou 1
Bắc Ninh 1
Capitão Poço 1
Changsha 1
Conakry 1
Croydon 1
Diadema 1
Dubai 1
Estância 1
Gonzales 1
Guadalajara 1
Guangzhou 1
Hanoi 1
Hebei 1
Ixtapaluca 1
Kholodna Balka 1
Long An 1
Luhansk 1
Malé 1
Montevideo 1
Munich 1
Nanchang 1
Nanjing 1
New York 1
Nuremberg 1
Orem 1
Osmaniye 1
Parauapebas 1
Passos 1
Poplar 1
Prague 1
Puerto Iguazú 1
Redondo Beach 1
Riyadh 1
Rochester 1
San Diego 1
San Francisco 1
Santiago 1
Seoul 1
Shanghai 1
St Louis 1
Stockholm 1
Strongsville 1
Suffolk 1
São Paulo 1
The Dalles 1
Thái Nguyên 1
Warsaw 1
Washington 1
Wuhan 1
Zurich 1
Totale 416
Nome #
Abstract diagnosis for timed concurrent constraint programs 171
Automatic Synthesis of Specifications for First Order Curry Programs 171
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 116
Towards an Effective Decision Procedure for LTL formulas with Constraints 98
Totale 556
Categoria #
all - tutte 2.057
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.057


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202221 1 3 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
Totale 556