VILLANUEVA, Alicia
 Distribuzione geografica
Continente #
NA - Nord America 288
AS - Asia 102
EU - Europa 81
SA - Sud America 6
AF - Africa 1
Totale 478
Nazione #
US - Stati Uniti d'America 286
SG - Singapore 49
CN - Cina 38
UA - Ucraina 25
DE - Germania 22
FI - Finlandia 11
HK - Hong Kong 9
IT - Italia 7
RU - Federazione Russa 6
BR - Brasile 5
IE - Irlanda 4
IN - India 2
CA - Canada 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
ES - Italia 1
GB - Regno Unito 1
GN - Guinea 1
KR - Corea 1
MX - Messico 1
PL - Polonia 1
PY - Paraguay 1
SA - Arabia Saudita 1
SE - Svezia 1
TR - Turchia 1
VN - Vietnam 1
Totale 478
Città #
Woodbridge 58
Houston 42
Fairfield 37
Chandler 28
Singapore 23
Beijing 19
Jacksonville 16
Wilmington 11
Seattle 10
Ashburn 9
Cambridge 9
Hong Kong 9
Dearborn 7
Boardman 5
Buffalo 4
Dublin 4
Princeton 4
Ann Arbor 3
Dallas 3
Turku 3
Udine 3
Des Moines 2
Frankfurt am Main 2
Jiaxing 2
Jinan 2
Mumbai 2
Asunción 1
Baotou 1
Capitão Poço 1
Changsha 1
Conakry 1
Estância 1
Guadalajara 1
Guangzhou 1
Hebei 1
Long An 1
Los Angeles 1
Luhansk 1
Munich 1
Nanchang 1
Nanjing 1
New York 1
Nuremberg 1
Orem 1
Osmaniye 1
Parauapebas 1
Passos 1
Poplar 1
Prague 1
Redondo Beach 1
Riyadh 1
San Diego 1
Seoul 1
Shanghai 1
St Louis 1
Stockholm 1
São Paulo 1
Warsaw 1
Wuhan 1
Zurich 1
Totale 351
Nome #
Automatic Synthesis of Specifications for First Order Curry Programs 156
Abstract diagnosis for timed concurrent constraint programs 144
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 93
Towards an Effective Decision Procedure for LTL formulas with Constraints 85
Totale 478
Categoria #
all - tutte 1.841
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.841


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202122 0 0 0 0 0 4 1 5 5 1 5 1
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/202658 1 20 8 8 15 6 0 0 0 0 0 0
Totale 478