BACCI, Giovanni
 Distribuzione geografica
Continente #
NA - Nord America 308
AS - Asia 147
EU - Europa 97
SA - Sud America 13
AF - Africa 4
Totale 569
Nazione #
US - Stati Uniti d'America 304
SG - Singapore 73
DE - Germania 31
CN - Cina 28
UA - Ucraina 24
VN - Vietnam 18
HK - Hong Kong 13
IT - Italia 13
RU - Federazione Russa 9
BR - Brasile 8
FI - Finlandia 7
IN - India 6
FR - Francia 4
IE - Irlanda 4
AR - Argentina 2
BD - Bangladesh 2
CA - Canada 2
SE - Svezia 2
TR - Turchia 2
AO - Angola 1
CH - Svizzera 1
CL - Cile 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GB - Regno Unito 1
GN - Guinea 1
IQ - Iraq 1
JO - Giordania 1
JP - Giappone 1
MN - Mongolia 1
MX - Messico 1
PY - Paraguay 1
SA - Arabia Saudita 1
SN - Senegal 1
UY - Uruguay 1
Totale 569
Città #
Houston 47
Singapore 44
Fairfield 38
Chandler 29
Woodbridge 22
San Jose 21
Ann Arbor 18
Beijing 16
Ashburn 14
Jacksonville 14
Hong Kong 13
Wilmington 11
Cambridge 6
Dearborn 6
Ho Chi Minh City 6
Boardman 5
Seattle 5
Cagliari 4
Dublin 4
Hanoi 4
Mumbai 4
Nuremberg 4
Princeton 4
Council Bluffs 3
Da Nang 3
Lauterbourg 3
San Mateo 3
The Dalles 3
Buffalo 2
Dallas 2
Des Moines 2
Frankfurt am Main 2
Jiaxing 2
Los Angeles 2
New York 2
Orem 2
Redondo Beach 2
San Diego 2
Stockholm 2
Udine 2
Alfenas 1
Amman 1
Asunción 1
Baghdad 1
Baotou 1
Bắc Ninh 1
Capitão Poço 1
Conakry 1
Dakar 1
Diadema 1
Duque de Caxias 1
Falkenstein 1
Guadalajara 1
Gurugram 1
Haiphong 1
Itanhaém 1
Izmir 1
Jinan 1
Jundiaí 1
Kholodna Balka 1
Lavras 1
Long An 1
Luanda 1
Montevideo 1
Nanchang 1
Naples 1
Newton 1
Osmaniye 1
Parauapebas 1
Pleiku 1
Prague 1
Québec 1
Riyadh 1
Salisbury 1
San Francisco 1
San José 1
Santiago 1
St Louis 1
Thái Nguyên 1
Tokyo 1
Turku 1
Ulan Bator 1
Zhongxin 1
Zurich 1
Totale 422
Nome #
Automatic Synthesis of Specifications for First Order Curry Programs 171
Abstract Diagnosis of First Order Functional Logic Programs 162
An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages 121
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 116
Totale 570
Categoria #
all - tutte 2.073
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.073


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202226 0 4 4 1 0 0 2 1 0 5 5 4
2022/202363 4 7 1 10 6 13 0 4 12 1 3 2
2023/202412 1 2 0 0 0 0 2 6 0 0 1 0
2024/202573 2 5 1 0 16 3 9 6 5 2 8 16
2025/2026159 2 19 8 8 12 12 46 13 13 14 8 4
2026/20271 1 0 0 0 0 0 0 0 0 0 0 0
Totale 570