VILLANUEVA, Alicia
 Distribuzione geografica
Continente #
NA - Nord America 289
AS - Asia 106
EU - Europa 81
SA - Sud America 6
AF - Africa 1
Totale 483
Nazione #
US - Stati Uniti d'America 287
SG - Singapore 53
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 483
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
The Dalles 1
Warsaw 1
Wuhan 1
Zurich 1
Totale 352
Nome #
Automatic Synthesis of Specifications for First Order Curry Programs 157
Abstract diagnosis for timed concurrent constraint programs 146
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 94
Towards an Effective Decision Procedure for LTL formulas with Constraints 86
Totale 483
Categoria #
all - tutte 1.867
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.867


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/202663 1 20 8 8 15 11 0 0 0 0 0 0
Totale 483