BACCI, Giovanni
 Distribuzione geografica
Continente #
NA - Nord America 382
AS - Asia 149
EU - Europa 105
SA - Sud America 13
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 1
Totale 654
Nazione #
US - Stati Uniti d'America 378
SG - Singapore 73
DE - Germania 33
CN - Cina 28
UA - Ucraina 24
VN - Vietnam 18
IT - Italia 17
HK - Hong Kong 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
GB - Regno Unito 2
JP - Giappone 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
GN - Guinea 1
IQ - Iraq 1
JO - Giordania 1
KZ - Kazakistan 1
MC - Monaco 1
MN - Mongolia 1
MX - Messico 1
PY - Paraguay 1
SA - Arabia Saudita 1
SN - Senegal 1
UY - Uruguay 1
Totale 653
Città #
Ashburn 71
Houston 47
Singapore 44
Fairfield 38
Chandler 29
San Jose 23
Woodbridge 22
Ann Arbor 18
Beijing 16
Jacksonville 14
Hong Kong 13
Wilmington 11
Cambridge 6
Dearborn 6
Ho Chi Minh City 6
Boardman 5
Council Bluffs 5
Seattle 5
Cagliari 4
Dublin 4
Frankfurt am Main 4
Hanoi 4
Mumbai 4
Nuremberg 4
Princeton 4
Da Nang 3
Dallas 3
Lauterbourg 3
San Mateo 3
Staranzano 3
The Dalles 3
Buffalo 2
Des Moines 2
Jiaxing 2
Los Angeles 2
New York 2
Orem 2
Redondo Beach 2
San Diego 2
Stockholm 2
Tokyo 2
Udine 2
Alfenas 1
Amman 1
Astana 1
Asunción 1
Baghdad 1
Baotou 1
Bắc Ninh 1
Capitão Poço 1
Conakry 1
Dakar 1
Denver 1
Detroit 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
Las Vegas 1
Lavras 1
Long An 1
Luanda 1
Milan 1
Missouri City 1
Monaco 1
Montevideo 1
Nanchang 1
Naples 1
Newton 1
Osmaniye 1
Parauapebas 1
Phoenix 1
Pleiku 1
Prague 1
Québec 1
Riyadh 1
Salisbury 1
San Antonio 1
San Francisco 1
San José 1
Santiago 1
Springfield 1
St Louis 1
Stoke-on-Trent 1
Thái Nguyên 1
Turku 1
Ulan Bator 1
Zhongxin 1
Zurich 1
Totale 501
Nome #
An abstract interpretation framework for semantics and diagnosis of Lazy functional-logic languages 183
Automatic Synthesis of Specifications for First Order Curry Programs 179
Abstract Diagnosis of First Order Functional Logic Programs 169
The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages 123
Totale 654
Categoria #
all - tutte 2.257
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.257


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202218 0 0 0 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/202785 1 6 11 67 0 0 0 0 0 0 0 0
Totale 654